Skip to main content
Log in

On solving discrete two-stage stochastic programs having mixed-integer first- and second-stage variables

  • Published:
Mathematical Programming Submit manuscript

Abstract

In this paper, we propose a decomposition-based branch-and-bound (DBAB) algorithm for solving two-stage stochastic programs having mixed-integer first- and second-stage variables. A modified Benders' decomposition method is developed, where the Benders' subproblems define lower bounding second-stage value functions of the first-stage variables that are derived by constructing a certain partial convex hull representation of the two-stage solution space. This partial convex hull is sequentially generated using a convexification scheme such as the Reformulation-Linearization Technique (RLT) or lift-and-project process, which yields valid inequalities that are reusable in the subsequent subproblems by updating the values of the first-stage variables. A branch-and-bound algorithm is designed based on a hyperrectangular partitioning process, using the established property that any resulting lower bounding Benders' master problem defined over a hyperrectangle yields the same objective value as the original stochastic program over that region if the first-stage variable solution is an extreme point of the defining hyperrectangle or the second-stage solution satisfies the binary restrictions. We prove that this algorithm converges to a global optimal solution. Some numerical examples and computational results are presented to demonstrate the efficacy of this approach.

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.

Institutional subscriptions

Similar content being viewed by others

References

  1. Ahmed, S.: Mean-risk objectives in stochastic programming. School of Industrial & Systems Engineering, Georgia Tech, Atlanta, GA (2004). Working Paper, available at http://www.optimization-online.org/DB_HTML/2004/04/859.html

  2. Ahmed, S., Tawarmalani, M., Sahinidis, N.V.: A finite branch and bound algorithm for two-stage stochastic integer programs. Mathematical Programming 100 (2), 355–377 (2004)

    Article  MathSciNet  Google Scholar 

  3. Balas, E., Ceria, S., Cornuéjols, G.: A lift-and-project cutting plane algorithm for mixed 0-1 programs. Mathematical Programming 58, 295–324 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  4. Benders, J.F.: Partitioning procedures for solving mixed-variables programming problems. Numerische Mathematik 4, 238–252 (1962)

    Article  MATH  MathSciNet  Google Scholar 

  5. Blair, C., Jeroslow, R.: The value function of an integer program. Mathematical Programming 23, 237–273 (1982)

    Article  MATH  MathSciNet  Google Scholar 

  6. Carøe, C.C., Schultz, R.: Dual decomposition in stochastic integer programming. Operations Research Letters 24 (1-2), 37–45 (1999)

    Google Scholar 

  7. Carøe, C.C., Tind, J.: A cutting-plane approach to mixed 0–1 stochastic integer programs. European Journal of Operational Research 101 (2), 306–316 (1997)

    Article  Google Scholar 

  8. Carøe, C.C., Tind, J.: L-shaped decomposition of two-stage stochastic programs with integer recourse. Mathematical Programming 83a (3), 451–464 (1998)

    Google Scholar 

  9. Jeroslow, R.G.: A cutting plane game for facial disjunctive programs. SIAM Journal of Control and Optimization 18, 264–280 (1980)

    Article  MATH  MathSciNet  Google Scholar 

  10. Klein Haneveld, W.K., van der Vlerk, M.H.: Stochastic integer programming: general models and algorithms. Annals of Operations Research 85, 39–57 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  11. Laporte, G., Louveaux, F.V.: The integer L-shaped method for stochastic integer programs with complete recourse. Operations Research Letters 13 (3), 133–142 (1993)

    Article  MathSciNet  Google Scholar 

  12. Mulvey, J.M., Vanderbei, R.J., Zenios, S.A.: Robust optimization of large-scale systems. Operations Research 43 (2), 264–281 (1995)

    MathSciNet  Google Scholar 

  13. Ntaimo, L., Sen, S.: The million-variable ``march'' for stochastic combinatorial optimization. Journal of Global Optimization 32 (3) (2005, (to appear))

  14. Schultz, R.: On structure and stability in stochastic programs with random technology matrix and complete integer recourse. Mathematical Programming 70 (1), 73–89 (1995)

    MathSciNet  Google Scholar 

  15. Schultz, R., Stougie, L., van der Vlerk, M.H.: Two-stage stochastic integer programming: a survey. Statistica Neerlandica 50 (3), 404–416 (1996). Also see http://mally.eco.rug.nl/index.html?biblio/SPlist.html

    Article  MathSciNet  Google Scholar 

  16. Schultz, R., Tiedemann, S.: Risk aversion via excess probabilities in stochastic programs with mixed-integer recourse. SIAM Journal on Optimization 14 (1), 115–138 (2003)

    Article  MathSciNet  Google Scholar 

  17. Sen, S., Higle, J.L.: The C 3 theorem and a D 2 algorithm for large scale stochastic mixed-integer programming: set convexification. Mathematical Programming 104 (1), 1–20 (2005)

    Article  Google Scholar 

  18. Sen, S., Sherali, H.D.: Decomposition with branch-and-cut approaches for two stage stochastic mixed-integer programming. Mathematical Programming (to appear, 2004)

  19. Sherali, H.D.: A constructive proof of the representation theorem for polyhedral sets based on fundamental definitions. American Journal of Mathematical and Management Sciences 7 (3/4), 253–270 (1987)

    Google Scholar 

  20. Sherali, H.D., Adams, W.P.: A Reformulation-Linearization Technique for Solving Discrete and Continuous Nonconvex Problems. Kluwer Academic Publishing, Boston, MA (1999)

  21. Sherali, H.D., Fraticelli, B.M.P.: A modification of Benders' decomposition algorithm for discrete subproblems: An approach for stochastic programs with integer recourse. Journal of Global Optimization 22, 319–342 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  22. Stougie, L., van der Vlerk, M.H.: Stochastic integer programming. In: Dell'Amico, M., Maffioli, F., Martello, S., (eds.) Annotated Bibliographies in Combinatorial Optimization, Chapter 9:127–141 (1997)

  23. Takriti, S., Ahmed, S.: On robust optimization of two-stage systems. Mathematical Programming 99a, 109–126 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  24. van der Vlerk, M.H.: Convex approximations for complete integer recourse models. Mathematical Programming 99a, 297–310 (2004)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Hanif D. Sherali.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Sherali, H., Zhu, X. On solving discrete two-stage stochastic programs having mixed-integer first- and second-stage variables. Math. Program. 108, 597–616 (2006). https://doi.org/10.1007/s10107-006-0724-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10107-006-0724-6

Keywords

Mathematics Subject Classification (1991)

Navigation