Branch and cut

<h2 id="algorithm">Algorithm</h2>
<p>This description assumes the ILP is a maximization problem.
</p><p>The method solves the <a href="/facts/Linear_programming_relaxation/s26bWxAr">linear program without the integer constraint</a> using the regular <a href="/facts/Simplex_algorithm/9fndF6cq">simplex algorithm</a>. When an optimal solution is obtained, and this solution has a non-integer value for a variable that is supposed to be integer, a <a href="/facts/Cutting-plane_method/8V7TTfhx">cutting plane algorithm</a> may be used to find further linear constraints which are satisfied by all <a href="/facts/Feasible_solution/cJUKNCmM">feasible</a> integer points but violated by the current fractional solution. These inequalities may be added to the linear program, such that resolving it will yield a different solution which is hopefully "less fractional".
</p><p>At this point, the <a href="/facts/Branch_and_bound/mhALtav7">branch and bound</a> part of the algorithm is started. The problem is split into multiple (usually two) versions. The new linear programs are then solved using the simplex method and the process repeats.  During the branch and bound process, non-integral solutions to LP relaxations serve as upper bounds and integral solutions serve as lower bounds.  A node can be <a href="/facts/Search_tree_pruning/6qouQTdV">pruned</a> if an upper bound is lower than an existing lower bound.  Further, when solving the LP relaxations, additional cutting planes may be generated, which may be either <i>global cuts</i>, i.e., valid for all feasible integer solutions, or <i>local cuts</i>, meaning that they are satisfied by all solutions fulfilling the side constraints from the currently considered branch and bound subtree.
</p><p>The algorithm is summarized below.
</p>
<ol><li>Add the initial ILP to 
  
    
      
        L
      
    
    {\displaystyle L}
  
, the list of active problems</li>
<li>Set 
  
    
      
        
          x
          
            ∗
          
        
        =
        
          null
        
      
    
    {\displaystyle x^{*}={\text{null}}}
  
 and 
  
    
      
        
          v
          
            ∗
          
        
        =
        −
        ∞
      
    
    {\displaystyle v^{*}=-\infty }
  
</li>
<li><a href="/facts/While_loop/hLrKdAFo"><i>while</i></a> 
  
    
      
        L
      
    
    {\displaystyle L}
  
 is not empty
<ol><li>Select and remove (de-queue) a problem from 
  
    
      
        L
      
    
    {\displaystyle L}
  
</li>
<li>Solve the LP relaxation of the problem.</li>
<li>If the solution is infeasible, go back to 3 (while).  Otherwise denote the solution by 
  
    
      
        x
      
    
    {\displaystyle x}
  
 with objective value 
  
    
      
        v
      
    
    {\displaystyle v}
  
.</li>
<li>If 
  
    
      
        v
        ≤
        
          v
          
            ∗
          
        
      
    
    {\displaystyle v\leq v^{*}}
  
, go back to 3.</li>
<li>If 
  
    
      
        x
      
    
    {\displaystyle x}
  
 is integer, set 
  
    
      
        
          v
          
            ∗
          
        
        ←
        v
        ,
        
          x
          
            ∗
          
        
        ←
        x
      
    
    {\displaystyle v^{*}\leftarrow v,x^{*}\leftarrow x}
  
 and go back to 3.</li>
<li>If desired, search for cutting planes that are violated by 
  
    
      
        x
      
    
    {\displaystyle x}
  
.  If any are found, add them to the LP relaxation and return to 3.2.</li>
<li>Branch to partition the problem into new problems with restricted feasible regions.  Add these problem to 
  
    
      
        L
      
    
    {\displaystyle L}
  
 and go back to 3</li></ol></li>
<li>return 
  
    
      
        
          x
          
            ∗
          
        
      
    
    {\displaystyle x^{*}}
  
</li></ol>
<h3>Pseudocode</h3>
<p>In <a href="/facts/C%2B%2B/Et0F2qn9">C++</a>-like <a href="/facts/Pseudocode/XgN19duK">pseudocode</a>, this could be written:
</p>
// ILP branch and cut solution pseudocode, assuming objective is to be maximized
ILP_solution branch_and_cut_ILP(IntegerLinearProgram initial_problem) {
    queue active_list; // L, above
    active_list.enqueue(initial_problem); // step 1
    // step 2
    ILP_solution optimal_solution; // this will hold x* above
    double best_objective = -std::numeric_limits<double>::infinity; // will hold v* above
    while (!active_list.empty()) { // step 3 above
        LinearProgram& curr_prob = active_list.dequeue(); // step 3.1
        do { // steps 3.2-3.7
            RelaxedLinearProgram& relaxed_prob = LP_relax(curr_prob); // step 3.2
            LP_solution curr_relaxed_soln = LP_solve(relaxed_prob); // this is x above
            bool cutting_planes_found = false;
            if (!curr_relaxed_soln.is_feasible()) { // step 3.3
                continue; // try another solution; continues at step 3
            }
            double current_objective_value = curr_relaxed_soln.value(); // v above
            if (current_objective_value <= best_objective) { // step 3.4
                continue; // try another solution; continues at step 3
            }
            if (curr_relaxed_soln.is_integer()) { // step 3.5
                best_objective = current_objective_value;
                optimal_solution = cast_as_ILP_solution(curr_relaxed_soln);
                continue; // continues at step 3
            }
            // current relaxed solution isn't integral
            if (hunting_for_cutting_planes) { // step 3.6
                violated_cutting_planes = search_for_violated_cutting_planes(curr_relaxed_soln);
                if (!violated_cutting_planes.empty()) { // step 3.6
                    cutting_planes_found = true; // will continue at step 3.2
                    for (auto&& cutting_plane : violated_cutting_planes) {
                        active_list.enqueue(LP_relax(curr_prob, cutting_plane));
                    }
                    continue; // continues at step 3.2
                }
            }
            // step 3.7: either violated cutting planes not found, or we weren't looking for them
            auto&& branched_problems = branch_partition(curr_prob);
            for (auto&& branch : branched_problems) {
                active_list.enqueue(branch);
            }
            continue; // continues at step 3
        } while (hunting_for_cutting_planes /* parameter of the algorithm; see 3.6 */
               && cutting_planes_found);
        // end step 3.2 do-while loop
    } // end step 3 while loop
    return optimal_solution; // step 4
}

