# SCIP

Solving Constraint Integer Programs

benderscut_int.h File Reference

## Detailed Description

Generates a Laporte and Louveaux Benders' decomposition integer cut.

The classical Benders' decomposition algorithm is only applicable to problems with continuous second stage variables. Laporte and Louveaux (1993) developed a method for generating cuts when Benders' decomposition is applied to problem with discrete second stage variables. However, these cuts are only applicable when the master problem is a pure binary problem.

The integer optimality cuts are a point-wise underestimator of the optimal subproblem objective function value. Similar to benderscuts_opt.c, an auxiliary variable, $$\varphi$$. is required in the master problem as a lower bound on the optimal objective function value for the Benders' decomposition subproblem.

Consider the Benders' decomposition subproblem that takes the master problem solution $$\bar{x}$$ as input:

$z(\bar{x}) = \min\{d^{T}y : Ty \geq h - H\bar{x}, y \mbox{ integer}\}$

If the subproblem is feasible, and $$z(\bar{x}) > \varphi$$ (indicating that the current underestimators are not optimal) then the Benders' decomposition integer optimality cut can be generated from the optimal solution of the subproblem. Let $$S_{r}$$ be the set of indicies for master problem variables that are 1 in $$\bar{x}$$ and $$L$$ a known lowerbound on the subproblem objective function value.

The resulting cut is:

$\varphi \geq (z(\bar{x}) - L)(\sum_{i \in S_{r}}(x_{i} - 1) + \sum_{i \notin S_{r}}x_{i} + 1)$

Laporte, G. & Louveaux, F. V. The integer L-shaped method for stochastic integer programs with complete recourse Operations Research Letters, 1993, 13, 133-142

Definition in file benderscut_int.h.

#include "scip/def.h"
#include "scip/type_benders.h"
#include "scip/type_retcode.h"
#include "scip/type_scip.h"

Go to the source code of this file.

## Functions

SCIP_RETCODE SCIPincludeBenderscutInt (SCIP *scip, SCIP_BENDERS *benders)