Download presentation
Presentation is loading. Please wait.
Published byCleopatra Smith Modified over 9 years ago
1
Fabio D’Andreagiovanni Lecture Notes on Total Unimodularity
2
Total Unimodularity Definition 1: an (m x n) matrix A is unimodular iff for every (m x m) square submatrix B of A it holds det (B) {-1, 0, 1} Definition 2: an (m x n) matrix A is totally unimodular iff for every (p x p) square submatrix B of A with p>0 it holds: det (B) {-1, 0, 1} Unimodular but not totally unimodular Not Unimodular Unimodular and totally unimodular
3
On unimodularity and integral vertices Theorem THF1: let A be an (m x n) integer matrix A such that rank(A) = m. The following statements are equivalent: 1.A is unimodular 2.The vertices of the polyhedron P = {xR n : Ax=b, x0 n } are integral for every bZ m 3.Every (m x m) square submatrix B of A that is non-singular has an integer inverse matrix B -1 Proof: we prove the equivalence showing that (12) (23) (31)
4
On unimodularity and integral vertices (1 2) there exists (m x m) square submatrix B of A with det(b)=0 Proof: x o vertex of P = {xR n : Ax=b, x0 n } If A is unimodular then the vertices of the polyhedron P = {xR n : Ax=b, x0 n } are integral for every bZ m x o basic feasible solution such that x = and A = (B N) x B R m x N R n-m We have Ax=b Bx B +Nx N =b and x o = = 0 n x o B R m x o N R n-m B -1 b 0 n-m B -1 = adj(B) / det(B) where adj(B) is the adjunct matrix of B: A integer matrix B -1 integer matrix A unimodular matrix |det(B)|=1 B -1 bZ m for every bZ m x 0 Z n for every bZ m
5
On unimodularity and integral vertices (2 3) Proof: If the vertices of the polyhedron P = {xR n : Ax=b, x0 n } are integral for every bZ m, then every (m x m) square submatrix B of A that is non-singular has an integer inverse matrix B -1 basic feasible solution of the system Ax=b(t), x 0 n Let B be an (m x m) square submatrix of A with det(b)=0 and denote by B -1 i the i-th column of the corresponding inverse matrix B -1. We prove that the generic i-th column B -1 i has integer components: Let tZ m be an integer vector such that t+B -1 i 0 m Let b(t)=Bt+e i with e i being the i-th unit vector, then B -1 b(t) 0 n-m = B -1 (Bt+e i ) 0 n-m = t + B -1 e i 0 n-m = t + B -1 i 0 n-m 0 n Vertex of P = {xR n : Ax=b(t), x 0 n } t+B -1 i is an integer vector B -1 i is an integer vector
6
On unimodularity and integral vertices (3 1) If every (m x m) square submatrix B of A that is non-singular has an integer inverse matrix B -1, then A is unimodular If B is an (m x m) square submatrix of A with det(b)=0, then B -1 is an integer matrix Proof: |det(B)| and |det(B -1 )| are integers Since |det(B)| |det(B -1 )| = |det(BB -1 )| = 1 |det(B)| =|det(B -1 )| = 1 A is unimodular Quod erat demonstrandum
7
Vertices and standard form Theorem THF2: Let A be an (m x n) matrix and b an m-dimensional vector. x 0 is a vertex of the polyhedron P = {xR n : Ax=b, x0 n } if and only if the point is a vertex of the polyhedron P STD = {(x,y)R n+m : Ax+Is=b, x0 n, y0 m } x0Rny0Rmx0Rny0Rm x 0 b-Ax 0 =
Similar presentations
© 2025 SlidePlayer.com. Inc.
All rights reserved.