Write for the undirected edge . At the root of the branch and bound search, the minimum spanning tree on is of cost . The cheapest edges incident to vertex one are , of cost . The root lower bound is therefore twenty, attained by
It is not a tour: vertex four has degree three and vertex three degree one.
A tour must omit at least one edge from , since its degree at vertex four is two. Partition tours according to the first omitted edge in that ordered list. This gives three disjoint, exhaustive children, retaining included and excluded edges when recomputing the one-tree relaxation:
All tours belong to one of the three children, and no remaining child can improve the incumbent. Therefore
The branching rule is motivated by a violated tour degree equation, rather than by an arbitrary costly edge. This is degree branching with a one-tree bound.

Articles by others on the same topic (0)

There are currently no matching articles.