En Sample ExamQuestions2
En Sample ExamQuestions2
The following figure represents branch-and-bound tree obtained during the solution of a
minimization problem where the variables are all binary. Recall that the subproblems
obtained from a problem given by branching to a fractional variable are called child
nodes and that the problem which gave rise to them is referred to as parent node.
The numbers in the vertices identify the subproblem to which that node corresponds and
indicate the order in which the subproblems were solved. Vertex 0 indicates the root
node. The values appearing next to the vertices indicate the optimal value of the objective
function of the linear relaxation of the corresponding subproblem.
The linear relaxation associated with the subproblem 4 has just been solved and the
optimal solution obtained is the first integer solution found since the start of the solution.
Nodes a, b, c, and d have not yet been processed.
Question 1: If the value of the objective function corresponding to the integer solution
found at node 4 is 123, indicate which subproblems could be eliminated (based on the
bound associated with their parent nodes).
Question 2: Once node 4 has been processed, determine what is the best bound on the
value of the objective function of the optimal solution of the integer problem that is
available at this time.
Question 3: At this point in the solution, calculate what would be the maximum absolute
error if one decided to stop after getting the integer solution at node 4.
1
Answer 2: Since node d is not still explored, the best bound on the right branch of the
root node is 118. Similarly, node a is not explored yet, therefore the best bound on the
left branch is 120. Therefore, the best bound is at the moment 118.
Answer 3: When the solution process is terminated after node 4 is explored and an
integer-feasible solution with an objective function value of 123 is obtained, then the
maximum absolute error is best integer – best bound = 123-118 = 5 and the maximum
118 = 4.2%.
relative error is 5/128
Question 1: Solve this problem by the branch-and-bound (BB) algorithm using the
breadth-
depth-first search strategy and branching on the most fractional variable.
Solve the subproblems of your BB tree graphically using the figure provided on the next
page (considering that the horizontal axis represents the values of x1 and the vertical axis
those of x2). Report the solutions of the subproblems on a BB tree.
2
Question 2 Provide a valid inequality for this problem.
3
Answer 1:
P0
P1 P2
P3 P4 P5 P6
P7 P8
Answer 2: The cutting plane (the valid inequality) should remove the optimal objective
function value of the linear programming relaxation. Below are 3 such valid inequality
examples:
𝑥𝑥1 + 𝑥𝑥2 ≤ 3 (2nd constraint is 2𝑥𝑥1 + 2𝑥𝑥2 ≤ 7 ⟺ 𝑥𝑥1 + 𝑥𝑥2 ≤ 3.5 ⟺ 𝑥𝑥1 + 𝑥𝑥2 ≤ 3)
4
PROBLEM 3 : (20 points)
The following figure represents the BB tree summarizing the solution of a minimization
problem where the variables are binary. "Branch-and-cut" method is used as the solution
algorithm. The solutions obtained by solving the continuous relaxations of each problem
as well as the value of the corresponding objective function are indicated to the right of
the node representing this problem.
Briefly describe the flow of the algorithm schematized by this tree by explaining how and
why nodes were "branched", the valid inequalities, when integer solutions were found,
and which solution was declared optimal (We assume that all the added inequalities are
valid for the starting problem).
Answer: The LP relaxation in the root node is solved and a fractional solution is obtained
with an objective function value of 50. In the second stage, a valid inequality is identified
that removes the previous LP relaxation solution. Appending x2 + 2x3 ≥ 2 to the model
strengthened the formulation and the LP relaxation objective function value is improved
to 57. The same process is repeated as the third stage and a new inequality is added to
improve the objective function value to 58. At this stage, we branch on a fractional
variable x1. The left branch enforces x1=1 and the right branch enforces x1 = 0. Solving
the left branch, we obtain an integer feasible solution with an objective function value of
63, which is the first integer feasible solution encountered in the search tree and it
5
provided an upper bound (since the model is a minimization). This branch is pruned by
integrality. The LP relaxation on the right branch is then solved and a fractional solution
with an objective function value of 61 is obtained. A new valid inequality is identified as
the next step at node 5 to remove the previous optimal solution to the LP relaxation and
upper bound at hand, which is 63 and
bound is improved to 65. This exceeded the best lower
therefore we prune this branch by bound. Since all unexplored nodes are explored, the
algorithm terminates with an optimal objective function value of 63 and optimal solution
is (1, 0, 1).