Abstract:In this paper, we study multistage stochastic mixed-integer nonlinear programs (MS-MINLP). This general class of problems encompasses, as important special cases, multistage stochastic convex optimization with non-Lipschitzian value functions and multistage stochastic mixed-integer linear optimization. We develop stochastic dual dynamic programming (SDDP) type algorithms with nested decomposition, deterministic sampling, and stochastic sampling. The key ingredient is a new type of cuts based on generalized conjugacy. Several interesting classes of MS-MINLP are identified, where the new algorithms are guaranteed to obtain the global optimum without the assumption of complete recourse. This significantly generalizes the classic SDDP algorithms. We also characterize the iteration complexity of the proposed algorithms. In particular, for a -stage stochastic MINLP satisfying L -exact Lipschitz regularization with d -dimensional state spaces, to obtain an -optimal root node solution, we prove that the number of iterations of the proposed deterministic sampling algorithm is upper bounded by , and is lower bounded by for the general case or by for the convex case. This shows that the obtained complexity bounds are rather sharp. It also reveals that the iteration complexity depends polynomially on the number of stages. We further show that the iteration complexity depends linearly on T , if all the state spaces are finite sets, or if we seek a -optimal solution when the state spaces are infinite sets, i.e. allowing the optimality gap to scale with T . To the best of our knowledge, this is the first work that reports global optimization algorithms as well as iteration complexity results for solving such a large class of multistage stochastic programs. The iteration complexity study resolves a conjecture by the late Prof. Shabbir Ahmed in the general setting of multistage stochastic mixed-integer optimization.

Benders, Nested Benders and Stochastic Programming: An Intuitive Introduction

Unified Branch-and-Benders-Cut for two-stage stochastic mixed-integer programs

On Generating Lagrangian Cuts for Two-Stage Stochastic Integer Programs

A Framework for Generalized Benders' Decomposition and Its Application to Multilevel Optimization

Deepest Cuts for Benders Decomposition

A Unified Analysis of Stochastic Optimization Methods Using Jump System Theory and Quadratic Constraints

On the Convergence of L-shaped Algorithms for Two-Stage Stochastic Programming

A computational study of cutting-plane methods for multi-stage stochastic integer programs

The Ancestral Benders’ cutting plane algorithm with multi-term disjunctions for mixed-integer recourse decisions in stochastic programming

Stochastic dual dynamic programming for multistage stochastic mixed-integer nonlinear optimization

A Stochastic Benders Decomposition Scheme for Large-Scale Stochastic Network Design

ADPBA: Efficiently Generating Lagrangian Cuts for Two-Stage Stochastic Integer Programs

Benders Decomposition for Bi-objective Linear Programs

Tighter Analysis of Alternating Stochastic Gradient Method for Stochastic Nested Problems

Accelerating L-shaped Two-stage Stochastic SCUC with Learning Integrated Benders Decomposition

A branch-and-Benders-cut algorithm for a bi-objective stochastic facility location problem

Lagrangian cuts generated by batch to efficiently solve two-stage stochastic mixed-integer program

Adaptive Multistage Stochastic Programming

Stabilized Benders decomposition for energy planning under climate uncertainty

Hybrid Quantum Benders' Decomposition For Mixed-integer Linear Programming

Integration of Scheduling and Dynamic Optimization of Batch Processes under Uncertainty: Two-Stage Stochastic Programming Approach and Enhanced Generalized Benders Decomposition Algorithm