Documente Academic
Documente Profesional
Documente Cultură
1. [2 marks] Construct a small example of a pure integer program in two variables whose solution is
finite and well defined, but whose LP relaxation has an unbounded solution.
min y
s.t. 2x1 + . . . + 2xn + y = n,
x1 , . . . , xn ∈ {0, 1},
y ≥ 0,
where n is an odd natural number. Show that the number of nodes in LP based branch-and-bound
for this problem is at least 2n/2 regardless of how we pick a branching variable at each node. Can
we do better if we select a split disjunction for branching? Explain.