Greedy algorithms and counterexample tests

Knowledge package outline

Topic

Computation and software foundations

Purpose

Separates locally attractive choices from proven optimality.

Package contents

Exchange arguments; failed coin systems; comparison cases.

Dependencies

Algorithms; proof.