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.