The extension complexity xc(P) of a polytope P is the minimum number of facets of a polytope that affinely projects to P. Let G be a bipartite graph with n vertices, m edges, and no isolated vertices. Let STAB(G) be the convex hull of the stable sets of G. It is easy to see that n⩽ xc(STAB(G)) ⩽ n+ m. We improve both of these bounds. For the upper bound, we show that xc(STAB(G)) is O(n2logn), which is an improvement when G has quadratically many edges. For the lower bound, we prove that xc(STAB(G)) is Ω(nlog n) when G is the incidence graph of a finite projective plane. We also provide examples of 3-regular bipartite graphs G such that the edge vs stable set matrix of G has a fooling set of size |E(G)|
Given a graph, the edge formulation of the stable set problem is defined by two-variable constraints...
AbstractFor some graph classes defined by forbidding one-vertex extensions of the P4, we introduce a...
Given a graph, the edge formulation of the stable set problem is defined by two-variable constraints...
In linear programming one can formulate many combinatorial optimization problems as optimizing a lin...
We study the linear extension complexity of stable set polytopes of perfect graphs. We make use of k...
We study the linear extension complexity of stable set polytopes of perfect graphs. We make use of k...
We exhibit an n-node graph whose independent set polytope requires extended formulations of size exp...
A (convex) polytope P is said to be 2-level if every hyperplane H that is facet-defining for P has a...
We exhibit an n-node graph whose independent set polytope requires extended formulations of size exp...
In this paper we extend recent results of Fiorini et al. on the extension complexity of the cut poly...
We study the minimum number of constraints needed to formulate random instances of the maximum stabl...
A linear extension of a polytope is any polytope which can be mapped onto via an affine transformati...
Courcelle’s theorem states that given an MSO formula ϕ and a graph G with n vertices and treewidth τ...
AbstractA stable set of a graph is a vertex set in which any two vertices are not adjacent. It was p...
AbstractSeveral applications of methods from nonlinear algebra to the stable set problem in graphs a...
Given a graph, the edge formulation of the stable set problem is defined by two-variable constraints...
AbstractFor some graph classes defined by forbidding one-vertex extensions of the P4, we introduce a...
Given a graph, the edge formulation of the stable set problem is defined by two-variable constraints...
In linear programming one can formulate many combinatorial optimization problems as optimizing a lin...
We study the linear extension complexity of stable set polytopes of perfect graphs. We make use of k...
We study the linear extension complexity of stable set polytopes of perfect graphs. We make use of k...
We exhibit an n-node graph whose independent set polytope requires extended formulations of size exp...
A (convex) polytope P is said to be 2-level if every hyperplane H that is facet-defining for P has a...
We exhibit an n-node graph whose independent set polytope requires extended formulations of size exp...
In this paper we extend recent results of Fiorini et al. on the extension complexity of the cut poly...
We study the minimum number of constraints needed to formulate random instances of the maximum stabl...
A linear extension of a polytope is any polytope which can be mapped onto via an affine transformati...
Courcelle’s theorem states that given an MSO formula ϕ and a graph G with n vertices and treewidth τ...
AbstractA stable set of a graph is a vertex set in which any two vertices are not adjacent. It was p...
AbstractSeveral applications of methods from nonlinear algebra to the stable set problem in graphs a...
Given a graph, the edge formulation of the stable set problem is defined by two-variable constraints...
AbstractFor some graph classes defined by forbidding one-vertex extensions of the P4, we introduce a...
Given a graph, the edge formulation of the stable set problem is defined by two-variable constraints...