Binary Integer Programming - Exploring the 0 Branch Previous Next
Since the above (highlighted) optimal solution for the LP-relaxation of the subproblem with  is integer, this subproblem is fathomed by Test 3 and this solution becomes the first incumbent. In the interactive routine in your IOR Tutorial, after having selected the node for this subproblem, you would check both the "Fathomed" and "Incumbent" boxes. This completes Iteration 2. To prepare for Iteration 3 you would select the one remaining (unfathomed) subproblem (by selecting the "x1 = 0" node).