Duality Theory Flashcards
Primal Problem in standard form
min cᵀx
s.t. Ax=b , x≥0
primal problem in canonical form
min cᵀx
s.t. Ax≥b , x≥0
dual problem in canonical form
max bᵀy
s.t. Aᵀy≤c y≥0
dual problem in standard form
max bᵀy
s.t. Aᵀy≤c y∈ℝᵐ
dimensions of A
mxn matrix
m rows
n columns
How to find the dual problem
- find the matrix form of the primal problem
- make sure the primal is in standard or canonical form
- find the dual using the known ‘formula’
proposition. The dual of the dual.
The dual of the dual is primal.
Weak Duality Theorem
Let x be any feasible point of the primal problem x∈Fp and assume y to be any feasible point of the dual problem (y,s)∈Fd. Then,
cᵀx ≥ bᵀy
Primal feasible region
Fp = {x: Ax = b, x≥0}
Dual feasible region
Fd = {(y,s): Aᵀy + s = c, s≥0}
(we introduced slack variables into the dual problem.
Duality gap
cᵀx - bᵀy
corollary. Unbounded primal.
If the primal Lp is unbounded (cᵀx-> - infinity) then the dual LP must be infeasible
corollary. Unbounded Dual.
If the dual LP is unbounded, then the primal LP is infeasible.
Corollary. Optimal in dual/primal
if x is feasible to the primal LP and y is feasible to the dual LP and cᵀx = bᵀy then x must be optimal to the primal LP and y must be optimal to the dual LP
Strong Duality Theorem
If both the primal and the dual problems have feasible solutions x,y respectively, then they both have optimal solutions and for any y primal optimal solution x* and dual optimal solution y* we have that cᵀx* = bᵀy*