Branch and Cut

In many applications, the bounding operation is accomplished using the tools of linear programming (LP), a technique first described in full generality by Hoffman and Padberg [20]. This general class of algorithms is known as LP-based branch and bound. Typically, the integrality constraints of an integer programming formulation of the problem are relaxed to obtain a LP relaxation, which is then solved to obtain a lower bound for the problem. In [29], Padberg and Rinaldi improved on this basic idea by describing a method of using globally valid inequalities (i.e., inequalities valid for the convex hull of integer solutions) to strengthen the LP relaxation. They called this technique branch and cut. Since then, many implementations (including ours) have been fashioned around the framework they described for solving the Traveling Salesman Problem.

Figure 4.1: Bounding in the branch and cut algorithm
\framebox[6.5in]{
\begin{minipage}{6.0in}
\vskip .1in
{\rm
{\bf Bounding Operati...
...{\cal C} \leftarrow {\cal C} \cup {\cal
C'}$ and go to Step 2.}
\end{minipage}}
As an example, let a combinatorial optimization problem \bgroup\color{Brown}$ \hbox{\em CP} =
(E, {\cal F})$\egroup with ground set \bgroup\color{Brown}$ E$\egroup and feasible set \bgroup\color{Brown}$ {\cal F}
\subseteq 2^E$\egroup be given along with a cost function \bgroup\color{Brown}$ c \in {\bf R}^E$\egroup . The incidence vectors corresponding to the members of \bgroup\color{Brown}$ {\cal F}$\egroup are sometimes specified as the the set of all incidence vectors obeying a (relatively) small set of inequalities. These inequalities are typically the ones used in the initial LP relaxation. Now let \bgroup\color{Brown}$ {\cal
P}$\egroup be the convex hull of incidence vectors of members of \bgroup\color{Brown}$ {\cal F}$\egroup . Then we know by Weyl's Theorem (see [28]) that there exists a finite set \bgroup\color{Brown}$ {\cal L}$\egroup of inequalities valid for \bgroup\color{Brown}$ {\cal
P}$\egroup such that

$\displaystyle {\cal P} = \{x \in {\bf R}^n: ax \leq \beta\;\;\forall\;(a, \beta) \in {\cal L}\}.$ (4.1)

The inequalities in \bgroup\color{Brown}$ {\cal L}$\egroup are the potential cutting planes to be added to the relaxation as needed. Unfortunately, it is usually difficult, if not impossible, to enumerate all of inequalities in \bgroup\color{Brown}$ {\cal L}$\egroup or we could simply solve the problem using linear programming. Instead, they are defined implicitly and we use separation algorithms and heuristics to generate these inequalities when they are violated. In Figure 4.1, we describe more precisely how the bounding operation is carried out in branch and cut.
Figure 4.2: Branching in the branch and cut algorithm
\framebox[6.5in]{
\begin{minipage}{6.0in}
\vskip .1in
{\rm
{\bf Branching Operat...
...l L'}$ is the set of inequalities used to describe ${\cal S}$.}
\end{minipage}}

Once we have failed to either prune the current subproblem or separate the current fractional solution from \bgroup\color{Brown}$ {\cal
P}$\egroup , we are forced to branch. The branching operation is accomplished by specifying a set of hyperplanes which divide the current subproblem in such a way that the current solution is not feasible for the LP relaxation of any of the new subproblems. For example, in a combinatorial optimization problem, branching could be accomplished simply by fixing a variable whose current value is fractional to 0 in one branch and 1 in the other. The procedure is described more formally in Figure 4.2. Figure 4.3 gives a high level description of the generic branch and cut algorithm.

Figure 4.3: Description of the generic branch and cut algorithm
\framebox[6.5in]{
\begin{minipage}{6.0in}
\vskip .1in
{\rm
{\bf Generic Branch a...
... Add the set of
subproblems generated to $A$ and go to Step 3.}
\end{minipage}}

In the remainder of the manual, we often use the term search tree. This term derives from the common representation of the list of subproblems as the nodes of a graph in which each subproblem is connected only to its parent and its children. Storing the subproblems in such a form is an important aspect of our global data structures. Since the subproblems correspond to the nodes of this graph, they are sometimes be referred to as nodes in the search tree or simply as nodes. The root node or root of the tree is the node representing the initial subproblem.

Ted Ralphs
2007-12-21