Skip to main content
Log in

A polyhedral study of the semi-continuous knapsack problem

  • Full Length Paper
  • Series A
  • Published:
Mathematical Programming Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Balas E.: Facets of the knapsack polytope. Math. Program. 8, 146–164 (1975)

    Article  MathSciNet  MATH  Google Scholar 

  2. Beale E.M.L.: Integer programming. In: Schittkowski, K. (eds) Computational Mathematical Programming, NATO ASI Series, vol. f15, pp. 1–24. Springer, Berlin (1985)

    Chapter  Google Scholar 

  3. 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)

  4. Biegler L.T., Grossmann I.E., Westerberg A.W.: Systematic Methods of Chemical Process Design. Prentice Hall, Englewood Cliffs (1997)

    Google Scholar 

  5. Bienstock D.: Computational study of a family of mixed-integer quadratic programming problems. Math. Program. 74, 121–140 (1996)

    MathSciNet  MATH  Google Scholar 

  6. Ceria S., Cordier C., Marchand H., Wolsey L.A.: Cutting planes for integer programs with general integer variables. Math. Program. 81, 201–214 (1998)

    MathSciNet  MATH  Google Scholar 

  7. de Farias, I.R. Jr.: Semi-Continuous Cuts for Mixed-Integer Programming, Technical Report, State University of New York (2003)

  8. 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)

    Chapter  Google Scholar 

  9. 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)

  10. 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)

    Article  MathSciNet  MATH  Google Scholar 

  11. 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)

    Article  MATH  Google Scholar 

  12. de Farias I.R. Jr, Johnson E.L., Nemhauser G.L.: Facets of the complementarity knapsack polytope. Math. Oper. Res. 27, 210–226 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  13. 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)

  14. de Farias I.R. Jr, Nemhauser G.L.: A polyhedral study of the cardinality constrained knapsack problem. Math. Program. 96, 439–467 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  15. 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)

    Article  MathSciNet  MATH  Google Scholar 

  16. Fulkerson D.R.: Blocking and antiblocking pairs of polyhedra. Math. Program. 1, 168–194 (1971)

    Article  MathSciNet  MATH  Google Scholar 

  17. Fulkerson D.R.: Antiblocking polyhedra. J. Comb. Theory B 12, 56–71 (1972)

    Article  MathSciNet  Google Scholar 

  18. 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)

    Article  MathSciNet  Google Scholar 

  19. Hammer P.L., Johnson E.L., Peled U.N.: Facets of regular 0–1 polytopes. Math. Program. 8, 179–206 (1975)

    Article  MathSciNet  MATH  Google Scholar 

  20. Hooker J.N.: Logic, optimization, and constraint programming. INFORMS J. Comput. 14, 295–321 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  21. http://www.hpcc.ttu.edu/index.php

  22. Ibaraki T.: The use of cuts in complementary programming. Oper. Res. 21, 353–359 (1973)

    Article  MathSciNet  MATH  Google Scholar 

  23. Ibaraki T., Hasegawa T., Teranaka K., Iwase J.: The multiple-choice knapsack problem. J. Oper. Res. Soc. Jpn. 21, 59–95 (1978)

    MathSciNet  MATH  Google Scholar 

  24. Jeroslow R.G.: Cutting planes for complementarity constraints. SIAM J. Control Optim. 16, 56–62 (1978)

    Article  MathSciNet  MATH  Google Scholar 

  25. 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)

    Article  MathSciNet  MATH  Google Scholar 

  26. 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)

    Article  MathSciNet  MATH  Google Scholar 

  27. Laundy, R.S.: Some Logically Constrained Mathematical Programming Problems, Ph.D. Dissertation, University of Southampton, Southampton (1983)

  28. Louveaux Q., Wolsey L.A.: Lifting, superadditivity, mixed integer rounding, and single node flow sets revisited. 4OR 1, 173–207 (2003)

    MathSciNet  MATH  Google Scholar 

  29. Magnanti T.L., Mirchandani P., Vachani R.: The convex hull of two core capacitated network design problems. Math. Program. 60, 233–250 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  30. Martin A., Möller M., Moritz S.: Mixed-integer models for the stationary case of gas network optimization. Math. Program. 105, 563–582 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  31. Nemhauser G.L., Wolsey L.A.: Integer and Combinatorial Optimization. Wiley, New York (1988)

    MATH  Google Scholar 

  32. Padhi N.P.: Unit commitment: a bibliographical survey. IEEE Trans. Power Syst. 19, 1196–1205 (2004)

    Article  Google Scholar 

  33. Perold A.F.: Large-scale portfolio optimization. Manag. Sci. 30, 1143–1160 (1984)

    Article  MathSciNet  MATH  Google Scholar 

  34. Rajan, D., Takriti, S.: Minimum up/down Polytopes of the Unit Commitment Problem with Start-up Costs, IBM Research Report (2005)

  35. 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)

  36. 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)

    Article  MathSciNet  MATH  Google Scholar 

  37. Takriti S., Birge J.R., Long E.: A stochastic model for the unit commitment problem. IEEE Trans. Power Syst. 11, 1497–1508 (1996)

    Article  Google Scholar 

  38. Williams H.P.: The reformulation of two mixed integer programming problems. Math. Program. 14, 325–331 (1978)

    Article  MATH  Google Scholar 

  39. Wolsey L.A.: Faces for a linear inequality in 0–1 variables. Math. Program. 8, 165–178 (1975)

    Article  MathSciNet  MATH  Google Scholar 

  40. 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)

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Ismael Regis de Farias Jr..

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10107-012-0566-3

Keywords

Mathematics Subject Classification

Navigation