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. Such structure arises in a wide variety of important problems, e.g. blending and portfolio selection. We show how strong inequalities valid for the semi-continuous knapsack polyhedron can be derived and used in a branch-and-cut scheme for problems with semi-continuous variables. To demonstrate the effectiveness of these inequalities, which we call collectively semi-continuous cuts, we present computational results on real instances of the unit commitment problem, as well as on a number of randomly generated instances of linear programming with semi-continuous variables.
Similar content being viewed by others
References
Balas E.: Facets of the knapsack polytope. Math. Program. 8, 146–164 (1975)
Beale E.M.L.: Integer programming. In: Schittkowski, K. (eds) Computational Mathematical Programming, NATO ASI Series, vol. f15, pp. 1–24. Springer, Berlin (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)
Biegler L.T., Grossmann I.E., Westerberg A.W.: Systematic Methods of Chemical Process Design. Prentice Hall, Englewood Cliffs (1997)
Bienstock D.: Computational study of a family of mixed-integer quadratic programming problems. Math. Program. 74, 121–140 (1996)
Ceria S., Cordier C., Marchand H., Wolsey L.A.: Cutting planes for integer programs with general integer variables. Math. Program. 81, 201–214 (1998)
de Farias, I.R. Jr.: Semi-Continuous Cuts for Mixed-Integer Programming, Technical Report, State University of New York (2003)
de Farias I.R.: Semi-continuous cuts for mixed-integer programming. In: Bienstock, D., Nemhauser, G.L. (eds) Integer Programming and Combinatorial Optimization (IPCO), Lecture Notes in Computer Science, vol. 3064, pp. 163–177. Springer, Berlin (2004)
de Farias, I.R. Jr., Gupta, R., Kozyreff, E., Zhao, M.: Branch-and-Cut for Separable Piecewise Linear Optimization: Computation, Technical Report, Texas Tech University (2011)
de Farias I.R. Jr, Johnson E.L., Nemhauser G.L.: A generalized assignment problem with special ordered sets: a polyhedral approach. Math. Program. 89, 187–203 (2000)
de Farias I.R. Jr, Johnson E.L., Nemhauser G.L.: Branch-and-cut for combinatorial optimization problems without auxiliary binary variables. Knowl. Eng. Rev. 16, 25–39 (2001)
de Farias I.R. Jr, Johnson E.L., Nemhauser G.L.: Facets of the complementarity knapsack polytope. Math. Oper. Res. 27, 210–226 (2002)
de Farias, I.R. Jr., Nemhauser, G.L.: A polyhedral study of the cardinality constrained knapsack problem. In: Cook, W.J., Schulz, A.S. (eds.) Integer Programming and Combinatorial Optimization, Lecture Notes in Computer Science, vol. 2337, pp. 291–303, Springer, Berlin (2002)
de Farias I.R. Jr, Nemhauser G.L.: A polyhedral study of the cardinality constrained knapsack problem. Math. Program. 96, 439–467 (2003)
de Farias I.R. Jr, Zhao M., Zhao H.: A special ordered set approach for optimizing a discontinuous separable piecewise linear function. Oper. Res. Lett. 36, 726–733 (2008)
Fulkerson D.R.: Blocking and antiblocking pairs of polyhedra. Math. Program. 1, 168–194 (1971)
Fulkerson D.R.: Antiblocking polyhedra. J. Comb. Theory B 12, 56–71 (1972)
Gu Z., Nemhauser G.L., Savelsbergh M.W.P.: Lifted cover inequalities for 0–1 integer programs: computation. INFORMS J. Comput. 4, 427–437 (1998)
Hammer P.L., Johnson E.L., Peled U.N.: Facets of regular 0–1 polytopes. Math. Program. 8, 179–206 (1975)
Hooker J.N.: Logic, optimization, and constraint programming. INFORMS J. Comput. 14, 295–321 (2002)
Ibaraki T.: The use of cuts in complementary programming. Oper. Res. 21, 353–359 (1973)
Ibaraki T., Hasegawa T., Teranaka K., Iwase J.: The multiple-choice knapsack problem. J. Oper. Res. Soc. Jpn. 21, 59–95 (1978)
Jeroslow R.G.: Cutting planes for complementarity constraints. SIAM J. Control Optim. 16, 56–62 (1978)
Keha A.B., de Farias I.R. Jr, Nemhauser G.L.: Models for representing piecewise linear cost functions. Oper. Res. Lett. 32, 44–48 (2004)
Keha A.B., de Farias I.R. Jr, Nemhauser G.L.: A branch-and-cut algorithm without binary variables for nonconvex piecewise linear optimization. Oper. Res. 54, 847–858 (2006)
Laundy, R.S.: Some Logically Constrained Mathematical Programming Problems, Ph.D. Dissertation, University of Southampton, Southampton (1983)
Louveaux Q., Wolsey L.A.: Lifting, superadditivity, mixed integer rounding, and single node flow sets revisited. 4OR 1, 173–207 (2003)
Magnanti T.L., Mirchandani P., Vachani R.: The convex hull of two core capacitated network design problems. Math. Program. 60, 233–250 (1993)
Martin A., Möller M., Moritz S.: Mixed-integer models for the stationary case of gas network optimization. Math. Program. 105, 563–582 (2006)
Nemhauser G.L., Wolsey L.A.: Integer and Combinatorial Optimization. Wiley, New York (1988)
Padhi N.P.: Unit commitment: a bibliographical survey. IEEE Trans. Power Syst. 19, 1196–1205 (2004)
Perold A.F.: Large-scale portfolio optimization. Manag. Sci. 30, 1143–1160 (1984)
Rajan, D., Takriti, S.: Minimum up/down Polytopes of the Unit Commitment Problem with Start-up Costs, IBM Research Report (2005)
Richard, J.P.P., de Farias, I.R. Jr., Nemhauser, G.L.: Lifted inequalities for 0–1 mixed-integer programming: basic theory and algorithms. In: Cook, W.J., Schulz, A.S. (eds.), Integer Programming and Combinatorial Optimization, Lecture Notes in Computer Science, vol. 2337, pp. 161–175, Springer, Berlin (2002)
Richard J.P.P., de Farias I.R. Jr, Nemhauser G.L.: Lifted inequalities for 0–1 mixed-integer programming: basic theory and algorithms. Math. Program. 98, 89–113 (2003)
Takriti S., Birge J.R., Long E.: A stochastic model for the unit commitment problem. IEEE Trans. Power Syst. 11, 1497–1508 (1996)
Williams H.P.: The reformulation of two mixed integer programming problems. Math. Program. 14, 325–331 (1978)
Wolsey L.A.: Faces for a linear inequality in 0–1 variables. Math. Program. 8, 165–178 (1975)
Zhao, M., de Farias, I.R. Jr.: Branch-and-Cut for Separable Piecewise Linear Optimization: New Inequalities and Intersection with Semi-Continuous with Constraints, Technical Report, Texas Tech University (2011)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
de Farias, I.R., Zhao, M. A polyhedral study of the semi-continuous knapsack problem. Math. Program. 142, 169–203 (2013). https://doi.org/10.1007/s10107-012-0566-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10107-012-0566-3
Keywords
- Semi-continuous variables
- Mixed-integer programming
- Disjunctive programming
- Polyhedral combinatorics
- Branch-and-cut
- Unit commitment problem