Abstract
We study the convex hull of the feasible set of the semi-continuous knapsack problem, in which the variables belong to the union of two intervals. Besides being important in its own right, the semi-continuous knapsack problem is a relaxation of general mixed-integer programming. We show how strong inequalities that are valid for the semi-continuous knapsack polyhedron can be derived and used as cuts in a branch-and-cut scheme for mixed-integer programming and problems with semi-continuous variables. We present computational results that demonstrate the effectiveness of these inequalities, which we call collectively semi-continuous cuts. Our computational experience also shows that dealing with semi-continuous constraints directly in the branch-and-cut algorithm through a specialized branching scheme and semi-continuous cuts is considerably more practical than the “textbook” approach of modeling semi-continuous constraints through the introduction of auxiliary binary variables in the model.
Partially supported by NSF grants DMI-0100020 and DMI-0121495. This paper is an extended abstract of [7].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Balas, E.: Facets of the Knapsack Polytope. Mathematical Programming 8, 146–164 (1975)
Beale, E.M.L.: Integer Programming. In: Schittkowski, K. (ed.) Computational Mathematical Programming, NATO ASI F15, pp. 1–24. Springer, Heidelberg (1985)
Beale, E.M.L., Tomlin, J.A.: Special Facilities in a General Mathematical Programming System for Nonconvex Problems Using Ordered Sets of Variables. In: Lawrence, J. (ed.) Proceedings of the Fifth International Conference on Operations Research, pp. 447–454. Tavistock Publications (1970)
Bienstock, D.: Computational Study of a Family of Mixed-Integer Quadratic Programming Problems. Mathematical Programming 74, 121–140 (1996)
Bixby, R.E., Ceria, S., McZeal, C.M., Savelsbergh, M.W.P.: An Updated Mixed Integer Programming Library: MIPLIB 3.0. Technical Report TR98-03, Department of Computational and Applied Mathematics, Rice University (1998)
Ceria, S., Cordier, C., Marchand, H., Wolsey, L.A.: Cutting Planes for Integer Programs with General Integer Variables. Mathematical Programming 81, 201–214 (1998)
de Farias Jr., I.R.: Semi-continuous Cuts for Mixed Integer Programming. Department of Industrial Engineering, University at Buffalo, SUNY (2003) (preprint)
de Farias Jr., I.R., Johnson, E.L., Nemhauser, G.L.: A Generalized Assignment Problem with Special Ordered Sets: A Polyhedral Approach. Mathematical Programming 89, 187–203 (2000)
de Farias Jr., I.R., Johnson, E.L., Nemhauser, G.L.: Branch-and-Cut for Combinatorial Optimization Problems without Auxiliary Binary Variables. Knowledge Engineering Review 16, 25–39 (2001)
de Farias Jr., I.R., Johnson, E.L., Nemhauser, G.L.: Facets of the Complementarity Knapsack Polytope. Mathematics of Operations Research 27, 210–226 (2002)
de Farias Jr., I.R., Nemhauser, G.L.: A Polyhedral Study of the Cardinality Constrained Knapsack Problem. Mathematical Programming 96, 439–467 (2003)
Gu, Z., Nemhauser, G.L., Savelsbergh, M.W.P.: Lifted Cover Inequalities for 0-1 Integer Programs: Computation. INFORMS Journal on Computing 4, 427–437 (1998)
Hammer, P.L., Johnson, E.L., Peled, U.N.: Facets of Regular 0-1 Polytopes. Mathematical Programming 8, 179–206 (1975)
Ibaraki, T., Hasegawa, T., Teranaka, K., Iwase, J.: The Multiple-Choice Knapsack Problem. Journal of the Operations Research Society of Japan 21, 59–95 (1978)
Laundy, R.S.: Some Logically Constrained Mathematical Programming Problems. Ph.D. Thesis, University of Southampton, Southampton, UK (1983)
Louveaux, Q., Wolsey, L.A.: Lifting, Superadditivity, Mixed Integer Rounding, and Single Node Flow Sets Revisited. CORE Discussion Paper 2003/1 (2003)
Nemhauser, G.L., Wolsey, L.A.: Integer and Combinatorial Optimization. Wiley-Interscience, Hoboken (1988)
Perold, A.F.: Large-Scale Portfolio Optimization. Management Science 30, 1143–1160 (1984)
Wolsey, L.A.: Faces for a Linear Inequality in 0-1 Variables. Mathematical Programming 8, 165–178 (1975)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
de Farias, I.R. (2004). Semi-continuous Cuts for Mixed-Integer Programming. In: Bienstock, D., Nemhauser, G. (eds) Integer Programming and Combinatorial Optimization. IPCO 2004. Lecture Notes in Computer Science, vol 3064. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25960-2_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-25960-2_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22113-5
Online ISBN: 978-3-540-25960-2
eBook Packages: Springer Book Archive