
Abstract We present MUSE-BB, a branch-and-bound (B&B) based decomposition algorithm for the deterministic global solution of nonconvex two-stage stochastic programming problems. In contrast to three recent decomposition algorithms, which solve this type of problem in a projected form by nesting an inner B&B in an outer B&B on the first-stage variables, we branch on all variables within a single B&B tree. This results in a higher convergence order of the lower bounding scheme, avoids repeated consideration of subdomains, inherent to the nesting of B&B searches, and enables the use of cheaper subproblems. In particular, when branching on second-stage variables, we employ a multisection variant of strong-branching, in which we simultaneously consider one candidate variable from each scenario for branching. By our decomposable lower bounding scheme, the resulting subproblems are independent and can be solved in parallel. We then use strong-branching scores to filter less promising candidate variables and only generate child nodes corresponding to a multisection involving the remaining variables by combining the appropriate subproblem results. We prove finite $$\varepsilon _f$$ ε f -convergence, and demonstrate that the lower-bounding scheme of MUSE-BB has at least first-order convergence under the mild assumption of Lipschitz continuous functions and relaxations. MUSE-BB is implemented and made available open source, as an extension of our deterministic global solver for mixed-integer nonlinear programs, MAiNGO, with OpenMP-parallelization of the decomposable subroutines. Numerical results show that MUSE-BB requires less CPU time than solving the deterministic equivalent using the standard version of MAiNGO; moreover, the parallelized decomposition allows for further reduction in wall time.
Technology, Operations Research, Two-stage stochastic programming, Mathematics, Applied, STOCHASTIC PROGRAMS, Clustering, 510, Convergence analysis, GENERALIZED BENDERS DECOMPOSITION, 0102 Applied Mathematics, 4901 Applied mathematics, GLOBAL OPTIMIZATION, info:eu-repo/classification/ddc/510, CLUSTER PROBLEM, 0802 Computation Theory and Mathematics, INTEGER NONLINEAR PROGRAMS, Decomposition, Science & Technology, 4602 Artificial intelligence, Operations Research & Management Science, 0103 Numerical and Computational Mathematics, CUT ALGORITHM, Physical Sciences, 4903 Numerical and computational mathematics, Multisection, Mathematics
Technology, Operations Research, Two-stage stochastic programming, Mathematics, Applied, STOCHASTIC PROGRAMS, Clustering, 510, Convergence analysis, GENERALIZED BENDERS DECOMPOSITION, 0102 Applied Mathematics, 4901 Applied mathematics, GLOBAL OPTIMIZATION, info:eu-repo/classification/ddc/510, CLUSTER PROBLEM, 0802 Computation Theory and Mathematics, INTEGER NONLINEAR PROGRAMS, Decomposition, Science & Technology, 4602 Artificial intelligence, Operations Research & Management Science, 0103 Numerical and Computational Mathematics, CUT ALGORITHM, Physical Sciences, 4903 Numerical and computational mathematics, Multisection, Mathematics
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
