Projection, lifting and extended formulation in integer and combinatorial optimization

Annals of Operations Research

Volumn 140, Issue 1, 2005, Pages 125-161

  Balas, Egon ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

0 1 programming; Disjunctive programming; Lift and project; Sequential convexification

Indexed keywords

EID: 28244487188     PISSN: 02545330     EISSN: 15729338     Source Type: Journal    
DOI: 10.1007/s10479-005-3969-1     Document Type: Article

References (46)

1. Balas, E. (1998). "Disjunctive Programming: Properties of the Convex Hull of Feasible Points." Invited paper, with a foreword by G. Cornuéjols and W. Pulleyblank, Discrete Applied Mathematics 89, 3-44. (Originally MSRR# 348, Carnegie Mellon University, July 1974).
2. Balas, E. (1979). "Disjunctive Programming." Annals of Discrete Mathematics 5, 3-51.
3. Balas, E. (1985). "Disjunctive Programming and a Hierarchy of Relaxations for Discrete Optimization Problems." SIAM Journal on Algebraic and Discrete Methods 6, 466-485.
4. Balas, E. (1987). "The Assignable Subgraph Polytope of a Directed Graph." Congressus Numerantium 60, 35-42.
5. Balas, E. (1997). "A Modified Lift-and-Project Procedure." Mathematical Programming 79, 19-31.
6. Balas, E. (1998). "Projection with a Minimal System of Inequalities." Computational Optimization and Applications 10, 189-193.
7. Balas, E. (2001). "Projection and Lifting in Combinatorial Optimization." In M. Jünger and D. Naddef (eds.), Computational Combinatorial Optimization: Optimal or Provably Near-Optimal Solutions, LNCS 2241, Springer, pp. 26-56.
8. Balas, E., S. Ceria, and G. Cornuéjols. (1993). "A Lift-and-Project Cutting Plane Algorithm for Mixed 0-1 Programs." Mathematical Programming 58, 295-324.
9. Balas, E., S. Ceria, and G. Cornuéjols. (1996). "Mixed 0-1 Programming by Lift-and-Project in a Branch-and-Cut Framework." Management Science 42, 1229-1246.
10. Balas, E., S. Ceria, G. Cornuéjols, and G. Pataki. (1996). "Polyhedral Methods for the Maximum Clique Problem." In D. Johnson and M. Trick (eds.), Clique, Coloring and Satisfiability: The Second DIMACS Challenge. The American Mathematical Society, Providence, RI, pp. 11-27.
11. Balas, E. and R.G. Jeroslow. (1980). "Strengthening Cuts for Mixed Integer Programs." European Journal of Operational Research 4, 224-234.
12. Balas, E. and J.B. Mazzola. (1984). "Nonlinear 0-1 Programming: I. Linearization Techniques, II. Dominance Relations and Algorithms." Mathematical Programming 30, 1-21 and 22-45.
13. Balas, E. and M. Oosten. (1998). "On the Dimension of Projected Polyhedra." Discrete Applied Mathematics 87, 1-9.
14. Balas, E. and M. Oosten. (2000). 'The Cycle Polytope of a Directed Graph." Networks 36, 34-46.
15. Balas, E. and M. Perregaard. (2003). "A Precise Correspondence Between Lift-and-Project Cuts, Simple Disjunctive Cuts, and Mixed Integer Gomory Cuts for 0-1 Programming." Mathematical Programming B 94, 221-245.
16. Balas, E. and W.R. Pulleyblank. (1983). "The Perfectly Matchable Subgraph Polytope of a Bipartite Graph." Networks 13, 495-518.
17. Balas, E. and W.R. Pulleyblank. (1989). "The Perfectly Matchable Subgraph Polytope of an Arbitrary Graph." Combinatorica 9, 321-337.
18. Balas, E., J. Tama and J. Tind. (1989). "Sequential Convexification in Reverse Convex and Disjunctive Programming." Mathematical Programming 44, 337-350.
19. Beaumont, N. (1990). "An Algorithm for Disjunctive Programming." European Journal of Operational Research 48, 362-371.
20. Bixby, R., W. Cook, A. Cox, and E. Lee. (1999). "Computational Experience with Parallel Mixed Integer Programming in a Distributed Environment." Annals of Operations Research 90, 19-45.
21. Blair, C. (1976). "Two Rules for Deducing Valid Inequalities for 0-1 Programs." SIAM Journal of Applied Mathematics 31, 614-617.
22. Blair, C. (1980). "Facial Disjunctive Programs and Sequences of Cutting Planes." Discrete Applied Mathematics 2, 173-180.
23. Ceria, S. and G. Pataki. (1998). "Solving Integer and Disjunctive Programs by Lift-and-Project." In R.E. Bixby, E.A. Boyd, and R.Z. Rios-Mercado (eds.), IPCO VI, Lecture Notes in Computer Science, 1412. Springer, pp. 271-283.
24. Ceria, S. and J. Soares. (1997). "Disjunctive Cuts for Mixed 0-1 Programming: Duality and Lifting." GSB, Columbia University.
25. Ceria, S. and J. Soares. (1999). "Convex Programming for Disjunctive Convex Optimization." Mathematical Programming 86, 595-614.
26. Dantzig, G.B., R.D. Fulkerson, and S.M. Johnson. (1954). "Solution of a Large-Scale Traveling Salesman Problem." Operations Research 2, 393-410.
27. Fortet, R. (1960). "Applications de l'algèbre de Boole en recherche opérationnelle." Revue Francaise de Recherche Opérationnelle 4, 17-25.
28. Jeroslow, R.G. (1977). "Cutting Plane Theory: Disjunctive Methods." Annals of Discrete Mathematics 1, 293-330.
29. Jeroslow, R.G. (1987). "Representability in Mixed Integer Programming I: Characterization Results." Discrete Applied Mathematics 17, 223-243.
30. Jeroslow, R.G. (1989). "Logic Based Decision Support: Mixed Integer Model Formulation." Annals of Discrete Mathematics 40.
31. Johnson, E.L. (1974). "The Group Problem for Mixed-Integer Programming." Mathematical Programming Study 2, 137-179.
32. Letchford, A. (2001). "On Disjunctive Cuts for Combinatorial Optimization." Journal of Combinatorial Optimization 5, 299-317.
33. Lovász, L. and A. Schrijver. (1991). "Cones of Matrices and Set Functions and 0-1 Optimization." SIAM Journal of Optimization 1, 166-190.
34. Miller, C.E., A.W. Tucker, and R.A. Zemlin. (1960). "Integer Programming Formulations and Traveling Salesman Problems." Journal of the ACM 7, 326-329.
35. Nemhauser, G. and L. Wolsey. (1986). Integer and Combinatorial Optimization. Wiley.
36. Padberg, M. and T.-Y. Sung. (1991). "An Analytical Comparison of Different Formulations of the Traveling Salesman Problem." Math. Programming 52, 315-357.
37. Pataki, G. (2001). Personal communication, March.
38. Perregaard, M. (2003). "A Practical Implementation of Lift-and-Project Cuts. A computational exploration of lift-and-project with XPRESS-MP." Paper presented at the International Symposium on Mathematical Programming, August, Copenhagen.
39. Perregaard, M. and E. Balas. (2001). "Generating Cuts from Multiple-Term Disjunctions." In K. Aardal and B. Gerards (eds.), Integer Programming and Combinatorial Optimization (8th IPCO Conference, Utrecht, 2001), LCNS No. 2081, Springer, pp. 318-360.
40. Sherali, H. and W. Adams. (1990). "A Hierarchy of Relaxations Between the Continuous and Convex Hull Representations for Zero-One Programming Problems." SIAM Journal on Discrete Mathematics 3, 411-430.
41. Sherali, H. and C. Shetty. (1980). Optimization with Disjunctive Constraints. Lecture Notes in Economics and Mathematical Systems, 181, Springer.
42. Stoer, J. and C. Witzgall. (1970). Convexity and Optimization in Finite Dimensions I. Springer.
43. Stubbs, R.A. and S. Mehrotra. (1996). "A Branch-and-Cut Method for 0-1 Mixed Convex Programming." Department of Industrial Engineering, Northwestern University.
44. Thienel, S. (1995). "ABACUS: A Branch-and-Cut System." Doctoral Dissertation, Faculty of Mathematics and The Natural Sciences, University of Cologne.
45. Turkay, M. and I.E. Grossmann. (1996). "Disjunctive Programming Techniques for the Optimization of Process Systems with Discontinuous Investment Costs-Multiple Size Regions." Industrial Engineering Chemical Research 35, 2611-2623.
46. Williams, H.P. (1994). "An Alternative Explanation of Disjunctive Formulations." European Journal of Operational Research 72, 200-203.