Bounds on the Chvátal Rank of Polytopes in the 0/1Cube
 Friedrich Eisenbrand,
 Andreas S. Schulz
 … show all 2 hide
Abstract
Gomory’s and Chvátal’s cuttingplane 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 Chvátal rank of the polyhedron. It is wellknown that the Chvátal 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/1polytope. We prove that the Chvátal 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 ndimensional 0/1cube is at most 3n ^{2} lg n. This improves upon a recent result of Bockmayr et al. [6] who obtained an upper bound of O(n ^{3} lg n).
Moreover, we refine this result by showing that the rank of any polytope in the 0/1cube 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/1cube the Chvátal rank of which is at least (1+∈)n for some ∈ > 0; the best known lower bound was n.
 Alon, N., Vu, V. H. (1997) AntiHadamard matrices, coin weighing, threshold gates, and indecomposable hypergraphs. Journal of Combinatorial Theory 79A: pp. 133160 CrossRef
 Balas, E., Ceria, S., Cornuéjols, G., Natraj, N. R. (1996) Gomory cuts revisited. Operations Research Letters 19: pp. 19 CrossRef
 Balas, E., Saltzman, M. J. (1989) Facets of the threeindex assignment polytope. Discrete Applied Mathematics 23: pp. 201229 CrossRef
 Barahona, F., Grötschel, M., Mahjoub, A. R. (1985) Facets of the bipartite subgraph polytope. Mathematics of Operations Research 10: pp. 340358
 A. Bockmayr and F. Eisenbrand. On the Chvátal rank of polytopes in the 0/1 cube. Research Report MPII972009, MaxPlanckInstitut für Informatik, September 1997.
 A. Bockmayr, F. Eisenbrand, M. E. Hartmann, and A. S. Schulz. On the Chvátal rank of polytopes in the 0/1 cube. Technical Report 616, Technical University of Berlin, Department of Mathematics, December 1998.
 Bonet, M., Pitassi, T., Raz, R. (1997) Lower bounds for cutting planes proofs with small coefficients. Journal of Symbolic Logic 62: pp. 708728 CrossRef
 Boyd, S. C., Cunningham, W. H. (1991) Small travelling salesman polytopes. Mathematics of Operations Research 16: pp. 259271
 Boyd, S. C., Cunningham, W. H., Queyranne, M., Wang, Y. (1995) Ladders for travelling salesmen. SIAM Journal on Optimization 5: pp. 408420 CrossRef
 Boyd, S. C., Pulleyblank, W. R. (1991) Optimizing over the subtour polytope of the travelling salesman problem. Mathematical Programming 49: pp. 163187 CrossRef
 Chvátal, V. (1973) Edmonds polytopes and a hierarchy of combinatorial problems. Discrete Mathematics 4: pp. 305337 CrossRef
 Chvátal, V. (1973) Flipflops in hypohamiltonian graphs. Canadian Mathematical Bulletin 16: pp. 3341
 Chvátal, V., Cook, W., Hartmann, M. E. (1989) On cuttingplane proofs in combinatorial optimization. Linear Algebra and its Applications 114/115: pp. 455499 CrossRef
 Cook, W., Coullard, C. R., Turán, Gy. (1987) On the complexity of cutting plane proofs. Discrete Applied Mathematics 18: pp. 2538 CrossRef
 W. Cook, W. H. Cunningham, W. R. Pulleyblank, and A. Schrijver. Combinatorial Optimization. John Wiley, 1998.
 F. Eisenbrand. A note on the membership problem for the first elementary closure of a polyhedron. Technical Report 605, Technical University of Berlin, Department of Mathematics, November 1998. To appear in Combinatorica.
 Erdös, P. (1962) On circuits and subgraphs of chromatic graphs. Mathematika 9: pp. 170175 CrossRef
 M. Fischetti. Three facet lifting theorems for the asymmetric traveling salesman polytope. In E. Balas, G. Cournuéjols, and R. Kannan, editors, Integer Programming and Combinatorial Optimization, pages 260–273. Proceedings of the 2nd IPCO Conference, 1992.
 T. Fleiner, V. Kaibel, and G. Rote. Upper bounds on the maximal number of facets of 0/1polytopes. Technical Report 98327, University of Cologne, Department of Computer Science, 1998. To appear in European Journal of Combinatorics.
 Giles, R., Trotter, L. E. (1981) On stable set polyhedra for K 1,3free graphs. Journal of Combinatorial Theory 31: pp. 313326 CrossRef
 Gomory, R. E. (1958) Outline of an algorithm for integer solutions to linear programs. Bulletin of the American Mathematical Society 64: pp. 275278 CrossRef
 R. E. Gomory. An algorithm for integer solutions to linear programs. In R. L. Graves and P. Wolfe, editors, Recent Advances in Mathematical Programming, pages 269–302. McGrawHill, 1963.
 M. Grötschel and M. W. Padberg. Polyhedral theory. In E. L. Lawler, J. K. Lenstra, A. H. G. Rinnoy Kan, and D. B. Shmoys, editors, The Traveling Salesman Problem: A Guided Tour of Combinatorial Optimization, pages 251–305. John Wiley, 1985.
 Grötschel, M., Pulleyblank, W. R. (1986) Clique tree inequalities and the symmetric travelling salesman problem. Mathematics of Operations Research 11: pp. 537569 CrossRef
 Haken, A. (1985) The intractability of resolution. Theoretical Computer Science 39: pp. 297308 CrossRef
 Hammer, P. L., Johnson, E., Peled, U. N. (1975) Facets of regular 0–1 polytopes. Mathematical Programming 8: pp. 179206 CrossRef
 M. E. Hartmann. Cutting planes and the complexity of the integer hull. Technical Report 819, School of Operations Research and Industrial Engineering, Cornell University, September 1988.
 M. E. Hartmann. Personal communication, March 1998.
 M. E. Hartmann, M. Queyranne, and Y. Wang. On the Chvátal rank of certain inequalities. This volume, 1999.
 R. Impagliazzo, T. Pitassi, and A. Urquhart. Upper and lower bound for treelike cutting plane proofs. In Proc. Logic in Computer Science, LICS’94, Paris, 1994.
 Kortenkamp, U. H., RichterGebert, J., Sarangarajan, A., Ziegler, G. M. (1997) Extremal properties of 0/1polytopes. Discrete and Computational Geometry 17: pp. 439448 CrossRef
 Naddef, D. (1989) The Hirsch conjecture is true for (0,1)polytopes. Mathematical Programming 45: pp. 109110 CrossRef
 M. W. Padberg and M. Grötschel. Polyhedral computations. In E. L. Lawler, J. K. Lenstra, A. H. G. Rinnoy Kan, and D. B. Shmoys, editors, The Traveling Salesman Problem: A Guided Tour of Combinatorial Optimization, pages 307–360. John Wiley, 1985.
 Pudlák, P. (1997) Lower bounds for resolution and cutting plane proofs and monotone computations. Journal of Symbolic Logic 62: pp. 981988 CrossRef
 W. R. Pulleyblank. Polyhedral combinatorics. In G. L. Nemhauser, A. H. G. Rinnooy Kan, and M. J. Todd, editors, Optimization, Volume 1 of Handbooks in Operations Research and Management Science, Chapter V, pages 371–446. Elsevier, 1989.
 Schrijver, A. (1980) On cutting planes. Annals of Discrete Mathematics 9: pp. 291296 CrossRef
 A. Schrijver. Theory of Linear and Integer Programming. John Wiley, 1986.
 Schulz, A. S. (1996) Polytopes and Scheduling. Technical University of Berlin, Berlin, Germany
 A. S. Schulz. A simple proof that the Chvátal rank of polytopes in the 0/1cube is small. Unpublished manuscript, September 1997.
 A. S. Schulz, R. Weismantel, and G. M. Ziegler. An optimization problem is ten problems. In preparation.
 Title
 Bounds on the Chvátal Rank of Polytopes in the 0/1Cube
 Book Title
 Integer Programming and Combinatorial Optimization
 Book Subtitle
 7th International IPCO Conference Graz, Austria, June 9–11, 1999 Proceedings
 Pages
 pp 137150
 Copyright
 1999
 DOI
 10.1007/3540487778_11
 Print ISBN
 9783540660194
 Online ISBN
 9783540487777
 Series Title
 Lecture Notes in Computer Science
 Series Volume
 1610
 Series ISSN
 03029743
 Publisher
 Springer Berlin Heidelberg
 Copyright Holder
 SpringerVerlag Berlin Heidelberg
 Additional Links
 Topics
 Industry Sectors
 eBook Packages
 Editors

 Gérard Cornuéjols ^{(4)}
 Rainer E. Burkard ^{(5)}
 Gerhard J. Woeginger ^{(5)}
 Editor Affiliations

 4. GSIA, Carnegie Mellon University
 5. Institut für Mathematik, Technische Universität Graz
 Authors

 Friedrich Eisenbrand ^{(6)}
 Andreas S. Schulz ^{(7)}
 Author Affiliations

 6. MaxPlanckInstitut für Informatik, Im Stadtwald, D66123, Saarbrücken, Germany
 7. Sloan School of Management and Operations Research Center, E53361, MIT, Cambridge, MA, 02139, USA
Continue reading...
To view the rest of this content please follow the download PDF link above.