Why it matters
Exchange argument is greedy proof workhorse. Understanding shapes algorithm design.
Advertisement
The architecture
Assume optimal solution.
Show can exchange for greedy choice.
Solution stays optimal.
Advertisement
How it works end to end
Formal proof structure.
Sometimes exchange complex.
Powerful for many greedies.