Winda

Greedy algorithm design and proof techniques, illustrated by optimal interval scheduling using earliest-finish-time selection. Includes runtime analysis and an inductive exchange argument.

Save to open this file