Abstract
We study several ways of obtaining valid inequalities for mixed integer programs. We show how inequalities obtained from a disjunctive argument can be represented by superadditive functions and we show how the superadditive inequalities relate to Gomory's mixed integer cuts. We also show how all valid inequalities for mixed 0–1 programs can be generated recursively from a simple subclass of the disjunctive inequalities.
Similar content being viewed by others
References
E. Balas, “Disjunctive programming: Cutting planes from logical conditions,” in: O. L. Mangasarian et al., eds.,Nonlinear Programming, Vol. 2 (Academic Press, New York, 1975) pp. 279–312.
C.E. Blair, “Two rules for deriving valid inequalities for 0–1 problems,”SIAM Journal of Applied Mathematics 31 (1976) 614–617.
V. Chvátal, “Edmonds polytopes and a hierarchy of combinatorial problems,”Discrete Mathematics 4 (1973) 305–337.
W. Cook, R. Kannan and A. Schrijver, “Chvátal closures for mixed integer programming problems,” Report No. 86444-OR, Institute for Econometrics and Operations Research, Bonn University (Bonn, 1987).
R. E. Gomory, “An algorithm for integer solutions to linear programs,” in: R. Graves and P. Wolfe, eds.,Recent Advances in Mathematical Programming (McGraw-Hill, New York, 1963) pp 269–302.
R.G. Jeroslow, “Cutting plane theory: Disjunctive methods,”Annals of Discrete Mathematics 1 (1972) 293–330.
R.G. Jeroslow, “Cutting plane theory: Algebraic methods,”Discrete Mathematics 23 (1978) 121–150.
E.L. Johnson, “On the group problem for mixed integer programming,”Mathematical Programming Study 2 (1974) 137–179.
G.L. Nemhauser and L.A. Wolsey, “A recursive procedure for generating all cuts for 0–1 mixed integer programs,” CORE DP 8439, Université Catholique de Louvain, (Louvain-la-Neuve, 1984).
A. Schrijver, “On cutting planes,”Annals of Discrete Mathematics 9 (1980) 291–296.
Author information
Authors and Affiliations
Additional information
The research of this author was supported by NSF Contract No. ECS-8540898.
Rights and permissions
About this article
Cite this article
Nemhauser, G.L., Wolsey, L.A. A recursive procedure to generate all cuts for 0–1 mixed integer programs. Mathematical Programming 46, 379–390 (1990). https://doi.org/10.1007/BF01585752
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01585752