Duality Theory Flashcards

1
Q

Primal Problem in standard form

A

min cᵀx

s.t. Ax=b , x≥0

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

primal problem in canonical form

A

min cᵀx

s.t. Ax≥b , x≥0

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

dual problem in canonical form

A

max bᵀy

s.t. Aᵀy≤c y≥0

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

dual problem in standard form

A

max bᵀy

s.t. Aᵀy≤c y∈ℝᵐ

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

dimensions of A

A

mxn matrix
m rows
n columns

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

How to find the dual problem

A
  1. find the matrix form of the primal problem
  2. make sure the primal is in standard or canonical form
  3. find the dual using the known ‘formula’
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

proposition. The dual of the dual.

A

The dual of the dual is primal.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Weak Duality Theorem

A

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

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

Primal feasible region

A

Fp = {x: Ax = b, x≥0}

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

Dual feasible region

A

Fd = {(y,s): Aᵀy + s = c, s≥0}

(we introduced slack variables into the dual problem.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

Duality gap

A

cᵀx - bᵀy

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

corollary. Unbounded primal.

A

If the primal Lp is unbounded (cᵀx-> - infinity) then the dual LP must be infeasible

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

corollary. Unbounded Dual.

A

If the dual LP is unbounded, then the primal LP is infeasible.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

Corollary. Optimal in dual/primal

A

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

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

Strong Duality Theorem

A

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*

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

P optimal <=>

A

D optimal

17
Q

P unbounded =>

A

D unfeasible

18
Q

D unbounded =>

A

P infeasible

19
Q

P infeasible =>

A

D unbounded or infeasible

20
Q

D infeasible =>

A

P unbounded or infeasible

21
Q

Theorem. Optimality Conditions.

A
Consider the standard LP problem:
min cᵀx 
s.t. Ax=b , x≥0 
where b∈Rᵐ, c∈Rⁿ, A∈Rᵐˣⁿ. Then x* is an optimal solution to the LP iff there exists y* s.t. the following three conditions hold
(1) Aᵀy*≤c
(2) Ax* = b, x*≥0
(3) bᵀy* = cᵀx*
22
Q

Theorem. Optimality Conditions (reformulated)

A
Consider the standard LP problem:
min cᵀx 
s.t. Ax=b , x≥0 
where b∈Rᵐ, c∈Rⁿ, A∈Rᵐˣⁿ. Then x* is an optimal solution to the LP iff there exists y* s.t. the following three conditions hold
(1) Aᵀy*+s* = c, s*≥0
(2) Ax* = b, x*≥0
(3) x*ᵀs* = 0
23
Q

How to use the optimality conditions to find an optimal solution

A
  1. Put the primal into standard form and find the feasibility of the primal
  2. Find the Dual. Determine the feasibility of the dual
  3. find the complementary slackness condition.
    Since x,s≥0 the only way xᵀs = 0 is if xᵢsᵢ=0
  4. By complementary slackness find that since some x*ᵢ not equal to 0, then some slacks equal 0
  5. Solve the dual feasibility equations simultaneously using the fact that the slacks are equal to 0.
  6. Calculate the final slack/ check if it is zero.
    - If it is not equal to 0 then corresponding x is 0 => primal feasibility can now be solved (simultaneously) to get optimal solution
    - if it is equal to 0 optimal solution = 0
24
Q

Strictly Complementary Solution

A

A solution is called a strictly complementary solution if the solution satisfies that (x)ᵀs = 0 and x* + s* > 0

25
Q

How to check if (a,b) is a solution to an LP problem.

A
  1. write the problem in standard form (and find the feasibility of the primal)
  2. Write the LP problem in matrix form
  3. Find the dual (and find the feasibility of the dual)
  4. Find the complementary slackness condition (objective function of primal=objective function of the dual)
  5. consider the point (a,b) check it satisfies the primal (input into the feasibility of the primal to find values of the slack)
  6. compute the complementary slackness with (a,b) to find the ys.
  7. check if the ys satisfy the dual feasibility
    - if they satisfy then (a,b) is a solution
    - if they don’t satisfy then (a,b) is not a solution
26
Q

Theorem. optimal solution optimality conditions.

A

x and (y,s) are optimal solutions to primal and dual problems respectively iff they satisfy the primal feasibility, dual feasibility and the completementary slackness condition

27
Q

Theorem Strict Complementarity

A

If primal and dual problems both have feasible solutions, then both problems have a pair of strict complementary solutions x≥ and s≥0 which satisfy the complementary slackness condition