Extension complexity

rdf:langString Extension complexity

rdf:langString In convex geometry and polyhedral combinatorics, the extension complexity is a convex polytope is the smallest number of facets among convex polytopes that have as a projection. In this context, is called an extended formulation of ; it may have much higher dimension than . The extension complexity depends on the precise shape of , not just on its combinatorial structure. For instance, regular polygons with sides have extension complexity (expressed using big O notation), but some other convex -gons have extension complexity at least proportional to . If a polytope describing the feasible solutions to a combinatorial optimization problem has low extension complexity, this could potentially be used to devise efficient algorithms for the problem, using linear programming on its extended formulation. For this reason, researchers have studied the extension complexity of the polytopes arising in this way. For instance, it is known that the matching polytope has exponential extension complexity. On the other hand, the independence polytope of regular matroids has polynomial extension complexity. The notion of extension complexity has also been generalized from linear programming to semidefinite programming, by considering projections of spectrahedra in place of projections of polytopes.