View Related Documents

Abstract

We show that one can compute the combinatorial facets of a simple polytope from its graph in polynomial time. Our proof relies on a primal-dual characterization (by Joswig, Kaibel, and Körner in Israel J. Math. 129:109–118, 2002) and a linear program, with an exponential number of constraints, which can be used to construct the solution and can be solved in polynomial time. We show that this allows one to characterize the face lattice of the polytope, via a simple face recognition algorithm. In addition, we use this linear program to construct several interesting polynomial-time computable sets of graphs which may be of independent interest.

Keywords  Polytope - Graph - Polynomial time

Communicated by Günter M. Ziegler.

Fulltext Preview

Image of the first page of the fulltext document