Survey
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Lecture Notes on Total Unimodularity Fabio D’Andreagiovanni 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 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 n 2. The vertices of the polyhedron P = {xR : Ax=b, x0n} are m integral for every bZ 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 (1 2) (2 3) (3 1) On unimodularity and integral vertices (1 2) If A is unimodular then the vertices of the polyhedron n m P = {xR : Ax=b, x0n} are integral for every bZ o n x vertex of P = {xR : Ax=b, x0n} Proof: o x basic feasible solution there exists (m x m) square submatrix B of A with det(b)=0 m such that x = xBR n-m xNR We have Ax=b BxB+NxN=b and A = (B N) and o x= o m -1 o n-m x BR x NR = B b 0n-m 0n -1 B = adj(B) / det(B) where adj(B) is the adjunct matrix of B: B-1 integer matrix A unimodular matrix |det(B)|=1 x0Zn for every bZm A integer matrix -1 B bZ m for every bZ m On unimodularity and integral vertices (2 3) n If the vertices of the polyhedron P = {xR : Ax=b, x0n} 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 Proof: Let B be an (m x m) square submatrix of A with det(b)=0 and denote by B -1 i -1 the i-th column of the corresponding inverse matrix B . We prove that the generic i-th column B -1 i has integer components: • Let tZm be an integer vector such that t+B-1i 0m • Let b(t)=Bt+ei with ei being the i-th unit vector, then -1 -1 B b(t) = 0n-m B (Bt+ei) 0n-m -1 = t + B ei = 0n-m t+B -1 i 0n-m 0n basic feasible solution of the system Ax=b(t), x 0n n Vertex of P = {xR : Ax=b(t), x 0n} t+B -1 i is an integer vector B -1 i is an integer vector On unimodularity and integral vertices (3 1) If every (m x m) square submatrix B of A that is non-singular -1 has an integer inverse matrix B , then A is unimodular Proof: If B is an (m x m) square submatrix of A with det(b)=0, then B -1 is an integer matrix -1 |det(B)| and |det(B )| are integers -1 -1 Since |det(B)| |det(B )| = |det(BB )| = 1 |det(B)| =|det(B )| = 1 A is unimodular -1 Quod erat demonstrandum Vertices and standard form Theorem THF2: Let A be an (m x n) matrix and b an m-dimensional 0 n vector. x is a vertex of the polyhedron P = {xR : Ax=b, x0n} if and only if the point 0 n 0 m x R = y R STD is a vertex of the polyhedron P x 0 b-Ax 0 n+m = {(x,y)R : Ax+Is=b, x0n, y0m}