Abstract
We consider linear mixed-integer programs where a subset of the variables are restricted to take on a finite number of general discrete values. For this class of problems, we develop a reformulation-linearization technique (RLT) to generate a hierarchy of linear programming relaxations that spans the spectrum from the continuous relaxation to the convex hull representation. This process involves a reformulation phase in which suitable products using a defined set of Lagrange interpolating polynomials (LIPs) are constructed, accompanied by the application of an identity that generalizes x(1−x) for the special case of a binary variable x. This is followed by a linearization phase that is based on variable substitutions. The constructs and arguments are distinct from those for the mixed 0-1 RLT, yet they encompass these earlier results. We illustrate the approach through some examples, emphasizing the polyhedral structure afforded by the linearized LIPs. We also consider polynomial mixed-integer programs, exploitation of structure, and conditional-logic enhancements, and provide insight into relationships with a special-structure RLT implementation.
Similar content being viewed by others
References
Adams, W.P. (1985). “The Mixed-Integer Bilinear Programming Problem with Extensions to Zero-One Quadratic Programs,” Ph.D. Dissertation, Department of Industrial Engineering and Operations Research, Virginia Polytechnic Institute and State University, Blacksburg, VA.
Adams, W.P. and T.A. Johnson. (1994). “Improved Linear Programming-Based Lower Bounds for the Quadratic Assignment Problem.” DIMACS Series in Discrete Mathematical and Theoretical Computer Science 16, 43–76.
Adams, W.P., J.B. Lassiter, and H.D. Sherali. (1998). “Persistency in 0-1 Polynomial Programming.” Mathematics of Operations Research 23(2), 359–389.
Adams, W.P. and H.D. Sherali. (1986). “A Tight Linearization and an Algorithm for Zero-One Quadratic Programming Problems.” Management Science 32(10), 1274–1290.
Adams, W.P. and H.D. Sherali. (1990). “Linearization Strategies for a Class of Zero-One Mixed Integer Programming Problems.” Operations Research 38(2), 217–226.
Adams, W.P. and H.D. Sherali. (1993). “Mixed-Integer Bilinear Programming Problems.” Mathematical Programming 59(3), 279–305.
Balas, E. (1985). “Disjunctive Programming and a Hierarchy of Relaxations for Discrete Optimization Problems.” SIAM Journal on Algebraic and Discrete Methods 6(3), 466–486.
Balas, E., C. Ceria, and G. Cornuéjols. (1993). “A Lift and Project Cutting Plane Algorithm for Mixed 0-1 Programs.” Mathematical Programming 58(3), 295–324.
Boros, E., Y. Crama, and P. Hammer. (1989). “Upper Bounds for Quadratic Maximization Problems.” RUTCOR Report RRR #14-89, Rutgers University, New Brunswick, NJ, 08903.
Fortet, R. (1959). “L'algèbre de Boole et ses applications en Recherche Opérationelle.” Cahiers du Centre d'Études de Recherche Opérationelle 1(4), 5–36.
Fortet, R. (1960). “Applications de l'algèbre de Boole en Recherche Opérationelle.” Revue Française d'Informatique et de Recherche Opérationelle 4(14), 17–26.
Glover, F. (1975). “Improved Linear Integer Programming Formulations of Nonlinear Integer Programs.” Management Sci. 22(4), 455–460.
Glover, F. and E. Woolsey. (1973). “Further Reduction of Zero-One Polynomial Programming Problems to Zero-One Linear Programming Problems.” Operations Research 21, 156–161.
Glover, F. and E. Woolsey. (1974). “Converting the 0-1 Polynomial Programming Problem to a 0-1 Linear Program.” Operations Research 22, 180–182.
Hahn, P. and T. Grant. (1998). “Lower Bounds for the Quadratic Assignment Problem Based Upon a Dual Formulation.” Operations Research 46(6), 912–922.
Hahn, P., W. Hightower, T.A. Johnson, and M. Guignard-Spielberg. (2001). “Tree Elaboration Strategies in Branch and Bound Algorithms for Solving the Quadratic Assignment Problem.” Yugoslav Journal of Operations Research 11(1), 41–60.
Horn, R.A. and C.R. Johnson. (1985). Matrix Analysis. Cambridge University Press, The Pitt Building, Trumpington Street, Cambridge CB2 1RP, 40 West 20th Street, New York, NY 10011.
Horn, R.A. and C.R. Johnson. (1991). Topics in Matrix Analysis. Cambridge University Press, The Pitt Building, Trumpington Street, Cambridge CB2 1RP, 40 West 20th Street, New York, NY 10011.
Johnson, T.A. (1992). “New Linear Programming-Based Solution Procedures for the Quadratic Assignment Problem,” Ph.D. Dissertation, Department of Mathematical Sciences, Clemson University, Clemson, SC.
Krarup, J. and P.M. Pruzan. (1978). “Computer-Aided Layout Design.” In M.L. Balinski and C. Lemarechal (eds.), Mathematical Programming Study 9, North Holland Publishing Company, Amsterdam, pp. 75–94.
Lasserre, J.B. (2002). “Semidefinite Programming vs. LP Relaxations for Polynomial Programming.” Mathematics of Operations Research 27(2), 347–360.
Lasserre J.B. (2003). “The Integer Hull of a Convex Rational Polytope.” Manuscript LAAS-CNRS, Toulouse, France.
Laurent, M. (2001). “A Comparison of the Sherali-Adams, Lovász-Schrijver and Lasserre Relaxations for 0-1 Programming.” Technical Report #PNA RO-108, CWI, Amsterdam, Netherlands.
Lougee-Heimer, R. and W.P. Adams. (1999). “A Conditional Logic Approach for Strengthening Mixed 0-1 Linear Programs.” IBM Technical Report (IBM T.J. Watson Research Center).
Lovász, L. and A. Schrijver. (1991). “Cones of Matrices and Set Functions, and 0-1 Optimization.” SIAM Journal on Optimization 1, 166–190.
Nugent, C.E., T.E. Vollmann, and J. Ruml. (1968). “An Experimental Comparison of Techniques for the Assignment of Facilities to Locations.” Operations Research 16(1), 150–173.
Peterson, C. (1971). “A Note on Transforming the Product of Variables to Linear Form in Linear Programs.” Working Paper, Purdue University, W. Lafayette, IN.
Sherali, H.D. and W.P. Adams. (1990). “A Hierarchy of Relaxations Between the Continuous and Convex Hull Representations for Zero-One Programming Problems.” SIAM Journal of Discrete Mathematics 3(3), 411–430.
Sherali, H.D. and W.P. Adams. (1994). (Manuscript 1989). “A Hierarchy of Relaxations and Convex Hull Characterizations for Mixed-Integer Zero-One Programming Problems.” Discrete Applied Mathematics 52(1), 83–106.
Sherali, H.D. and W.P. Adams. (1996). “Computational Advances on Using the Reformulation-Linearization Technique (RLT) to Solve Various Discrete and Continuous Nonconvex Programming Problems.” Optima, Mathematical Programming Newsletter 49, 1–6.
Sherali, H.D. and W.P. Adams. (1999). A Reformulation-Linearization Technique for Solving Discrete and Continuous Nonconvex Problems, Dordrecht/Boston/London, Kluwer Academic Publishers.
Sherali, H.D., W.P. Adams, and P.J. Driscoll. (1998). “Exploiting Special Structures in Constructing a Hierarchy of Relaxations for 0-1 Mixed Integer Problems.” Operations Research 46(3), 396–405.
Sherali, H.D. and A. Alameddine. (1992). “A New Reformulation-Linearization Algorithm for Solving Bilinear Programming Problems.” Journal of Global Optimization 2, 379–410.
Sherali, H.D., R.S. Krishnamurthy, and F. Al-Khayyal. (1998). “Enumeration Approach for Linear Complementarity Problems Based on a Reformulation-Linearization Technique.” Journal of Optimization Theory and Applications 99(2), 481–507.
Sherali, H.D. and C. Tuncbilek. (1992). “A Global Optimization Algorithm for Polynomial Programming Problems Using a Reformulation-Linearization Technique.” Journal of Global Optimization 2, 101–112.
Sherali, H.D. and H. Wang. (2001). “Global Optimization of Nonconvex Factorable Programming Problems.” Mathematical Programming 89(3), 459–478.
Watters, L. (1967). “Reduction of Integer Polynomial Programming Problems to Zero-One Linear Programming Problems.” Operations Research 15, 1171–1174.
Zangwill, W. (1965). “Media Selection by Decision Programming.” Journal of Advertising Research 5, 30–36.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Adams, W.P., Sherali, H.D. A Hierarchy of Relaxations Leading to the Convex Hull Representation for General Discrete Optimization Problems. Ann Oper Res 140, 21–47 (2005). https://doi.org/10.1007/s10479-005-3966-4
Issue Date:
DOI: https://doi.org/10.1007/s10479-005-3966-4