Exchange Argument

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A proof technique that improves a candidate solution by performing pairwise exchanges of elements or local adjustments, used to show optimality or to transform arbitrary solutions into a canonical or normal form.