The assignment constraint matrix has one row for each outgoing sum and one for each incoming sum. The column for has a one in outgoing row and incoming row . Negate all incoming rows. Each column now has exactly one and one , the node-arc incidence matrix of the directed bipartite graph from row vertices to column vertices.
Here is a direct proof that this signed matrix is totally unimodular. Consider any square submatrix and induct on its size. If a column has no nonzero entry, its determinant is zero. If a column has one nonzero entry, expansion along it reduces the determinant to plus or minus a smaller subdeterminant, hence to or . If every column has two nonzero entries, they have opposite signs, so each column sum is zero. The rows are then dependent and the determinant is zero. The size-one case is immediate, completing the induction.
Negating rows only changes signs of square subdeterminants. Thus the original assignment matrix is also a totally unimodular matrix. This proves the total unimodularity of directed incidence matrices argument directly in the required setting.
The integrality theorem for totally unimodular systems says that has integral vertices when is totally unimodular and is integral. Redundant equalities cause no problem. Here the row sums also force , so every integral feasible vertex is a binary assignment. The bounded nonempty LP relaxation has an optimal vertex, and therefore an optimal assignment. Hence the assignment problem can be solved by linear programming without a binary search; dedicated methods such as the Hungarian algorithm also exploit its polynomial-time structure. Multiple optimal assignments can have fractional convex combinations, so the conclusion concerns an optimal integral vertex, not every optimal LP point.
For any feasible assignment, the unit row and column sums give
Thus the transformed objective differs by the fixed constant
Every feasible assignment shifts by that same amount, so all objective comparisons and all optimal assignments remain unchanged. The calculation also holds for fractional feasible points of the assignment LP relaxation. The numbers are assignment dual potentials.
Since every reduced weight is nonpositive and every feasible variable is nonnegative, any feasible assignment satisfies
For , each selected entry has zero reduced weight, and each unselected entry has zero variable. Thus every product vanishes and equality holds:
The two hypotheses therefore form one optimality certificate: the first provides a universal upper bound, and the second makes the proposed assignment attain it. This is weak duality plus complementary slackness for the maximization assignment problem. For a minimization assignment, the sign reverses: gives a lower bound, with equality on the selected arcs certifying optimality.
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.

Articles by others on the same topic (0)

There are currently no matching articles.