Professional Documents
Culture Documents
Xian Qiu
Faculty of Computer Science
Zhejiang University
xianqiu@zju.edu.cn
Outline
U Zhejiang University
X.Qiu
2/28
U Zhejiang University
X.Qiu
3/28
Analysis
U Zhejiang University
X.Qiu
4/28
Example
C
D
C
U Zhejiang University
X.Qiu
5/28
U Zhejiang University
X.Qiu
6/28
Applications
U Zhejiang University
X.Qiu
7/28
Ex w
x 0,
Its dual LP is
max b T w T
s.t. AT E c
0
Theorem. If b and w are integral, then both LPs have integer
optimal solutions.
U Zhejiang University
X.Qiu
8/28
x1
x3
x2
U Zhejiang University
X.Qiu
9/28
Convex Hulls
-1-
conv-hull(S)
U Zhejiang University
X.Qiu
10/28
Convex Hulls
-2-
= max c si
T
= max {c T x x S}
U Zhejiang University
X.Qiu
11/28
Separation Theorem
A hyperplane is given by {x Rn c T x = t}.
Theorem. Let S Rn be finite and let y / conv-hull(S). Then
there is a hyperplane separating y from conv-hull(S), i.e.,
c T x t, x conv-hull(S) and c T y > t.
cT x t
cT y > t
y
conv-hull(S)
U Zhejiang University
X.Qiu
12/28
Farkas Lemma
Farkas Lemma. Consider A Rmn and b Rm . Then
(1) x 0 such that Ax = b or
(2) y such that y T A 0T and y T b < 0 (but not both).
Proof. Assume (1) is true. Then
y T A 0T y T Ax 0T x = 0 y T b 0.
Assume (1) is not true. Consider the primal-dual pair:
P
max 0T x,
s.t. Ax = b,
x 0
min y T b,
s.t. y T A 0
X.Qiu
13/28
Geometric Interpretation
A = [a1 a2 . . . an ] (aj = column vector)
cone(A) = {b Rn b = ni=1 xi ai , xi 0}
h
b
a1
a2
a1
a2
b
U Zhejiang University
X.Qiu
14/28
supp. hyperplane
P
vertex
P
face
polyhedron
U Zhejiang University
polytope
X.Qiu
15/28
U Zhejiang University
X.Qiu
16/28
Remarks
The following approach can be used to derive min-max relation for
combinatorial optimization problems.
1. Formulate the com. opt. problem over a finite set S of
feasible solutions.
2. Determine a linear description of conv-huss(S).
3. Apply LP duality to obtain a min-max relation.
Difficulties
1. Not clear how to derive LP description of conv-hull(S).
2. Even it is guaranteed to exist, # ineq. may be exponentially
large.
U Zhejiang University
X.Qiu
17/28
Matching Polytopes
-1-
U Zhejiang University
X.Qiu
18/28
Matching Polytopes
-2-
ev
xe 0, e E .
Theorem. Pmatching (G ) is the set of vectors x RE satisfying
xe 1, v V ,
ev
xe 0, e E .
U Zhejiang University
X.Qiu
19/28
matching (G ).
It suffices to
xe1
xe4
xe2
xe3
U Zhejiang University
X.Qiu
20/28
s.t. xe 1, v V
ev
matching
xe {0, 1} .
min yv
v V
s.t. yv 1, e E
v e
vertex cover
U Zhejiang University
yv {0, 1} .
X.Qiu
21/28
Konigs Theorem
Let (G ) be the size of a maximum matching and (G ) be the
size of a minimum vertex cover.
Theorem. For bipartite graph G = (V , E ), one has (G ) = (G ).
Proof. It suffices to show (G ) (G ).
Claim. G has a vertex u covered by each maximum matching.
For G = G u, one has (G ) = (G ) 1.
By induction, assume G has a vertex cover C of size (G ).
Then C {u} is a vertex cover of size (G ) + 1 = (G ).
U Zhejiang University
X.Qiu
22/28
v
M
N
U Zhejiang University
X.Qiu
23/28
Integral Polytopes
A polyhedron P = {x Rn Ax b} is integral if every vertex of P
is integral.
LP of the following form has integral optimal solutions if P is
integral.
max c T x
s.t. Ax b.
Thus we can even solve ILP problems by solving LP only.
How to characterize integral polytopes? (Total unimodularity)
U Zhejiang University
X.Qiu
24/28
U Zhejiang University
X.Qiu
25/28
Integrality of Polytopes
Lemma
Let B Zmm be an invertible matrix and let b Zm . B 1 b is
integral iff det(B) = 1.
Proof. () x = B 1 b. By Cramers rule (Linear Algebra):
xi = det(Ai )/det(B),
where Ai is obtained by replacing i-th column of A by b.
() Assume B 1 b is integral, b Zn .
Then B 1 ei is integral for i = 1, . . . , m, implying B 1 is integral.
det(B) det(B 1 ) = 1 implying det(B) = 1.
U Zhejiang University
X.Qiu
26/28
Theorem
U Zhejiang University
X.Qiu
27/28
U Zhejiang University
X.Qiu
28/28