Benders Decomposition
Benders Decomposition Method · Also known as: cutting plane method, constraint generation
Benders Decomposition, introduced by Jacques F. Benders in 1962, is a powerful algorithmic framework for solving large-scale mixed-integer programming (MIP) problems. It decomposes the problem into a master problem (controlling complicating variables) and subproblems (handling remaining variables), using cutting planes generated from subproblem dual information to iteratively tighten the master problem.
Read the full method
Sign in with a free account to read this section.
Method map
The neighbourhood of related methods — select a node to explore.
When to use it
Apply Benders Decomposition to large-scale mixed-integer programming problems, particularly those with special structure (staircase, block-angular) exploitable by decomposition. It is especially effective for problems where direct solution methods are computationally prohibitive. Use it for facility location, production planning, and network design problems. For small problems or those without special structure, direct MIP solvers may be more efficient.
Strengths & limitations
- Effectively solves large-scale mixed-integer programs that are intractable by standard methods
- Naturally exploits problem structure with block-angular or staircase form
- Provides both lower and upper bounds, enabling quality guarantees before convergence
- Decomposition allows parallel solving of independent subproblems
- Generalized Benders handles nonlinear subproblems, broadening applicability
- Requires problem structure amenable to decomposition; may be inefficient on fully general problems
- Cut generation can create many constraints, potentially slowing master problem resolution
- Convergence can be slow, requiring many iterations with tight tolerance
- Implementation complexity greater than direct solution methods
- Numerical stability issues possible with cut coefficients
Frequently asked
What are complicating variables and how do you identify them?
Complicating variables are those whose values, when fixed, make the remaining problem easy to solve. They are identified by examining problem structure: variables appearing in constraints coupling otherwise independent subproblems, or discrete variables in otherwise continuous problems, are common candidates.
What is the difference between feasibility cuts and optimality cuts?
Feasibility cuts are generated when a subproblem is infeasible, eliminating the infeasible values of complicating variables from the master. Optimality cuts incorporate dual information from feasible subproblems to improve the master's objective estimates.
How does Benders Decomposition guarantee convergence?
Feasibility and optimality cuts ensure that the master problem relaxation provides valid lower bounds. Upper bounds come from feasible solutions to the full problem. When bounds converge within tolerance, optimality is guaranteed. Convergence is finite for bounded integer problems.
When is Benders preferable to solving the problem directly with a MIP solver?
Benders is preferable when the problem is large, has special structure exploitable by decomposition, or direct solvers time out. For small problems or those lacking structure, modern MIP solvers are often faster and simpler.
Sources
- Benders, J. F. (1962). Partitioning procedures for solving mixed-variables programming problems. Numerische Mathematik, 4(1), 238-252. DOI: 10.1007/BF01386316 ↗
- Geoffrion, A. M. (1972). Generalized Benders decomposition. Journal of Optimization Theory and Applications, 10(4), 237-260. DOI: 10.1007/BF00934810 ↗
How to cite this page
ScholarGate. (2026, June 3). Benders Decomposition Method. ScholarGate. https://scholargate.app/en/operations-research/benders-decomposition
Which method?
Set this method beside its closest kin and read them side by side — the library lays the books on the table; the choice is yours.
- Augmented Lagrangian MethodOperations Research↔ compare
- Column Generation (Dantzig-Wolfe)Operations Research↔ compare
- Simplex MethodOperations Research↔ compare