<p>In the above pseudocode, the functions LP_relax, LP_solve and branch_partition called as subroutines must be provided as applicable to the problem. For example, LP_solve could call the <a href="/facts/Revised_simplex_algorithm/kQltqbla">simplex algorithm</a>.  Branching strategies for branch_partition are discussed below.
</p>
<h2 id="branching-strategies">Branching strategies</h2>
<p>An important step in the branch and cut algorithm is the branching step.  At this step, there are a variety of branching heuristics that can be used.  The branching strategies described below all involve what is called branching on a variable.<a class="footnote-ref" id="fnref:3" href="#fn:3"><sup>3</sup></a>  Branching on a variable involves choosing a variable, 
  
    
      
        
          x
          
            i
          
        
      
    
    {\displaystyle x_{i}}
  
, with a fractional value, 
  
    
      
        
          x
          
            i
          
          ′
        
      
    
    {\displaystyle x_{i}'}
  
, in the optimal solution to the current LP relaxation and then adding the constraints 
  
    
      
        
          x
          
            i
          
        
        ≤
        
          ⌊
          
            x
            
              i
            
            ′
          
          ⌋
        
      
    
    {\displaystyle x_{i}\leq \left\lfloor x_{i}'\right\rfloor }
  
 and 
  
    
      
        
          x
          
            i
          
        
        ≥
        
          ⌈
          
            x
            
              i
            
            ′
          
          ⌉
        
      
    
    {\displaystyle x_{i}\geq \left\lceil x_{i}'\right\rceil }

</p>
Most infeasible branching
This branching strategy chooses the variable with the fractional part closest to 0.5.
Pseudo cost branching
The basic idea of this strategy is to keep track for each variable 
  
    
      
        
          x
          
            i
          
        
      
    
    {\displaystyle x_{i}}
  
 the change in the objective function when this variable was previously chosen as the variable to branch on.  The strategy then chooses the variable that is predicted to have the most change on the objective function based on past changes when it was chosen as the branching variable.  Note that pseudo cost branching is initially uninformative in the search since few variables have been branched on.
Strong branching
Strong branching involves testing which of the candidate variable gives the best improvement to the objective function before actually branching on them.  Full strong branching tests all candidate variables and can be computationally expensive.  The computational cost can be reduced by only considering a subset of the candidate variables and not solving each of the corresponding LP relaxations to completion.
<p>There are also a large number of variations of these branching strategies, such as using strong branching early on when pseudo cost branching is relatively uninformative and then switching to pseudo cost branching later when there is enough branching history for pseudo cost to be informative.
</p>

<h2 id="external-links">External links</h2>
<ul><li><a href="https://web.archive.org/web/20050901073653/http://www.cs.sandia.gov/opt/survey/mip.html">Mixed Integer Programming</a></li>
<li><a href="http://scip.zib.de">SCIP</a>: framework for branch-cut-and-price and a mixed integer programming solver</li>
<li><a href="https://software.cs.uni-koeln.de/abacus/">ABACUS – A Branch-And-CUt System</a> – open source software</li>
<li><a href="https://github.com/coin-or/Cbc">COIN-OR Cbc</a> – open source software on <a href="/facts/GitHub/n1hNCsc3">GitHub</a></li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1"><p>Padberg, Manfred; Rinaldi, Giovanni (1991). "A Branch-and-Cut Algorithm for the Resolution of Large-Scale Symmetric Traveling Salesman Problems". SIAM Review. 33 (1): 60–100. doi:10.1137/1033004. ISSN 0036-1445. <a href="/wiki/Doi_(identifier)" target="_blank">/wiki/Doi_(identifier)</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li>
<li id="fn:2"><p>John E., Mitchell (2002). "Branch-and-Cut Algorithms for Combinatorial Optimization Problems" (PDF). Handbook of Applied Optimization: 65–77. <a href="http://eaton.math.rpi.edu/faculty/Mitchell/papers/bc_hao.pdf" target="_blank">http://eaton.math.rpi.edu/faculty/Mitchell/papers/bc_hao.pdf</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li>
<li id="fn:3"><p>Achterberg, Tobias; Koch, Thorsten; Martin, Alexander (2005). "Branching rules revisited". Operations Research Letters. 33 (1): 42–54. doi:10.1016/j.orl.2004.04.002. <a href="/wiki/Doi_(identifier)" target="_blank">/wiki/Doi_(identifier)</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li>
</ol>

Branch and cut open-in-new

Branch and cut