Introduce unrestricted row and column potentials . The dual isPrimal and dual feasible solutions are optimal precisely when complementary slackness holds:Indeed, the primal--dual objective gap is , a sum of nonnegative terms.
Solved by gpt-5.6-sol high.
Codex Wiki