Abstract
A novel approach to pure 0-1 integer programming problems called Resolution Search has been proposed by Chvatal (Discrete Applied Mathematics, vol. 73, pp. 81–99, 1997) as an alternative to implicit enumeration, with a demonstration that the method can yield more effective branching strategies. We show that an earlier method called Dynamic Branch-and-Bound (B&B) yields the same branching strategies as Resolution Search, and other strategic alternatives in addition. Moreover, Dynamic B&B is not restricted to pure 0-1 problems, but applies to general mixed integer programs containing both general integer and continuous variables.
We provide examples comparing Resolution Search to enhanced variants. We also show the relation of these approaches to Dynamic B&B, suggesting the value of further study of this neglected approach.
Similar content being viewed by others
References
V. Chvatal, “Resolution search,” Discrete Applied Mathematics, vol. 73, pp. 81–99, 1997.
F. Glover and M. Laguna, Tabu Search, Kluwer: Dordrecht, 1997.
F. Glover and L. Tangedahl, “Dynamic strategies for branch and bound,” Omega, vol. 4, pp. 571–576, 1976.
R.L. Graham, B.L. Rothschild, and J.H. Spencer, Ramsey Theory, 2nd edn., Wiley: New York, 1990.
B.L. van der Waerden, In Studies in Pure Mathematics (Presented to Richard Rado), Academic Press: London, 1971, pp. 251–260.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hanafi, S., Glover, F. Resolution Search and Dynamic Branch-and-Bound. Journal of Combinatorial Optimization 6, 401–423 (2002). https://doi.org/10.1023/A:1019573820792
Issue Date:
DOI: https://doi.org/10.1023/A:1019573820792