Some lower bounds for the complexity of the linear programming feasibility problem over the reals

Abstract

We analyze the arithmetic complexity of the linear programming feasibility problem over the reals. For the case of polyhedra defined by 2n half-spaces in R-n we prove that the set l((2n,n)), of parameters describing nonempty polyhedra, has an exponential number of limiting hypersurfaces. From this geometric result we obtain, as a corollary, the existence of a constant c > I Such that, if dense or sparse representation is used to code polynomials, the length of any quantifier-free formula expressing the set l((2n,n)) is bounded from below by Omega(c(n)). Other related complexity results are stated; in particular, a lower bound for algebraic computation trees based oil the notion of limiting hypersurface is presented. (C) 2008 Elsevier Inc. All rights reserved.