Bounds on the Chvátal Rank of Polytopes in the 0/1-Cube

Gomory's and Chvatal's cutting-plane procedure proves recursively the validity of linear inequalities for the integer hull of a given polyhedron. The number of rounds needed to obtain all valid inequalities is known as the Chvatal rank of the polyhedron. It is well-known that the Chvatal rank can be arbitrarily large, even if the polyhedron is bounded, if it is of dimension 2, and if its integer hull is a 0/1-polytope. We prove that the Chvatal rank of polyhedra featured in common relaxations of many combinatorial optimization problems is rather small; in fact, the rank of any polytope contained in the n-dimensional 0/1-cube is at most 3n2 lg n. This improves upon a recent result of Bockmayr et al. [6] who obtained an upper bound of O(n3 lg n). Moreover, we refine this result by showing that the rank of any polytope in the 0/1-cube that is defined by inequalities with small coefficients is O(n). The latter observation explains why for most cutting planes derived in polyhedral studies of several popular combinatorial optimization problems only linear growth has been observed (see, e.g., [13]); the coefficients of the corresponding inequalities are usually small. Similar results were only known for monotone polyhedra before. Finally, we provide a family of polytopes contained in the 0/1-cube the Chvatal rank of which is at least (1+Ɛ)n for some Ɛ > 0; the best known lower bound was n.

[1]  William J. Cook,et al.  On the Complexity of Branch and Cut Methods for the Traveling Salesman Problem , 1990, Polyhedral Combinatorics.

[2]  William H. Cunningham,et al.  Small Travelling Salesman Polytopes , 1991, Math. Oper. Res..

[3]  C. Burdet,et al.  On cutting planes , 1973 .

[4]  William J. Cook,et al.  Sensitivity theorems in integer linear programming , 1986, Math. Program..

[5]  William J. Cook,et al.  Combinatorial optimization , 1997 .

[6]  Leslie E. Trotter,et al.  On stable set polyhedra for K1, 3-free graphs , 1981, J. Comb. Theory, Ser. B.

[7]  Maurice Queyranne,et al.  On the Chvátal Rank of Certain Inequalities , 1999, IPCO.

[8]  Russell Impagliazzo,et al.  Upper and lower bounds for tree-like cutting planes proofs , 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.

[9]  Bert Gerards,et al.  On Cutting Planes and Matrices , 1990, Polyhedral Combinatorics.

[10]  George L. Nemhauser,et al.  Handbooks in operations research and management science , 1989 .

[11]  Günter Rote,et al.  Upper Bounds on the Maximal Number of Facets of 0/1-Polytopes , 2000, Eur. J. Comb..

[12]  Denis Naddef,et al.  The hirsch conjecture is true for (0, 1)-polytopes , 1989, Mathematical programming.

[13]  Friedrich Eisenbrand,et al.  Cutting Planes and the Elementary Closure in Fixed Dimension , 2001, Math. Oper. Res..

[14]  Martin Grötschel,et al.  Facets of the Bipartite Subgraph Polytope , 1985, Math. Oper. Res..

[15]  Noga Alon,et al.  Anti-Hadamard Matrices, Coin Weighing, Threshold Gates, and Indecomposable Hypergraphs , 1997, J. Comb. Theory, Ser. A.

[16]  Matteo Fischetti,et al.  Three Facet-Lifting Theorems for the Asymmetric Traveling Salesman Polytope , 1992, IPCO.

[17]  Mark Evan Hartmann,et al.  Cutting planes and the complexity of the integer hull , 1989 .

[18]  Armin Haken,et al.  The Intractability of Resolution , 1985, Theor. Comput. Sci..

[19]  Maurice Queyranne,et al.  Ladders for Travelling Salesmen , 1995, SIAM J. Optim..

[20]  A. Schrijver Polyhedral combinatorics , 1996 .

[21]  Vasek Chvátal,et al.  Edmonds polytopes and a hierarchy of combinatorial problems , 1973, Discret. Math..

[22]  Andreas S. Schulz,et al.  0/1-Integer Programming: Optimization and Augmentation are Equivalent , 1995, ESA.

[23]  Gérard Cornuéjols,et al.  On the Rank of Mixed 0, 1 Polyhedra , 2001, IPCO.

[24]  V. Chvátal Flip-Flops in Hypohamiltonian Graphs , 1973, Canadian mathematical bulletin.

[25]  Egon Balas,et al.  Facets of the three-index assignment polytope , 1989, Discret. Appl. Math..

[26]  Alexander Schrijver,et al.  Theory of linear and integer programming , 1986, Wiley-Interscience series in discrete mathematics and optimization.

[27]  William R. Pulleyblank,et al.  Clique Tree Inequalities and the Symmetric Travelling Salesman Problem , 1986, Math. Oper. Res..

[28]  Egon Balas,et al.  Gomory cuts revisited , 1996, Oper. Res. Lett..

[29]  Friedrich Eisenbrand,et al.  On the Chvátal Rank of Polytopes in the 0/1 Cube , 1999, Discret. Appl. Math..

[30]  P. Erdös On circuits and subgraphs of chromatic graphs , 1962 .

[31]  William J. Cook,et al.  Combinatorial Optimization: Cook/Combinatorial , 1997 .

[32]  Günter M. Ziegler,et al.  Extremal Properties of 0/1-Polytopes , 1997, Discret. Comput. Geom..

[33]  Peter L. Hammer,et al.  Facet of regular 0–1 polytopes , 1975, Math. Program..

[34]  N. Biggs THE TRAVELING SALESMAN PROBLEM A Guided Tour of Combinatorial Optimization , 1986 .

[35]  Pavel Pudlák,et al.  Lower bounds for resolution and cutting plane proofs and monotone computations , 1997, Journal of Symbolic Logic.

[36]  Ralph E. Gomory,et al.  An algorithm for integer solutions to linear programs , 1958 .

[37]  Ran Raz,et al.  Lower bounds for cutting planes proofs with small coefficients , 1995, STOC '95.

[38]  William J. Cook,et al.  On the complexity of cutting-plane proofs , 1987, Discret. Appl. Math..

[39]  Ralph E. Gomory,et al.  Solving linear programming problems in integers , 1960 .

[40]  William J. Cook,et al.  On cutting-plane proofs in combinatorial optimization , 1989 .

[41]  Sylvia C. Boyd,et al.  Optimizing over the subtour polytope of the travelling salesman problem , 1990, Math. Program..

[42]  W. Pulleyblank Chapter V Polyhedral combinatorics , 1989 .

[43]  Friedrich Eisenbrand,et al.  NOTE – On the Membership Problem for the Elementary Closure of a Polyhedron , 1999, Comb..