 |
| Subproblem 6 is fathomed by Test 2 because its LP-relaxation has no
feasible solutions. Subproblem 5 is fathomed by Test 2 because the optimal
solution for it's LP-relaxation (highlighted above) has integer values
for both integer variables.Furthermore, because its objective (7) exceeds
the current incumbent (6), this solution becomes the current incumbent. |
At this point, all the terminal nodes of the tree are fathomed, so
the solution tree is now complete. The optimal solution of the original
problem is the current incumbent, i.e., 
with  . |
| This concludes the demonstration. See the OR Tutor menu (to the left)
for other demonstrations or close the browser window to exit OR Tutor. |