Spanning Tree Polytope - PowerPoint PPT Presentation

1 / 22
About This Presentation
Title:

Spanning Tree Polytope

Description:

... tight constraint defines a set. A basic solution is uniquely defined by a laminar family of tight ... On the other hand, since S and T are tight, we have ... – PowerPoint PPT presentation

Number of Views:155
Avg rating:3.0/5.0
Slides: 23
Provided by: CSE
Category:

less

Transcript and Presenter's Notes

Title: Spanning Tree Polytope


1
Spanning Tree Polytope
Lecture 11 Feb 21
2
Big Picture
Problem
Solution
Polynomial time
LP-formulation
Vertex solution
LP-solver
integral
3
Basic Solution
Tight inequalities inequalities achieved as
equalities
Basic solution unique solution of n linearly ind
ependent tight inequalities
4
Bipartite Perfect Matching
Goal show that any basic solution is an integral
solution.
Bipartite perfect matching, 2n vertices.
Minimal counterexample.
5
Maximum Bipartite Matchings
An edge of 0, delete it.
An edge of 1, reduce it.
So, each vertex has degree 2, and there are at le
ast 2n edges.
6
Maximum Bipartite Matchings
An edge of 0, delete it.
An edge of 1, reduce it.
So, each vertex has degree 2, and there are at le
ast 2n edges.
How many tight inequalities?
Exactly 2n
How many linearly independent tight inequalities?
At most 2n-1
7
Linear Dependency
x3
x2
x1
x4
Multiply 1
Each edge is counted twice, one positive, one neg
ative.
Multiply -1
Sum up to 0 linear dependency.
8
Maximum Bipartite Matchings
An edge of 0, delete it.
An edge of 1, reduce it.
So, each vertex has degree 2, and there are at le
ast 2n edges.
How many tight inequalities?
Exactly 2n
How many linearly independent tight inequalities?
At most 2n-1
Basic solution unique solution of 2n linearly in
dependent tight inequalities
CONTRA!
9
Minimum Spanning Tree
There are exponentially many constraints, but
this LP can still be solved in polynomial time by
the ellipsoid method. The reason is that we can
design a polynomial time separation oracle to
determine if x is a feasible solution of the LP.
10
Separation Oracle
Max-Flow Min-Cut Every cut has at capacity 1
if and only if we can send 1 unit of
flow for all pair.
Each cut has total capacity 1
S
Separation oracle check if each pair u,v has a
flow of 1.
u
v
11
Minimum Spanning Tree
Not a good relaxation.
0.5
0.5
1
1
0.5
0.5
1
1
0.5
12
Spanning Tree Polytope
A spanning tree has n-1 edges
Cycle elimination constraints
E(S) set of edges with both endpoints in S.
13
Separation Oracle
A spanning tree has n-1 edges
Cycle elimination constraints
S-1-x(E(S)) is a submodular function
Minimizing submodular function can be solved in
polytime.
14
Basic Solution
Tight inequalities inequalities achieved as
equalities
Basic solution unique solution of n linearly ind
ependent tight inequalities
15
Separation Oracle
Theorem At most V-1 linearly independent tight

inequalities of this type.
If there is an edge of 0, delete it.
Goal Prove that there are at most V-1 linearly
independent tight constraints
16
Laminar Family
Forest representation
A laminar family is a collection of sets with no
intersections.
Lemma. A laminar family with no singletons has
at most n-1 sets.
17
Basic Solution
Each tight constraint defines a set.
Goal Prove that there are at most V-1 linearly
independent tight constraints
A basic solution is uniquely defined by a laminar
family of tight constraints.
This would imply the goal.
18
Uncrossing Technique
What about two tight sets are intersecting?
19
Laminar Basis
The lemma says that a laminar family formed a
basis, this implies that there are at most n-1
linearly independent tight constraints.
20
Proof Sketch of Lemma 2
  • Suppose there is a set S which is not in
    span(L).
  • Consider a set S with smallest intersecting
    number with L.
  • Let say S intersect with a set T in L.
  • Consider and
  • Both are tight and have smaller intersecting
    number with L.
  • So both and are in L
  • On the other hand, since S and T are tight, we
    have
  • This implies that S is in span(L) as well, a
    contradiction.

21
Intersecting Number
1
2
S
3
T
  • Consider a set R in L. There are only 3
    possibilities.
  • R is contained in T.
  • T is contained in R.
  • R and T are disjoint.

22
Looking Forward
Uncrossing technique is very important in
combinatorial optimization. We will see it in a
pproximation algorithms as well.
Write a Comment
User Comments (0)
About PowerShow.com