Title: Matching Polytope, Stable Matching Polytope
1Matching Polytope, Stable Matching Polytope
2Linear Programming
x1
x3
x2
x1
(0.5,0.5,0.5)
x3
x2
3Good Relaxation
Every vertex could be the unique optimal
solution for some objective function.
So, we need every vertex to be integral.
For every objective function, there is a vertex
achieving optimal value.
So, it suffices if every vertex is integral.
Goal Every vertex is integral!
4Black Box
Problem
Solution
Polynomial time
LP-formulation
Vertex solution
LP-solver
integral
5Convex Combination
A point y in Rn is a convex combination of
if there exist
so that
and
6Vertex Solution
A point y in Rn is a convex combination of
if y is in the convex hull of
Fact A vertex solution is not a convex
combination of some other points.
7Maximum Bipartite Matchings
Prove a vertex solution corresponds to
an integral solution.
Every point in the polytope corresponds to a
fractional solution.
8Maximum Bipartite Matchings
Prove a vertex solution corresponds to an
integral solution.
Pick a fractional edge and keep walking.
Because of degree constraints, every edge in the
cycle is fractional.
Partition into two matchings because the cycle is
even.
9Maximum Bipartite Matchings
Since every edge in the cycle is fractional, we
can increase every edge a little bit, or decrease
every edge a little bit.
Degree constraints are still satisfied in two
new matchings.
Original matching is the average!
Fact A vertex solution is not a convex
combination of some other points.
CONTRADICTION!
10Bipartite Stable Matchings
Input N men, N women, each has a preference list.
Goal Find a matching with no unstable pair.
How to formulate into linear program?
11Bipartite Stable Matchings
Write if v prefers f to e.
Write
if
for some v
12Bipartite Stable Matchings
CLAIM
Proof
13Bipartite Stable Matchings
Focus on the edges with positive value, call them
E.
For each vertex, let e(v) be the maximum element
of
CLAIM
Let e(v) v,w
e(v) is the minimum element of
14Bipartite Stable Matchings
For each vertex, let e(v) be the maximum element
of
CLAIM
Let e(v) v,w
e(v) is the minimum element of
e(w) defines a matching for w in W
W
U
e(v) defines a matching for v in U
15Bipartite Stable Matchings
At top, blue is minimum, red is maximum.
W
At bottom, blue is maximum, red is minimum.
U
W
Prove convex combination.
U
16Bipartite Stable Matchings
At top, blue is minimum, red is maximum.
W
At bottom, blue is maximum, red is minimum.
U
Degree constraints still satisfied.
Prove convex combination!
Bottom decreases, top increases, equal!
17Bipartite Stable Matchings
Vande Vate
Rothblum
18Weighted Stable Matchings
Polynomial time algorithm from LP.
Can determine if certain combination is possible.
Can work on incomplete graph.
19Basic Solution
Tight inequalities inequalities achieved as
equalities
Basic solution unique solution of n linearly
independent tight inequalities
Think of 3D.
20Matching Polytope
Matching polytope
Linear program
Convex hull of matchings
Intersections of hyperplanes
Define by points
Define by inequalities
P
Q
Goal Prove they are equal
21Matching Polytope
Prove P is smaller than Q, and Q is smaller than
P.
Easy direction Check all points of P (i.e. all
matchings) satisfy all the inequalities
Another direction Check all points of Q (i.e.
all fractional solutions) is inside P.
How?
By showing that all points are convex combination
of vertices of P
22Maximum Bipartite Matchings
Goal show that any fractional solution is a
convex combination of matchings
How?
By induction!
Bipartite perfect matching, 2n vertices.
Minimal counterexample.
23Maximum Bipartite Matchings
An edge of 0, delete it.
An edge of 1, reduce it.
So, each vertex has degree 2, and there are at
least 2n edges.
How many tight inequalities?
At most 2n
How many linearly independent tight inequalities?
At most 2n-1
Basic solution unique solution of 2n linearly
independent tight inequalities
CONTRA!
24Valid Inequalities
Odd set inequalities
Thats enough.
Edmonds 1965