Branch and Cut
Branch and Cut
Fathom by Integrality
Fathom by
Bounds
Lifting
• Notice that the cutting plane introduced in the second
subproblem is not valid for the first subproblem.
• This inequality can be modified to make it valid for the first
subproblem by using a lifting technique.
Solving the Relaxations
• The relaxations can be solved using any method for linear
programming problems.
• Typically, the initial relaxation is solved using the simplex method.
• Subsequent relaxations are solved using the dual simplex method,
since the dual solution for the relaxation of the parent subproblem
is still feasible in the relaxation of the child subproblem.
• Further, when cutting planes are added in Step 4, the current
iterate is still dual feasible, so again the modified relaxation can be
solved using the dual simplex method.
Generating Cutting Planes
• Many IOPs have structures that can be exploited to generate
problem-specific cuts
• For example, the subtour elimination constraints are valid constraints
for the traveling salesman problem (TSP)
Perfect Formulation
It is well known that the general class of minimum cost flow problems and a variety of its
special cases have “perfect formulation”, e.g., the transportation problem, assignment
problem, shortest path problem, maximum flow problem, etc.
Valid Inequalities
If the perfect formulation of an IOP is not known, then we can try to
approximate it by generating cutting planes (also known as valid inequalities)
X = {(x, y) : x ≤ 999y; 0 ≤ x ≤ 5, y ∈ B }
The constraint
x ≤ 5y
∗ 25 23
Thus an optimal solution to the LP relaxation is 𝑥𝑥𝐿𝐿𝐿𝐿 = ( , ).
14 7
Graph of the LP Relaxation
The Constraints in the Final Tableau
Logical Arguments: Three Steps
• Turn the fractional numbers into non-negative coefficients
• Separate the integer and fractional terms of summation on both side
of the equations:
- The fractional term on the LHS must be no less the fractional part on
the RHS
- But the current solution to the LP relaxation violates the above
constraint, because the non-basic variables are zero
- The above two facts has yielded the Gomory cut
Gomory Cutting Planes
An Example
𝑛𝑛
𝑥𝑥5
In-Class Exercise 2
Consider the binary knapsack constraint:
18x1 + 3x2 + 20x3 + 17x4 + 6x5 + 10x6 + 5x7 + 12x8 … 25
x1, …, x8 = 0 or 1
Identify 5 minimal cover inequalities valid for this knapsack
polytope, including the one involving the last 3 variables.
HW-6 Problem 1
Consider an integer program with the following optimal tableau of the
is LP relaxation: