Cluster Lagrangean decomposition in multistage stochastic optimization

We present a Lagrangean Decomposition approach for obtaining strong lower bounds on minimizing medium to large scale multistage stochastic mixed 0-1 problems. The problem is represented by a mixture of the splitting representation up to a given stage, so-named break stage, and the compact representation for the other stages along the time horizon. The dualization of the nonanticipativity constraints for the variables up to the break stage results in a model that can be decomposed into a set of independent scenario cluster submodels. The nonanticipativity constraints for the 0-1 and continuous variables in the cluster submodels are implicitly satisfied. Four scenario cluster schemes are compared for Lagrangean multipliers updating such as the Subgradient Method, the Volume Algorithm, the Lagrangean Progressive Hedging Algorithm and the Dynamic Constrained Cutting Plane scheme. We have observed in randomly generated instances that the smaller the number of clusters, the stronger the lower bound provided for the original problem (even, frequently, it is the solution value). HighlightsA Multistage scenario Cluster Lagrangian Decomposition (MCLD) approach for obtaining strong lower bounds on the solution value of large sized instances of the multistage stochastic mixed 0-1 problem is presented.MCLD frequently gives the solution value of the original stochastic mixed 0-1 problem by using merged or pure scenario cluster submodels either without Lagrange multipliers usage or considering any of the four Lagrange multipliers schemes that we have selected to work with.It is easy to prove that the performance of the MCLD procedure outperforms the traditional Lagrangian Decomposition scheme based on single scenarios in both the bound's quality and elapsed time.The efficiency of the four updating schemes, as contrasted in the testbed we have experimented with, is very similar in quality of the MCLD bound. However, a careful implementation of the Subgradient Method makes it more robust than the other three updating schemes. Notice that the SM based MCLD approach obtains the solution value in the original problem in thirteen out of the fourteen instances included in the testbed.The proposed approach requires an elapsed time that is one order of magnitude smaller than the time required by CPLEX, in the worst case.

[1]  Francisco Barahona,et al.  The volume algorithm: producing primal solutions with a subgradient method , 2000, Math. Program..

[2]  Eleni Hadjiconstantinou,et al.  A decomposition-based stochastic programming approach for the project scheduling problem under time/cost trade-off settings and uncertain durations , 2010, Comput. Oper. Res..

[3]  G. Pflug,et al.  Multistage Stochastic Optimization , 2014 .

[4]  Unai Aldasoro,et al.  An algorithmic framework for solving large-scale multistage stochastic mixed 0-1 problems with nonsymmetric scenario trees. Part II: Parallelization , 2013, Comput. Oper. Res..

[5]  Csaba I. Fábián,et al.  Solving two-stage stochastic programming problems with level decomposition , 2007, Comput. Manag. Sci..

[6]  Susana Scheimberg,et al.  Inexact Bundle Methods for Two-Stage Stochastic Programming , 2011, SIAM J. Optim..

[7]  Krzysztof C. Kiwiel,et al.  Proximity control in bundle methods for convex nondifferentiable minimization , 1990, Math. Program..

[8]  R. Wets Programming Under Uncertainty: The Equivalent Convex Program , 1966 .

[9]  Peter Kall,et al.  Stochastic Linear Programming , 1975 .

[10]  R. Tyrrell Rockafellar,et al.  Scenarios and Policy Aggregation in Optimization Under Uncertainty , 1991, Math. Oper. Res..

[11]  Burhaneddin Sandıkçı,et al.  A Scalable Bounding Method for Multi-Stage Stochastic Integer Programs , 2014 .

[12]  Arthur M. Geoffrion,et al.  Lagrangian Relaxation for Integer Programming , 2010, 50 Years of Integer Programming.

[13]  John R. Birge,et al.  Introduction to Stochastic programming (2nd edition), Springer verlag, New York , 2011 .

[14]  R. Wets Stochastic Programs with Fixed Recourse: The Equivalent Deterministic Program , 1974 .

[15]  B. WETSt,et al.  STOCHASTIC PROGRAMS WITH FIXED RECOURSE : THE EQUIVALENT DETERMINISTIC PROGRAM , 2022 .

[16]  Suvrajeet Sen,et al.  A heuristic procedure for stochastic integer programs with complete recourse , 2006, Eur. J. Oper. Res..

