Branch-and-cut Algorithms for Integer Programming, Branch-and-cut

Branch-and-cut methods are exact algorithms for integer programming problems. They consist of a combination of a cutting plane method with a branch-and-bound algorithm. These methods work by solving a sequence of linear programming relaxations of the integer programming problem. Cutting plane methods improve the relaxation of the problem to more closely approximate the integer programming problem, and branch-and-bound algorithms proceed by a sophisticated divide and conquer approach to solve problems. The material in this entry builds on the material contained in the entries on cutting plane and branch-and-bound methods. Perhaps the best known branch-and-cut algorithms are those that have been used to solve traveling salesman problems. This approach is able to solve and prove optimality of far larger instances than other methods. Two papers that describe some of this research and also serve as good introductions to the area of branch-and-cut algorithms are [21, 32]. A more recent work on the branch-and-cut approach to the traveling salesman problem is [1]. Branch-and-cut methods have also been used to solve other combina-torial optimization problems; recent references include [8, 10, 13, 23, 24, 26]. For these problems, the cutting planes are typically derived from studies of the polyhedral combinatorics of the corresponding integer program. This enables the addition of strong cutting planes (usually facet defining inequalities), which make it possible to considerably reduce the size of the branch-and-bound tree. Far more detail about these strong cutting planes can be found elsewhere in this encyclopedia , for example in the entry on cutting plane methods for integer programming. Branch-and-cut methods for general integer programming problems are also of great interest It is usually not possible to efficiently solve a general integer programming problem using just a cutting plane approach, and it is therefore necessary to also to branch, resulting in a branch-and-cut approach. A pure branch-and-bound approach can be sped up considerably by the employment of a cutting plane scheme, either just at the top of the tree, or at every node of the tree. For general problems, the specialized facets used when solving a specific combinatorial optimization problem are not available. Some useful families of general inequalities have been developed; these include cuts based on knap-and Fenchel cutting planes [9]. All of these families of cutting planes are discussed in more detail later in this entry. The software packages MINTO [30] and ABACUS [28] implement branch-and-cut algorithms to solve integer programming problems. The …

[1]  M. D. Wilkinson,et al.  Management science , 1989, British Dental Journal.

[2]  Ellis L. Johnson,et al.  Solving Large-Scale Zero-One Linear Programming Problems , 1983, Oper. Res..

[3]  William J. Cook,et al.  Parallel Mixed Integer Programming , 1995 .

[4]  E. Andrew Boyd,et al.  Fenchel Cutting Planes for Integer Programs , 1994, Oper. Res..

[5]  Laurence A. Wolsey,et al.  Integer and Combinatorial Optimization , 1988 .

[6]  Giovanni Rinaldi,et al.  A branch-and-cut algorithm for the equicut problem , 1997, Math. Program..

[7]  David Applegate,et al.  Finding Cuts in the TSP (A preliminary report) , 1995 .

[8]  Giovanni Rinaldi,et al.  A Branch-and-Cut Algorithm for the Resolution of Large-Scale Symmetric Traveling Salesman Problems , 1991, SIAM Rev..

[9]  Laurence A. Wolsey,et al.  Cutting planes for integer programs with general integer variables , 1998, Math. Program..

[10]  M. Padberg,et al.  Solving airline crew scheduling problems by branch-and-cut , 1993 .

[11]  Egon Balas,et al.  A lift-and-project cutting plane algorithm for mixed 0–1 programs , 1993, Math. Program..

[12]  Egon Balas,et al.  Gomory cuts revisited , 1996, Oper. Res. Lett..

[13]  Milind Dawande,et al.  Combining and Strengthening Gomory Cuts , 1995, IPCO.

[14]  Michael Jünger,et al.  A branch-and-cut approach to physical mapping with end-probes , 1997, RECOMB '97.

[15]  Alexander Schrijver,et al.  Cones of Matrices and Set-Functions and 0-1 Optimization , 1991, SIAM J. Optim..

[16]  Eva K. Lee,et al.  Solving a Truck Dispatching Scheduling Problem Using Branch-and-Cut , 1998, Oper. Res..

[17]  Jonathan Eckstein,et al.  How Much Communication Does Parallel Branch and Bound Need? , 1997, INFORMS J. Comput..

[18]  Vasek Chvátal,et al.  Edmonds polytopes and a hierarchy of combinatorial problems , 1973, Discret. Math..

[19]  Ralph E. Gomory,et al.  An algorithm for integer solutions to linear programs , 1958 .

[20]  V. Kaibel,et al.  Angewandte Mathematik Und Informatik Universit at Zu K Oln a Basic Study of the Qap-polytope , 1996 .

[21]  Martin W. P. Savelsbergh,et al.  An Updated Mixed Integer Programming Library: MIPLIB 3.0 , 1998 .

[22]  Martin Grötschel,et al.  Solution of large-scale symmetric travelling salesman problems , 1991, Math. Program..

[23]  Laurence A. Wolsey,et al.  bc–opt: a branch-and-cut code for mixed integer programs , 1999, Math. Program..

[24]  Egon Balas,et al.  Intersection Cuts - A New Type of Cutting Planes for Integer Programming , 1971, Oper. Res..

[25]  Warren P. Adams,et al.  A hierarchy of relaxation between the continuous and convex hull representations , 1990 .

[26]  Michael Jünger,et al.  Solving large-scale traveling salesman problems with parallel Branch-and-Cut , 1995 .

[27]  M. Jünger,et al.  The design of the branch and cut system ABACUS , 1997 .

[28]  Manfred W. Padberg,et al.  Improving LP-Representations of Zero-One Linear Programs for Branch-and-Cut , 1991, INFORMS J. Comput..