Groups
Category
The exchange argument proves a greedy algorithm is optimal by swapping out-of-order choices in any supposed optimal solution until it matches the greedy one without making it worse.
Greedy algorithms build a solution step by step by always taking the best local choice available.