Motivating Duality: Bounding the Primal Objective
An informal introduction to LP duality: we derive upper bounds on a primal max-LP by taking non-negative linear combinations of the constraints. Requiring the combined coefficient vector to dominate the primal objective gives a guaranteed upper bound, and minimizing that bound is precisely the dual LP.
Tutorial
Bounding the Primal by Scaling a Constraint
The primal linear program in standard form is
Solving such an LP exactly can be expensive. A useful weaker question: can we cheaply produce an upper bound on the optimal objective value?
The simplest tactic is to scale a constraint. Take the -th constraint, For any multiplying preserves the direction of the inequality:
We require because a negative multiplier would flip to
If the scaled coefficient vector dominates componentwise, i.e., then since
Therefore is a guaranteed upper bound on the primal objective at every feasible — and hence on the optimal value.
For example, for subject to choose Since and
The optimal value is at most