# Finitely Convergent Decomposition Algorithms for Two-Stage Stochastic Pure Integer Programs

@article{Zhang2014FinitelyCD, title={Finitely Convergent Decomposition Algorithms for Two-Stage Stochastic Pure Integer Programs}, author={Minjiao Zhang and Simge K{\"u}ç{\"u}kyavuz}, journal={SIAM J. Optim.}, year={2014}, volume={24}, pages={1933-1951} }

We study a class of two-stage stochastic integer programs with general integer variables in both stages and finitely many realizations of the uncertain parameters. Based on Benders' method, we propose a decomposition algorithm that utilizes Gomory cuts in both stages. The Gomory cuts for the second-stage scenario subproblems are parameterized by the first-stage decision variables, i.e., they are valid for any feasible first-stage solutions. In addition, we propose an alternative implementation…

## Tables from this paper

## 48 Citations

A converging Benders’ decomposition algorithm for two-stage mixed-integer recourse models

- Computer Science
- 2021

The solution method is a Benders’ decomposition, in which it iteratively construct tighter approximations of the expected second-stage cost function using a new family of optimality cuts, derived by parametrically solving extended formulations of the second- stage problems using deterministic mixed-integer programming techniques.

A decomposition method for distributionally-robust two-stage stochastic mixed-integer conic programs

- BusinessMathematical Programming
- 2021

It is shown that the proposed algorithm is finitely convergent if the second-stage problems are solved to optimality at incumbent first stage solutions, and solution to an optimization problem to identify worst-case probability distribution is available.

A Finitely Convergent Cutting Plane, and a Bender's Decomposition Algorithm for Mixed-Integer Convex and Two-Stage Convex Programs using Cutting Planes

- Mathematics
- 2021

We consider a general mixed-integer convex program. We ﬁrst develop an algorithm for solving this problem, and show its ﬁnite convergence. We then develop a ﬁnitely convergent decomposition algorithm…

An Introduction to Two-Stage Stochastic Mixed-Integer Programming

- Computer Science
- 2017

This paper provides an introduction to algorithms for two-stage stochastic mixed-integer programs and provides computational evidence that decomposition methods can provide desirable theoretical properties as well as enhanced computational performance when compared to solving a deterministic equivalent formulation using an advanced commercial MIP solver.

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

- Computer ScienceMath. Program.
- 2017

A decomposition algorithm in which the first-stage approximation is solved by a branch-and-bound algorithm with its nodes inheriting Benders’ cuts that are valid for their ancestor nodes, and two closely related convexification schemes which use multi-term disjunctive cuts to obtain approximations of the second-stage mixed-integer programs.

Improving the Integer L-Shaped Method

- MathematicsINFORMS J. Comput.
- 2016

This work considers the integer L-shaped method for two-stage stochastic integer programs and presents a general framework to generate optimality cuts via a cut-generating linear program that considers information from all solutions found up to any given stage of the method.

A loose Benders decomposition algorithm for approximating two-stage mixed-integer recourse models

- Computer Science, MathematicsMath. Program.
- 2021

A new class of convex approximations for two-stage mixed-integer recourse models, the so-called generalized alpha-approximations are proposed, which are more suitable for efficient computations and outperforms existing methods in terms of computation time.

Tight Second Stage Formulations in Two-Stage Stochastic Mixed Integer Programs

- MathematicsSIAM J. Optim.
- 2018

It is shown that under suitable conditions, the second stage TSS-MIPs can be convexified by adding parametric cuts a priori, and this results allow us to relax the integrality restrictions on thesecond stage integer variables without effecting the integralities of the optimal solution of the TSS -MIP.

Inexact cutting planes for two-stage mixed-integer stochastic programs

- Mathematics
- 2018

We propose a novel way of applying cutting plane techniques to two-stage mixed-integer stochastic programs. Instead of using cutting planes that are always valid, our idea is to apply inexact cutting…

On Generating Lagrangian Cuts for Two-Stage Stochastic Integer Programs

- Computer ScienceINFORMS Journal on Computing
- 2022

Computer results demonstrate that the proposed method improves the Benders relaxation significantly faster than previous methods for generating Lagrangian cuts and, when used within a branch-and-cut algorithm, significantly reduces the size of the search tree for three classes of test problems.

## References

SHOWING 1-10 OF 39 REFERENCES

Decomposition algorithms with parametric Gomory cuts for two-stage stochastic integer programs

- Computer ScienceMath. Program.
- 2014

The proposed decomposition algorithms akin to the $$L$$-shaped or Benders’ methods are developed by utilizing Gomory cuts to obtain iteratively tighter approximations of the second-stage integer programs.

L-shaped decomposition of two-stage stochastic programs with integer recourse

- MathematicsMath. Program.
- 1998

The L-shaped method of stochastic linear programming is generalized to these problems by using generalized Benders decomposition and finite convergence of the method is established when Gomory’s fractional cutting plane algorithm or a branch-and-bound algorithm is applied.

A finite branch-and-bound algorithm for two-stage stochastic integer programs

- Computer ScienceMath. Program.
- 2004

The structure of the value function of the second-stage integer problem is exploited to develop a novel global optimization algorithm that avoids explicit enumeration of the search space while guaranteeing finite termination.

Two-stage integer programs with stochastic right-hand sides: a superadditive dual approach

- MathematicsMath. Program.
- 2006

It is shown that the method can solve randomly generated instances whose extensive forms are several orders of magnitude larger than the extensive forms of those instances found in the literature.

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

- MathematicsMath. Program.
- 2006

A decomposition-based branch-and-bound (DBAB) algorithm for solving two-stage stochastic programs having mixed-integer first- and second-stage variables that converges to a global optimal solution.

Solving stochastic programs with integer recourse by enumeration: A framework using Gröbner basis

- Computer Science, MathematicsMath. Program.
- 1998

It is proved that under mild conditions an optimal solution is contained in a finite set and a basic scheme to enumerate this set is presented and improvements are suggested to reduce the number of function evaluations needed.

Solving stochastic programs with integer recourse by enumeration: a framework using Gro¨bner basis reductions

- Computer Science, Mathematics
- 1998

It is proved that under mild conditions an optimal solution is contained in a finite set and a basic scheme to enumerate this set is presented and improvements are suggested to reduce the number of function evaluations needed.

Decomposition of test sets in stochastic integer programming

- MathematicsMath. Program.
- 2003

A finite algorithm to compute the building blocks directly, without prior knowledge of test set vectors is presented, which can be employed to solve the stochastic program by a simple augmentation scheme, again without explicit knowledge oftest set vectors.

The integer L-shaped method for stochastic integer programs with complete recourse

- Computer ScienceOper. Res. Lett.
- 1993

On the convergence of cutting plane algorithms for a class of nonconvex mathematical programs

- MathematicsMath. Program.
- 1985

A set of sufficient conditions which guarantee finite convergence are presented and a modification of cutting plane algorithms so as to make finite convergence more readily implementable is discussed.