P
Initializing...
Theorem 6.7, p. 27 — min P_nmq ≤ U_nmq, with equality when P_nmq has an optimal solution with at most m non-zero entries · Prove2Me