[17]  María Merino,et al.  An algorithmic framework for solving large-scale multistage stochastic mixed 0-1 problems with nonsymmetric scenario trees , 2012, Comput. Oper. Res..

[18]  Informationstechnik Berlin,et al.  Dual Decomposition in Stochastic Integer Programming , 1996 .

[19]  Monique Guignard-Spielberg,et al.  Lagrangean decomposition: A model yielding stronger lagrangean bounds , 1987, Math. Program..

[20]  Andrew J. Schaefer,et al.  Scenario-Tree Decomposition : Bounds for Multistage Stochastic Mixed-Integer Programs , 2014 .

[21]  Andrew J. Schaefer,et al.  A hierarchy of bounds for stochastic mixed-integer programs , 2013, Math. Program..

[22]  Richard M. Karp,et al.  The traveling-salesman problem and minimum spanning trees: Part II , 1971, Math. Program..

[23]  María Merino,et al.  An algorithmic framework for solving large scale multistage stochastic mixed 0-1 problems with nonsymmetric scenario trees , 2012, Comput. Oper. Res..

[24]  Roger Jean-Baptiste Robert Wets Programming under uncertainty , 1965 .

[25]  Antonio Frangioni,et al.  Bundle methods for sum-functions with “easy” components: applications to multicommodity network design , 2013, Mathematical Programming.

[26]  Shabbir Ahmed,et al.  A Multi-Stage Stochastic Integer Programming Approach for Capacity Expansion under Uncertainty , 2003, J. Glob. Optim..

[27]  María Merino,et al.  On BFC-MSMIP strategies for scenario cluster partitioning, and twin node family branching selection and bounding for multistage stochastic mixed integer programming , 2010, Comput. Oper. Res..

[28]  Philip Wolfe,et al.  Validation of subgradient optimization , 1974, Math. Program..

[29]  John R. Birge,et al.  Introduction to Stochastic Programming , 1997 .

[30]  Ignacio E. Grossmann,et al.  A Lagrangean decomposition approach for oil supply chain investment planning under uncertainty with risk considerations , 2013, Comput. Chem. Eng..

[31]  Richard M. Karp,et al.  The Traveling-Salesman Problem and Minimum Spanning Trees , 1970, Oper. Res..

[32]  Gloria Pérez,et al.  Scenario Cluster Decomposition of the Lagrangian dual in two-stage stochastic mixed 0-1 optimization , 2013, Comput. Oper. Res..

[33]  María Merino,et al.  A general algorithm for solving two-stage stochastic mixed 0-1 first-stage problems , 2009, Comput. Oper. Res..

[34]  Antonio J. Conejo,et al.  Short-term hydro-thermal coordination by Lagrangian relaxation: solution of the dual problem , 1999 .

[35]  David L. Woodruff,et al.  Progressive hedging innovations for a class of stochastic mixed-integer resource allocation problems , 2011, Comput. Manag. Sci..

[36]  L. Escudero,et al.  Lagrangian Decomposition for large-scale two-stage stochastic mixed 0-1 problems , 2012 .

[37]  Rüdiger Schultz,et al.  Stochastic Programs with First-Order Dominance Constraints Induced by Mixed-Integer Linear Recourse , 2008, SIAM J. Optim..

[38]  Rüdiger Schultz,et al.  A note on second-order stochastic dominance constraints induced by mixed-integer linear recourse , 2011, Math. Program..

[39]  Debora Mahlke,et al.  A Scenario Tree-Based Decomposition for Solving Multistage Stochastic Programs: With Application in Energy Production , 2010 .

[40]  Xiaoling Sun,et al.  Nonlinear Integer Programming , 2006 .

[41]  Suvrajeet Sen,et al.  A Branch-and-Price Algorithm for Multistage Stochastic Integer Programming with Application to Stochastic Batch-Sizing Problems , 2004, Manag. Sci..

[42]  Laureano F. Escudero,et al.  On time stochastic dominance induced by mixed integer-linear recourse in multistage stochastic programs , 2016, Eur. J. Oper. Res..

[43]  Laureano Fernando Escudero Bueno,et al.  BFC-MSMIP: an exact Branch-and-Fix Coordination approach for solving multistage stochastic mixed 0-1 problems , 2009 .