Abstract
This paper proposes a method of generating valid integer Benders cuts for a general class of integer programming problems. A generic valid Benders cut in disjunctive form is presented first, as a basis for the subsequent derivations of simple valid cuts. Under a qualification condition, a simple valid Benders cut in linear form can be identified. A cut generation problem is formulated to elicit it. The simple valid Benders cut is further generalized to a minimally relaxed Benders cut, based on which a complete Benders decomposition algorithm is given, and its finite convergency to optimality is proved. The proposed algorithm provides a way of applying the Benders decomposition strategy to solve integer programs. The computational results show that using the Benders algorithm for integer programs to exploit the problem structures can reduce the solving time more and more as the problem size increases.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Flippo, O.E., Rinnoy Can, A.H.G.: Decomposition in General Mathematical Programming. Math. Programming 60, 361–382 (1993)
Lasdon, L.S.: Optimization Theory for Large Systems. MacMillan, New York (1970)
Schimpf, J., Wallace, M.: Finding the Right Hybrid Algorithm: A Combinatorial Meta-Problem. Annals of Mathematics and Artificial Intelligence 34, 259–269 (2002)
Eremin, A., Wallace, M.: Hybrid Benders Decomposition Algorithms in Constraint Logic Programming. In: Walsh, T. (ed.) CP 2001. LNCS, vol. 2239, pp. 1–15. Springer, Heidelberg (2001)
Benders, J.F.: Partitioning Procedures for Solving Mixed-Variables Programming Problems. Numerische Mathematik 4, 238–252 (1962)
Geoffrion, A.M.: Generalised Benders Decomposition. Journal of Optimization Theory and Application 10, 237–260 (1972)
Jain, V., Grossmann, I.E.: Algorithms for Hybrid MILP/CP Models for a Class of Optimisation Problems. INFORMS Journal on Computing 13, 258–276 (2001)
Hooker, J.N., Ottosson, G.: Logic-Based Benders Decomposition. Math. Programming 96, 33–60 (2003)
Eremin, A.: Using Dual Values to Integrate Row and Column Generation into Constraint Logic Programming. PhD Thesis. Imperial College London (2003)
Xia, Q., Simonis, H., Chu, Y.: Generating Primary/Secondary Path by Benders Decomposition Technique. IC-Parc Internal report, Imperial College London (2003)
Imperial College London: ECLiPSe 5.6 User’s Manual (2003)
Dash Inc: Dash XPRESS 14.21 User’s Manual (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chu, Y., Xia, Q. (2004). Generating Benders Cuts for a General Class of Integer Programming Problems. In: Régin, JC., Rueher, M. (eds) Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems. CPAIOR 2004. Lecture Notes in Computer Science, vol 3011. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24664-0_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-24664-0_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21836-4
Online ISBN: 978-3-540-24664-0
eBook Packages: Springer Book Archive