202401311401

Tags : Combinatorial Optimisation

Total Unimodularity


Definition:

A matrix is TUM is every square submatrix of has determinant or .

Observation: All entries of are or .

s.t. . is the polytope . variables, constraints

A polytope is said to be integral (for our context) if all vertices of . In general we can define a polytope to be integral even if it doesn’t have vertices. In that case we just define a polytope to be integral if each face has an integral point.

Theorem: If is TUM then, for each integral vector , the polytope is integral. Proof: For any vertex of , there exists a set of linearly independent constraints given by submatrix of s.t. . must be invertible. . But .

So is TUM and hence is integral.

is TUM is TUM. Dual: s.t. .


Consider the bipartite matching LP. is the edge incidence matrix which has vertices along the rows and edges along the columns. Claim: is TUM. Proof: By induction on the size of the submatrix. Base case is fine. Assume TUM for all sub-matrices up to size . Let be a submatrix.

  • If any row or column of is then .
  • If a row or column of has only one , then expand along it: .
  • Otherwise, every column of has two ‘s.

References