40 research outputs found
Smaller Extended Formulations for the Spanning Tree Polytope of Bounded-genus Graphs
We give an -size extended formulation
for the spanning tree polytope of an -vertex graph embedded on a surface of
genus , improving on the known -size extended formulations
following from Wong and Martin.Comment: v3: fixed some typo
Extension complexity of stable set polytopes of bipartite graphs
The extension complexity of a polytope is the minimum
number of facets of a polytope that affinely projects to . Let be a
bipartite graph with vertices, edges, and no isolated vertices. Let
be the convex hull of the stable sets of . It is easy to
see that . We improve
both of these bounds. For the upper bound, we show that is , which is an improvement when
has quadratically many edges. For the lower bound, we prove that
is when is the
incidence graph of a finite projective plane. We also provide examples of
-regular bipartite graphs such that the edge vs stable set matrix of
has a fooling set of size .Comment: 13 pages, 2 figure
An extension of disjunctive programming and its impact for compact tree formulations
In the 1970's, Balas introduced the concept of disjunctive programming, which
is optimization over unions of polyhedra. One main result of his theory is
that, given linear descriptions for each of the polyhedra to be taken in the
union, one can easily derive an extended formulation of the convex hull of the
union of these polyhedra. In this paper, we give a generalization of this
result by extending the polyhedral structure of the variables coupling the
polyhedra taken in the union. Using this generalized concept, we derive
polynomial size linear programming formulations (compact formulations) for a
well-known spanning tree approximation of Steiner trees, for Gomory-Hu trees,
and, as a consequence, of the minimum -cut problem (but not for the
associated -cut polyhedron). Recently, Kaibel and Loos (2010) introduced a
more involved framework called {\em polyhedral branching systems} to derive
extended formulations. The most parts of our model can be expressed in terms of
their framework. The value of our model can be seen in the fact that it
completes their framework by an interesting algorithmic aspect.Comment: 17 page