Totally Unimodular Matrices

Slides:



Advertisements
Similar presentations
Thursday, March 7 Duality 2 – The dual problem, in general – illustrating duality with 2-person 0-sum game theory Handouts: Lecture Notes.
Advertisements

Elementary Linear Algebra Anton & Rorres, 9th Edition
1 LP Duality Lecture 13: Feb Min-Max Theorems In bipartite graph, Maximum matching = Minimum Vertex Cover In every graph, Maximum Flow = Minimum.
1 Matching Polytope x1 x2 x3 Lecture 12: Feb 22 x1 x2 x3.
C&O 355 Mathematical Programming Fall 2010 Lecture 22 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A.
MIT and James Orlin © Game Theory 2-person 0-sum (or constant sum) game theory 2-person game theory (e.g., prisoner’s dilemma)
Study Group Randomized Algorithms 21 st June 03. Topics Covered Game Tree Evaluation –its expected run time is better than the worst- case complexity.
Part 3: The Minimax Theorem
The Structure of Polyhedra Gabriel Indik March 2006 CAS 746 – Advanced Topics in Combinatorial Optimization.
CS38 Introduction to Algorithms Lecture 15 May 20, CS38 Lecture 15.
Totally Unimodular Matrices Lecture 11: Feb 23 Simplex Algorithm Elliposid Algorithm.
1 Introduction to Linear and Integer Programming Lecture 9: Feb 14.
Introduction to Linear and Integer Programming Lecture 7: Feb 1.
Duality Lecture 10: Feb 9. Min-Max theorems In bipartite graph, Maximum matching = Minimum Vertex Cover In every graph, Maximum Flow = Minimum Cut Both.
Duality Dual problem Duality Theorem Complementary Slackness
Computer Algorithms Integer Programming ECE 665 Professor Maciej Ciesielski By DFG.
Matching Polytope, Stable Matching Polytope Lecture 8: Feb 2 x1 x2 x3 x1 x2 x3.
Job Scheduling Lecture 19: March 19. Job Scheduling: Unrelated Multiple Machines There are n jobs, each job has: a processing time p(i,j) (the time to.
Linear Programming – Max Flow – Min Cut Orgad Keller.
Game Theory.
1 Spanning Tree Polytope x1 x2 x3 Lecture 11: Feb 21.
C&O 355 Mathematical Programming Fall 2010 Lecture 17 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A.
TH EDITION LIAL HORNSBY SCHNEIDER COLLEGE ALGEBRA.
C&O 355 Mathematical Programming Fall 2010 Lecture 2 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A A.
C&O 355 Mathematical Programming Fall 2010 Lecture 19 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A.
Design Techniques for Approximation Algorithms and Approximation Classes.
Approximating Minimum Bounded Degree Spanning Tree (MBDST) Mohit Singh and Lap Chi Lau “Approximating Minimum Bounded DegreeApproximating Minimum Bounded.
Matrix. REVIEW LAST LECTURE Keyword Parametric form Augmented Matrix Elementary Operation Gaussian Elimination Row Echelon form Reduced Row Echelon form.
Linear Programming Data Structures and Algorithms A.G. Malamos References: Algorithms, 2006, S. Dasgupta, C. H. Papadimitriou, and U. V. Vazirani Introduction.
Theory of Computing Lecture 13 MAS 714 Hartmut Klauck.
8.1 Matrices & Systems of Equations
C&O 355 Mathematical Programming Fall 2010 Lecture 18 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A.
TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A A A A A A A A Image:
Systems of Equations and Inequalities Systems of Linear Equations: Substitution and Elimination Matrices Determinants Systems of Non-linear Equations Systems.
Elementary Linear Algebra Anton & Rorres, 9 th Edition Lecture Set – 02 Chapter 2: Determinants.
Hon Wai Leong, NUS (CS6234, Spring 2009) Page 1 Copyright © 2009 by Leong Hon Wai CS6234: Lecture 4  Linear Programming  LP and Simplex Algorithm [PS82]-Ch2.
Linear Programming Solving Systems of Equations with 3 Variables Inverses & Determinants of Matrices Cramer’s Rule.
Part 3 Linear Programming
Meeting 18 Matrix Operations. Matrix If A is an m x n matrix - that is, a matrix with m rows and n columns – then the scalar entry in the i th row and.
Linear Program Set Cover. Given a universe U of n elements, a collection of subsets of U, S = {S 1,…, S k }, and a cost function c: S → Q +. Find a minimum.
Updated 21 April2008 Linear Programs with Totally Unimodular Matrices.
Approximation Algorithms Department of Mathematics and Computer Science Drexel University.
Hon Wai Leong, NUS (CS6234, Spring 2009) Page 1 Copyright © 2009 by Leong Hon Wai CS6234: Lecture 4  Linear Programming  LP and Simplex Algorithm [PS82]-Ch2.
C&O 355 Lecture 7 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A.
CPSC 536N Sparse Approximations Winter 2013 Lecture 1 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAAAAAAAAA.
1. 2 You should know by now… u The security level of a strategy for a player is the minimum payoff regardless of what strategy his opponent uses. u A.
Lecture.6. Table of Contents Lp –rounding Dual Fitting LP-Duality.
1 a1a1 A1A1 a2a2 a3a3 A2A Mixed Strategies When there is no saddle point: We’ll think of playing the game repeatedly. We continue to assume that.
Copyright © 2007 Pearson Education, Inc. Slide 7-1.
2.5 – Determinants and Multiplicative Inverses of Matrices.
Parameterized Two-Player Nash Equilibrium Danny Hermelin, Chien-Chung Huang, Stefan Kratsch, and Magnus Wahlstrom..
Optimization - Lecture 5, Part 1 M. Pawan Kumar Slides available online
Section 2.1 Determinants by Cofactor Expansion. THE DETERMINANT Recall from algebra, that the function f (x) = x 2 is a function from the real numbers.
Determinants Every n  n matrix A is associated with a real number called the determinant of A, written  A . The determinant of a 2  2 matrix.
C&O 355 Lecture 19 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A A A A A A A A.
PRIMAL-DUAL APPROXIMATION ALGORITHMS FOR METRIC FACILITY LOCATION AND K-MEDIAN PROBLEMS K. Jain V. Vazirani Journal of the ACM, 2001.
Approximation Algorithms based on linear programming.
Slide INTRODUCTION TO DETERMINANTS Determinants 3.1.
Polyhedral Optimization Lecture 2 – Part 2 M. Pawan Kumar Slides available online
Lap Chi Lau we will only use slides 4 to 19
The Duality Theorem Primal P: Maximize
Topics in Algorithms Lap Chi Lau.
The assignment problem
Analysis of Algorithms
Problem Solving 4.
Kramer’s (a.k.a Cramer’s) Rule
Lecture 20 Linear Program Duality
Chapter 2. Simplex method
“Easy” Integer Programming Problems: Network Flow Problems
Presentation transcript:

Totally Unimodular Matrices Combinatorial Algorithm Min-Max Theorem -1 1 Lecture 11: Feb 23

2 Player Game Column player -1 1 Strategy: A probability distribution -1 1 Strategy: A probability distribution Row player 1 -1 -1 1 Row player tries to maximize the payoff, column player tries to minimize

You have to decide your strategy first. 2 Player Game Column player Strategy: A probability distribution Row player A(i,j) You have to decide your strategy first. Is it fair??

Von Neumann Minimax Theorem Strategy set Which player decides first doesn’t matter! e.g. paper, scissor, rock.

Key Observation If the row player fixes his strategy, then we can assume that y chooses a pure strategy Vertex solution is of the form (0,0,…,1,…0), i.e. a pure strategy

Key Observation similarly

Primal Dual Programs duality

Other Applications Analysis of randomized algorithms (Yao’s principle) Cost sharing Price setting

Totally Unimodular Matrices m constraints, n variables Vertex solution: unique solution of n linearly independent tight inequalities Can be rewritten as: That is:

Totally Unimodular Matrices Assuming all entries of A and b are integral When does has an integral solution x? By Cramer’s rule where Ai is the matrix with each column is equal to the corresponding column in A except the i-th column is equal to b. x would be integral if det(A) is equal to +1 or -1.

Totally Unimodular Matrices A matrix is totally unimodular if the determinant of each square submatrix of is 0, -1, or +1. Theorem 1: If A is totally unimodular, then every vertex solution of is integral. Proof (follows from previous slides): a vertex solution is defined by a set of n linearly independent tight inequalities. Let A’ denote the (square) submatrix of A which corresponds to those inequalities. Then A’x = b’, where b’ consists of the corresponding entries in b. Since A is totally unimodular, det(A) = 1 or -1. By Cramer’s rule, x is integral.

Example of Totally Unimodular Matrices A totally unimodular matrix must have every entry equals to +1,0,-1. Guassian elimination And so we see that x must be an integral solution.

Example of Totally Unimodular Matrices is not a totally unimodular matrix, as its determinant is equal to 2. x is not necessarily an integral solution.

Totally Unimodular Matrices Primal Dual Transpose of A Theorem 2: If A is totally unimodular, then both the primal and dual programs are integer programs. Proof: if A is totally unimodular, then so is it’s transpose.

Application 1: Bipartite Graphs Let A be the incidence matrix of a bipartite graph. Each row i represents a vertex v(i), and each column j represents an edge e(j). A(ij) = 1 if and only if edge e(j) is incident to v(i). edges vertices

Application 1: Bipartite Graphs We’ll prove that the incidence matrix A of a bipartite graph is totally unimodular. Consider an arbitrary square submatrix A’ of A. Our goal is to show that A’ has determinant -1,0, or +1. Case 1: A’ has a column with only 0. Then det(A’)=0. Case 2: A’ has a column with only one 1. By induction, A’’ has determinant -1,0, or +1. And so does A’.

Application 1: Bipartite Graphs Case 3: Each column of A’ has exactly two 1. +1 We can write -1 Since the graph is bipartite, each column has one 1 in Aup and one 1 in Adown So, by multiplying +1 on the rows in Aup and -1 on the columns in Adown, we get that the rows are linearly dependent, and thus det(A’)=0, and we’re done. +1 -1

Application 1: Bipartite Graphs Maximum bipartite matching Incidence matrix of a bipartite graph, hence totally unimodular, and so yet another proof that this LP is integral.

Application 1: Bipartite Graphs Maximum general matching The linear program for general matching does not come from a totally unimodular matrix, and this is why Edmonds’ result is regarded as a major breakthrough.

Application 1: Bipartite Graphs Theorem 2: If A is totally unimodular, then both the primal and dual programs are integer programs. Maximum matching <= maximum fractional matching <= minimum fractional vertex cover <= minimum vertex cover Theorem 2 show that the first and the last inequalities are equalites. The LP-duality theorem shows that the second inequality is an equality. And so we have maximum matching = minimum vertex cover.

Application 2: Directed Graphs Let A be the incidence matrix of a directed graph. Each row i represents a vertex v(i), and each column j represents an edge e(j). A(ij) = +1 if vertex v(i) is the tail of edge e(j). A(ij) = -1 if vertex v(i) is the head of edge e(j). A(ij) = 0 otherwise. The incidence matrix A of a directed graph is totally unimodular. Consequences: The max-flow problem (even min-cost flow) is polynomial time solvable. Max-flow-min-cut theorem follows from the LP-duality theorem.

Simplex Method Simplex Algorithm: Start from an arbitrary vertex. Move to one of its neighbours which improves the cost. Iterate. For combinatorial problems, we know that vertex solutions correspond to combinatorial objects like matchings, stable matchings, flows, etc. So, the simplex algorithm actually defines a combinatorial algorithm for these problems.

Simplex Method For example, if you consider the bipartite matching polytope and run the simplex algorithm, you get the augmenting path algorithm. The key is to show that two adjacent vertices are differed by an augmenting path. Recall that a vertex solution is the unique solution of n linearly independent inequalities. So, moving along an edge in the polytope means to replace one tight inequality by another one. There is one degree of freedom and this corresponds to moving along an edge.

Summary How to model a combinatorial problem as a linear program. See the geometric interpretation of linear programming. How to prove a linear program gives integer optimal solutions? Prove that every vertex solution is integral. By convex combination method. By linear independency of tight inequalities. By totally unimodular matrices. By shifting technique.

Polynomial Time Solvable Problems Stable matchings Bipartite matchings Weighted Bipartite matchings General matchings Maximum flows Shortest paths Minimum spanning trees Minimum Cost Flows Matroid intersection Graph orientation Submodular Flows Packing directed trees Connectivity augmentation Linear programming

Summary How to obtain min-max theorems of combinatorial problems? LP-duality theorem, e.g. max-flow-min-cut, max-matching-min-vertex-cover. See combinatorial algorithms from the simplex algorithm, and even give an explanation for the combinatorial algorithms (local minimum = global minimum).