Suboptimality Proofs

Step 1: Name optimal solution

Step 2: Name subproblem A = OPT - {O1}

Step 3: Prove A is optimal

This can be done through proof by contradiction, by assuming A is not optimal.