Professional Documents
Culture Documents
Duality#7
Duality#7
Pramesh Kumar
IIT Delhi
Motivation
Duality theorems
Alternative systems
Zero-sum game
Motivation 2
Motivation
Consider the following example
Z =minimize x1 + 2x2 + x3 (1a)
x1 ,x2 ,x3
subject to µ2 + µ3 = 1 (5b)
3µ1 + 2µ2 − µ3 = 2 (5c)
µ1 − 3µ2 + µ4 = 1 (5d)
Motivation
µ1 , µ2 , µ3 , µ4 ≥ 0 (5e) 5
Outline
Motivation
Duality theorems
Alternative systems
Zero-sum game
xj ≥ 0, ∀j = 1, · · · , m. (6c)
has the associated dual linear program given by
m
X
Z =maximize bi µi (7a)
µ
i=1
Xm
subject to aij µi ≤ cj , ∀j = 1, · · · , n (7b)
i=1
µi ≥ 0, ∀i = 1, · · · , m. (7c)
Motivation
Duality theorems
Alternative systems
Zero-sum game
Duality theorems 8
Weak Duality Theorem
Theorem
If (x1 , ..., xn ) is feasible for the primal and (µ1 , ..., µm ) is feasible for the
dual, then
Xn m
X
cj xj ≥ bi µi
j=1 i=1
Proof.
If (µ1 , ..., µm ) is feasible for the dual, then m
P
i=1 aij µj ≤ cj , ∀j
= 1, ·P
· · , n.
Pn Pn Pm Pm Pn m
∴ j=1 cj xj ≥ j=1 a µ
i=1 ij i x j = i=1 a x
j=1 ij j µ i ≥ i=1 bi µi .
The last inequality follows from the fact that (x1 , ..., xn ) is feasible to the primal.
Corollary
If primal problem is unbounded then the dual problem is infeasible.
Proof.
Assume that the dual LP is feasible and
Pnlet (µ̂1 , ..., P
µ̂m ) be a feasible solution to dual problem.
m
Then, by previous theorem, we have j=1 cj xj ≥ i=1 bi µ̂i , ∀x feasible to the primal
problem. Then, ∃{xi }∞ T i T
i=1 such that limi7→∞ c x = −∞ ≥ b µ, a contradiction.
Corollary
If dualtheorems
Duality problemis unbounded then the primal problem is infeasible. 9
Remark. It is possible for both primal and dual to be infeasible.
Strong Duality Theorem
Theorem
If the primal problem has an optimal solution x∗ = (x∗1 , ..., x∗n ), then its
dual also has an optimal solution µ∗ = (µ∗1 , ..., µ∗m ) such that
n
X m
X
cj x∗j = bi µ∗i (8)
j=1 i=1
Proof.
We prove this using the simplex method. Assume that the primal problem is in the
standard form. If the primal problem has an optimal solution x∗ , then it is associated
with some optimal basis B such that xB = A−1 B b (x = (xB , xN )). We also know
that when the simplex method terminates, the reduced costs are all non-negative
−1
cT − c T
B AB A ≥ 0 (9)
−1
Define µT = cT
B AB . Using (9), AT µ
≤ c, which means that µ is feasible to the dual
−1 T ∗
problem. Moreover, µT b = cT T
B AB b = cB xB = c x . Using the weak duality
theorem, µ must be optimal to the dual problem.
Remark. The proof shows that the dual solution comes as a by-product
Duality
of thetheorems
primal
simplex method. 10
Summary
Dual
Relationships
Optimal Unbounded Infeasible
Optimal
Primal Unbounded
Infeasible
Duality theorems 11
Theorem Complementarity conditions
∗
Suppose that x∗ = (x∗1 , ..., x∗n ) and y = (y1∗ , ..., ym ) are primal and dual
∗
optimal solutions
Pn respectively. Let e i be the excess variables for
constraints j=1 aij x∗j ≥ bi , ∀i = 1, ..., m and s∗j be the slack variables
Pm
for i=1 aij µ∗i ≤ cj , ∀j = 1, ..., n. Then, e∗i · µ∗i = 0, ∀i = 1, ..., m and
s∗j · x∗j = 0, ∀j = 1, ..., n.
Proof.
Given primal and dual solutions x∗ and y∗ , we have,
n n m
!
∗ ∗
X X X
cj xj = aij µi + sj xj (10)
j=1 j=1 i=1
m n n
∗ ∗ ∗
X X X
= aij xj µi + sj xj (11)
i=1 j=1 j=1
m n
∗ ∗ ∗ ∗
X X
= bi + ei µi + sj xj (12)
i=1 j=1
m m n
∗ ∗ ∗ ∗ ∗
X X X
= bi µi + ei µi + sj xj (13)
i=1 i=1 j=1
Pn ∗ Pm ∗ ∗
From strong duality theorem, we know that j=1 cj xj = i=1 bi µi . Therefore,
Pm ∗ ∗ Pn ∗
i=1 e
Duality i µi +
theorems j=1 sj xj = 0. The theorem follows. 12
Example
Duality theorems 13
Outline
Motivation
Duality theorems
Alternative systems
Zero-sum game
Alternative systems 14
Alternative systems
Alternative systems 15
Farkas Lemma
Proof.
Using F-M elimination or separation theorem
There are many alternative theorems. One example is below:
▶ If the system AT µ ≤ c has no solution, then we can find a vector x
such that Ax = 0, x ≥ 0, cT x < 0.
Alternative systems 16
LP duality general form
P
Z =minimize cT1 x1 + cT2 x2 + cT3 x3
x
subject to A11 x1 + A12 x2 + A13 x3 ≤b1
A21 x1 + A22 x2 + A23 x3 ≥b2
A31 x1 + A32 x2 + A33 x3 =b3
x1 ≥ 0, x2 ≤ 0, x3 free
D
Z =maximize bT1 µ1 + bT2 µ2 + bT3 µ3
µ
Motivation
Duality theorems
Alternative systems
Zero-sum game
Solving
Z =minimize cT x
x
subject to Ax ≥ b (22)
x≥0
Motivation
Duality theorems
Alternative systems
Zero-sum game
Zero-sum game 20
Connection to finite two person zero-sum game
Matrix game
▶ 2 players
▶ Each player selects, independently of other, an action out of finite set of possible
actions.
▶ Both reveal to each other their actions simultaneously
▶ Let i and j be the actions taken by player 1 and 2 resp.
▶ Then, player 1 has to pay aij rupees to player 2.
▶ The payoff matrix A = [aij ]i=1,...,m and j=1,...,n is known beforehand. Of
course aij can be positive or negative.
▶ A randomized strategy means that players choose their actions at random
according to a known probability distribution.
▶ Let µi be the probability with which player 1 plays action i = 1, ..., m and let xj
be the probability with which player 2 plays action j = 1, ..., n.
▶ µi ≥ 0, i = 1, ..., m, m
P Pn
i=1 µi = 1 and xj ≥ 0, j = 1, ..., n, j=1 xj = 1
▶ Expected payoff to player 1 is i,j µi aij xj = µT Ax
P
▶ Assume players are rational and want to maximize their expected payoff.
▶ Player possible strategies and payoffs are common knowledge.
Zero-sum game 21
Example
Rock-Paper-Scissors
▶ 2 players
▶ Players simultaneously choose an action ∈ {R, P, S}.
▶ If both players choose the same action, then the game is drawn
aij = 0, ∀i = j.
▶ Rock beats scissors, scissors beat paper, and paper beats rock.
0 1 −1
▶ Payoff matrix A = −1 0 1
1 −1 0
Zero-sum game 22
Optimal strategies
Given x, player 1 solves the following LP:
Z(x) =minimize µT Ax (23)
µ
subject to eT µ = 1 (24)
µ≥0 (25)
(26)
Then, player 2 tries to maximizes her payoff
max min µT Ax
x µ
T T
such that e µ = 1, µ ≥ 0 and e x = 1, x ≥ 0.
Theorem (Minimax theorem)
There exist stochastic vectors µ and x for which
Proof.game
Zero-sum 23
Use LP strong duality
Origins of LP Duality
Figure: (From left to right) John von Neumann, George B. Dantzig, David
Gale, Harold W. Kuhn and Albert W. Tucker (Pictures source: Wiki)
24
25
Thank you!
26