Use the minimization form in this part. Treat every diagonal arc as forbidden, not as a zero-cost loop. The assignment relaxation of the travelling salesman problem requires one incoming and one outgoing arc at each city but permits several disjoint directed cycles. Its optimum is a lower bound on the tour optimum.
At the root choose
For every allowed arc, . Their total is seven. The assignment
uses only tight arcs and has cost . The minimization certificate from part (c) therefore proves
It is not a tour, because it has a three-cycle and a two-cycle.
Branch on the two-cycle. Every five-city tour omits at least one of and , so the children and cover every possible tour. They may overlap, which does not invalidate the bounds.
For the child , use
These satisfy on every allowed arc of that child and sum to ten. The tour
has cost and uses tight arcs, certifying that the child assignment bound is exactly ten.
For the child , interchange the roles of cities three and four in those potentials. Its lower bound is again ten, attained by
with cost . Thus both first-level assignment optima are already tours.
There is a useful direct interpretation of the improved bound. Split the cities into and . A forbidden arc of the two-cycle forces an assignment arc from to , and balance forces at least one from to . Relative to the root potentials, each crossing arc has reduced cost , so any child assignment costs at least .
The first branching therefore completes the search: each child's lower bound equals a feasible tour value. Hence
Figure 1.
The root cycle cover and the two tours that certify the first branching bounds
. Original directed-cycle diagrams. The root assignment consists of the 1-2-5 cycle and the 3-4 cycle and has cost seven. Forbidding either orientation of the latter cycle gives a child assignment bound of ten, attained by a five-city tour. Details.
Write for the partial assignment problem solution sending person to job . The prescribed assignment lower bound from independent task minima is
Every completion must pay at least the minimum in each remaining column, so this is a valid lower bound, even if the minima use the same person several times. At , the one remaining job must go to person 4, and the bound is the exact completed cost.
Use branch and bound with the smallest open bound expanded first. The initial bounds are
For example, . Expand , giving
Expand . Its children are with bound 64 and with bound 65. Completing the first gives at cost 64, our first incumbent. The second cannot improve it. We may also discard , , and , since their lower bounds are at least 64; equality may be pruned when seeking one optimum.
The remaining open prefix is , whose children have bounds
Only can improve the incumbent. Its children and have exact completed costs 69 and 61, respectively. The latter completes to and replaces the incumbent. Every other branch has already been bounded above this value. Thus the optimal assignment is
This branch and bound computation produces fourteen partial nodes: four initial nodes, three below , two below , three below and two below . The last person is assigned automatically at a depth-three node.
For the travelling salesman problem, let mean that the tour goes directly from city to city . Retain only the constraints
This is an assignment problem between cities as departure points and cities as arrival points, solvable by the Hungarian algorithm. Its optimum is a cycle cover of a directed graph, possibly with several disjoint cycles. Since every tour is such a cover, its cost is a lower bound on the best tour cost. This is the assignment relaxation of the travelling salesman problem.
If the minimizing cover is a single Hamiltonian cycle, it supplies a tour and can update the incumbent. Otherwise choose one proper subtour . No tour can contain all edges of , since that would close a cycle before visiting the remaining cities. Make one child subproblem for each edge of , forbidding that edge, and solve its modified assignment problem. These branches may overlap but together retain every possible tour. Prune a child if it is infeasible or its assignment bound is at least the incumbent cost. Further subtours cause further branching. Each branch adds a new forbidden edge, so the search is finite, and the covering property plus the valid lower bounds proves optimality when no open branch remains. This enforces the effect of subtour elimination constraints through branch and bound.