Dynamic Programming21 sections · 916 units
Open in Course

Challenge: Proving QI

Verification techniques

How do you prove QI for a given cost function? Sometimes it's obvious, sometimes it requires algebra. Common technique: show C(a,d)C(a,c)C(b,d)C(b,c)C(a, d) - C(a, c) \geq C(b, d) - C(b, c) (equivalent to QI).

This is the 'difference condition'. For sums of squares, products, and many combinatorial costs, QI often holds. For non-standard costs, verify carefully. If unsure, test numerically on small cases. But be warned: numeric tests can't prove QI, only disprove it.