Circuit Walks in Integral Polyhedra

Similar documents
arxiv: v1 [math.oc] 1 Nov 2018

Linear programming and the efficiency of the simplex algorithm for transportation polytopes

Discrete Optimization 2010 Lecture 5 Min-Cost Flows & Total Unimodularity

The simplex method and the diameter of a 0-1 polytope

CS 372: Computational Geometry Lecture 10 Linear Programming in Fixed Dimension

Combinatorial Geometry & Topology arising in Game Theory and Optimization

Linear programming and duality theory

CS675: Convex and Combinatorial Optimization Spring 2018 The Simplex Algorithm. Instructor: Shaddin Dughmi

The Simplex Algorithm

Integer Programming Theory

Open problems in convex optimisation

MA4254: Discrete Optimization. Defeng Sun. Department of Mathematics National University of Singapore Office: S Telephone:

Advanced Operations Research Techniques IE316. Quiz 1 Review. Dr. Ted Ralphs

Mathematical and Algorithmic Foundations Linear Programming and Matchings

DM545 Linear and Integer Programming. Lecture 2. The Simplex Method. Marco Chiarandini

Lecture Notes 2: The Simplex Algorithm

Convex Geometry arising in Optimization

THEORY OF LINEAR AND INTEGER PROGRAMMING

Some Advanced Topics in Linear Programming

Linear Programming in Small Dimensions

Monotone Paths in Geometric Triangulations

Open problems in convex geometry

Polyhedral Computation Today s Topic: The Double Description Algorithm. Komei Fukuda Swiss Federal Institute of Technology Zurich October 29, 2010

4 LINEAR PROGRAMMING (LP) E. Amaldi Fondamenti di R.O. Politecnico di Milano 1

Advanced Operations Research Techniques IE316. Quiz 2 Review. Dr. Ted Ralphs

POLYHEDRAL GEOMETRY. Convex functions and sets. Mathematical Programming Niels Lauritzen Recall that a subset C R n is convex if

The Simplex Algorithm for LP, and an Open Problem

R n a T i x = b i} is a Hyperplane.

A Counterexample to the Dominating Set Conjecture

J Linear Programming Algorithms

Linear Optimization. Andongwisye John. November 17, Linkoping University. Andongwisye John (Linkoping University) November 17, / 25

maximize c, x subject to Ax b,

Introduction to Mathematical Programming IE496. Final Review. Dr. Ted Ralphs

A Course in Convexity

CMPSCI611: The Simplex Algorithm Lecture 24

Applied Integer Programming

COMP331/557. Chapter 2: The Geometry of Linear Programming. (Bertsimas & Tsitsiklis, Chapter 2)

CS 473: Algorithms. Ruta Mehta. Spring University of Illinois, Urbana-Champaign. Ruta (UIUC) CS473 1 Spring / 29

ACTUALLY DOING IT : an Introduction to Polyhedral Computation

Lecture 16 October 23, 2014

Stable sets, corner polyhedra and the Chvátal closure

Lecture 10,11: General Matching Polytope, Maximum Flow. 1 Perfect Matching and Matching Polytope on General Graphs

Dual-fitting analysis of Greedy for Set Cover

Integer Programming ISE 418. Lecture 1. Dr. Ted Ralphs

Sperner and Tucker s lemma

be a polytope. has such a representation iff it contains the origin in its interior. For a generic, sort the inequalities so that

Graph Theory S 1 I 2 I 1 S 2 I 1 I 2

Material handling and Transportation in Logistics. Paolo Detti Dipartimento di Ingegneria dell Informazione e Scienze Matematiche Università di Siena

Lecture 3. Corner Polyhedron, Intersection Cuts, Maximal Lattice-Free Convex Sets. Tepper School of Business Carnegie Mellon University, Pittsburgh

THE HIRSCH CONJECTURE FOR DUAL TRANSPORTATION POLYHEDPA

Linear and Integer Programming (ADM II) Script. Rolf Möhring WS 2010/11

Graphs that have the feasible bases of a given linear

A Subexponential Randomized Simplex Algorithm

Technische Universität München Fakultät für Mathematik Lehrstuhl für Angewandte Geometrie und Diskrete Mathematik.

Chapter 4 Concepts from Geometry

3. The Simplex algorithmn The Simplex algorithmn 3.1 Forms of linear programs

arxiv: v1 [cs.ds] 20 Dec 2014

Introduction to Graph Theory

CS 473: Algorithms. Ruta Mehta. Spring University of Illinois, Urbana-Champaign. Ruta (UIUC) CS473 1 Spring / 50

Recent Advances in the Geometry of Linear Programming

Modeling and Analysis of Hybrid Systems

Modeling and Analysis of Hybrid Systems

On the diameter of the Transportation Polytope

Lecture notes on the simplex method September We will present an algorithm to solve linear programs of the form. maximize.

1. Lecture notes on bipartite matching February 4th,

CS 473: Algorithms. Ruta Mehta. Spring University of Illinois, Urbana-Champaign. Ruta (UIUC) CS473 1 Spring / 36

Algebraic-Geometric ideas in Discrete Optimization (Universidad de Sevilla, 2014)

Math 5593 Linear Programming Lecture Notes

Lecture 4: Linear Programming

Gift Wrapping for Pretropisms

4 Integer Linear Programming (ILP)

Stable sets, corner polyhedra and the Chvátal closure

Linear Programming Duality and Algorithms

Discrete Optimization. Lecture Notes 2

Linear Programming and its Applications

11 Linear Programming

Linear Programming Algorithms [Read Chapters G and H first.] Status: Half-finished.

Graphs and Network Flows IE411. Lecture 21. Dr. Ted Ralphs

Introduction to Mathematical Programming IE406. Lecture 4. Dr. Ted Ralphs

arxiv: v1 [math.co] 12 Dec 2017

Heuristic Optimization Today: Linear Programming. Tobias Friedrich Chair for Algorithm Engineering Hasso Plattner Institute, Potsdam

Integral Geometry and the Polynomial Hirsch Conjecture

ORIE 6300 Mathematical Programming I September 2, Lecture 3

IE 5531: Engineering Optimization I

Notes taken by Mea Wang. February 11, 2005

Integer and Combinatorial Optimization

Lecture 3: Totally Unimodularity and Network Flows

15-451/651: Design & Analysis of Algorithms October 11, 2018 Lecture #13: Linear Programming I last changed: October 9, 2018

MATH 890 HOMEWORK 2 DAVID MEREDITH

5.3 Cutting plane methods and Gomory fractional cuts

Bipartite Matching & the Hungarian Method

Section Notes 5. Review of Linear Programming. Applied Math / Engineering Sciences 121. Week of October 15, 2017

COT 6936: Topics in Algorithms! Giri Narasimhan. ECS 254A / EC 2443; Phone: x3748

CS599: Convex and Combinatorial Optimization Fall 2013 Lecture 14: Combinatorial Problems as Linear Programs I. Instructor: Shaddin Dughmi

In this chapter we introduce some of the basic concepts that will be useful for the study of integer programming problems.

Subexponential lower bounds for randomized pivoting rules for the simplex algorithm

Algorithmic Game Theory and Applications. Lecture 6: The Simplex Algorithm

Introduction to Operations Research

AMS : Combinatorial Optimization Homework Problems - Week V

Duality. Primal program P: Maximize n. Dual program D: Minimize m. j=1 c jx j subject to n. j=1. i=1 b iy i subject to m. i=1

Transcription:

Circuit Walks in Integral Polyhedra Charles Viss Steffen Borgwardt University of Colorado Denver Optimization and Discrete Geometry: Theory and Practice Tel Aviv University, April 2018

LINEAR PROGRAMMING AND POLYHEDRA 2 Linear Program: min{c T x: x P} where P = {x R n : Ax = b, Bx d}. Simplex Method: If a current vertex v of P is not an optimal solution, move to a neighboring vertex with improved objective value.

LINEAR PROGRAMMING AND POLYHEDRA 2 Linear Program: min{c T x: x P} where P = {x R n : Ax = b, Bx d}. Simplex Method: If a current vertex v of P is not an optimal solution, move to a neighboring vertex with improved objective value. Open Question: Does there exist a polynomial pivot rule for the Simplex method?

DIAMETER OF POLYHEDRA 3 Open Question: Does there exist a polynomial pivot rule for the Simplex method?

DIAMETER OF POLYHEDRA 3 Open Question: Does there exist a polynomial pivot rule for the Simplex method? Combinatorial Diameter: The maximum number of steps needed to connect any pair of vertices in a polyhedron by an edge walk.

DIAMETER OF POLYHEDRA 3 Open Question: Does there exist a polynomial pivot rule for the Simplex method? Combinatorial Diameter: The maximum number of steps needed to connect any pair of vertices in a polyhedron by an edge walk. A lower bound on the best-case performance of the Simplex method.

DIAMETER OF POLYHEDRA 3 Open Question: Does there exist a polynomial pivot rule for the Simplex method? Combinatorial Diameter: The maximum number of steps needed to connect any pair of vertices in a polyhedron by an edge walk. A lower bound on the best-case performance of the Simplex method. Conjecture (Hirsch Conjecture, 1957) The combinatorial diameter of a d-dimensional polyhedron with f facets is at most f d.

DIAMETER OF POLYHEDRA 3 Open Question: Does there exist a polynomial pivot rule for the Simplex method? Combinatorial Diameter: The maximum number of steps needed to connect any pair of vertices in a polyhedron by an edge walk. A lower bound on the best-case performance of the Simplex method. Conjecture (Hirsch Conjecture, 1957) The combinatorial diameter of a d-dimensional polyhedron with f facets is at most f d. Disproved: 4-dimensional unbounded and 20-dimensional bounded counterexamples.

DIAMETER OF POLYHEDRA 3 Open Question: Does there exist a polynomial pivot rule for the Simplex method? Combinatorial Diameter: The maximum number of steps needed to connect any pair of vertices in a polyhedron by an edge walk. A lower bound on the best-case performance of the Simplex method. Conjecture (Hirsch Conjecture, 1957) The combinatorial diameter of a d-dimensional polyhedron with f facets is at most f d. Disproved: 4-dimensional unbounded and 20-dimensional bounded counterexamples. Conjecture (Borgwardt et al., Circuit Diameter Conjecture, 2016) The circuit diameter of a d-dimensional polyhedron with f facets is at most f d.

CIRCUITS OF A POLYHEDRON 4 Definition The set of circuits of a polyhedron P = {x R n : Ax = b, Bx d}, denoted C(A, B), consists of those g ker(a)\{0} normalized to coprime integer components for which Bg is support-minimal over the set {Bx: x ker(a)\{0}}.

CIRCUITS OF A POLYHEDRON 4 Definition The set of circuits of a polyhedron P = {x R n : Ax = b, Bx d}, denoted C(A, B), consists of those g ker(a)\{0} normalized to coprime integer components for which Bg is support-minimal over the set {Bx: x ker(a)\{0}}. Theorem (Graver, 1975) The set of circuits C(A, B) consists of all potential edge directions of P as the right hand side vectors b and d vary.

CIRCUITS OF A POLYHEDRON 4 Definition The set of circuits of a polyhedron P = {x R n : Ax = b, Bx d}, denoted C(A, B), consists of those g ker(a)\{0} normalized to coprime integer components for which Bg is support-minimal over the set {Bx: x ker(a)\{0}}. Theorem (Graver, 1975) The set of circuits C(A, B) consists of all potential edge directions of P as the right hand side vectors b and d vary. Circuit walks: Generalization of edge walks in a polyhedron.

CIRCUITS OF A POLYHEDRON 4 Definition The set of circuits of a polyhedron P = {x R n : Ax = b, Bx d}, denoted C(A, B), consists of those g ker(a)\{0} normalized to coprime integer components for which Bg is support-minimal over the set {Bx: x ker(a)\{0}}. Theorem (Graver, 1975) The set of circuits C(A, B) consists of all potential edge directions of P as the right hand side vectors b and d vary. Circuit walks: Generalization of edge walks in a polyhedron. Circuit diameter: Maximum number of steps needed to connect any pair of vertices in a polyhedron via a circuit walk.

CIRCUIT WALKS IN POLYHEDRA 5 Definition Let P = {x R n : Ax = b, Bx d} be a polyhedron. For two vertices v (1), v (2) of P, we call a sequence v (1) = y (0),...,y (k) = v (2) a circuit walk of length k if for i = 0,...,k 1: 1. y (i) P, 2. y (i+1) = y (i) +α i g (i) for some g (i) C(A, B) and α i > 0, and 3. y (i) +αg (i) is infeasible for all α > α i. y (0) y (1) y (2)

CIRCUIT WALKS IN POLYHEDRA 6 Combinatorial interpretations of circuit walks: Augmenting path algorithms for max-flow problems Cycle canceling algorithms for min-cost flow problems Cyclical shifts of commodity in transportation problems Clustering algorithms in partition polytopes s 1 s 2 c 1 c 2 s 3 c 3

CIRCUIT WALKS IN INTEGRAL POLYHEDRA 7 We introduce and study a hierarchy of integral polyhedra based on the behavior of their circuit walks. Integral polyhedron: Vertices have integer components.

CIRCUIT WALKS IN INTEGRAL POLYHEDRA 7 We introduce and study a hierarchy of integral polyhedra based on the behavior of their circuit walks. Integral polyhedron: Vertices have integer components. In general, circuit walks in integral polyhedra need not be integral: y (0) y (1) y (2)

A HIERARCHY OF INTEGRAL POLYHEDRA 8 However, in certain integral polyhedra, all circuit walks are necessarily integral: y (1) y (4) y (5) y (0) y (3) y (2)

A HIERARCHY OF INTEGRAL POLYHEDRA 9 In more restrictive integral polyhedra, all circuit walks are vertex walks: y (2) y (3) y (0) y (1) y (4)

A HIERARCHY OF INTEGRAL POLYHEDRA 10 Finally, there exist integral polyhedra whose only circuit walks are edge walks:

A HIERARCHY OF INTEGRAL POLYHEDRA 11 Integral Polyhedra Integral Circuit Walks Circuit Walks = Vertex Walks Circuit Walks = Edge Walks

A HIERARCHY OF INTEGRAL POLYHEDRA 11 Integral Polyhedra Integral Circuit Walks Circuit Walks = Vertex Walks Circuit Walks = Edge Walks Goal: Determine where polyhedra from combinatorial optimization belong in this hierarchy.

0/1-POLYTOPES AND TU MATRICES 12 We treat two important classes of integral polyhedra: 0/1-polytopes Polyhedra defined by totally unimodular (TU) matrices

0/1-POLYTOPES AND TU MATRICES 12 We treat two important classes of integral polyhedra: 0/1-polytopes Polyhedra defined by totally unimodular (TU) matrices In general, 0/1-polytopes need not have integral circuit walks: (0, 0, 1) (1, 1, 1) (0, 1, 0) (0, 0, 0) (1, 0, 0)

0/1-POLYTOPES AND TU MATRICES 12 We treat two important classes of integral polyhedra: 0/1-polytopes Polyhedra defined by totally unimodular (TU) matrices In general, 0/1-polytopes need not have integral circuit walks: (0, 0, 1) (1, 1, 1) (0, 1, 0) (0, 0, 0) (1, 0, 0) Matroid polytopes have many non-integral circuit walks.

0/1-POLYTOPES AND TU MATRICES 13 We say that P = {x R n : Ax = b, Bx d} is defined by a TU matrix if the matrix M = ( ) A B is totally unimodular. All subdeterminants of M belong to {0, 1, 1}. P is an integral polyhedron for any integral b, d.

0/1-POLYTOPES AND TU MATRICES 13 We say that P = {x R n : Ax = b, Bx d} is defined by a TU matrix if the matrix M = ( ) A B is totally unimodular. All subdeterminants of M belong to {0, 1, 1}. P is an integral polyhedron for any integral b, d. Theorem (Onn, 2010) A circuit g of P = {x R n : Ax = b, Bx d} satisfies max i g i (M), where (M) denotes the maximum absolute subdeterminant of M = ( A B).

0/1-POLYTOPES AND TU MATRICES 13 We say that P = {x R n : Ax = b, Bx d} is defined by a TU matrix if the matrix M = ( ) A B is totally unimodular. All subdeterminants of M belong to {0, 1, 1}. P is an integral polyhedron for any integral b, d. Theorem (Onn, 2010) A circuit g of P = {x R n : Ax = b, Bx d} satisfies max i g i (M), where (M) denotes the maximum absolute subdeterminant of M = ( A B). So if M is TU, we must have g {0, 1, 1} n.

0/1-POLYTOPES AND TU MATRICES 13 We say that P = {x R n : Ax = b, Bx d} is defined by a TU matrix if the matrix M = ( ) A B is totally unimodular. All subdeterminants of M belong to {0, 1, 1}. P is an integral polyhedron for any integral b, d. Theorem (Onn, 2010) A circuit g of P = {x R n : Ax = b, Bx d} satisfies max i g i (M), where (M) denotes the maximum absolute subdeterminant of M = ( A B). So if M is TU, we must have g {0, 1, 1} n. Theorem All circuit walks in a polyhedron defined by a totally unimodular matrix are integral.

0/1-POLYTOPES AND TU MATRICES 14 Since all integral points in 0/1-polytopes are vertices... Theorem If P is a 0/1-polytope defined by a totally unimodular matrix, all circuit walks in P are vertex walks.

0/1-POLYTOPES AND TU MATRICES 14 Since all integral points in 0/1-polytopes are vertices... Theorem If P is a 0/1-polytope defined by a totally unimodular matrix, all circuit walks in P are vertex walks. Example: Bounded-size partition polytope PP(κ ± ): a 0/1-polytope associated with the partitioning of X = {x 1,..., x n } into k clusters C 1,..., C k where κ i C i κ + i.

0/1-POLYTOPES AND TU MATRICES 14 Since all integral points in 0/1-polytopes are vertices... Theorem If P is a 0/1-polytope defined by a totally unimodular matrix, all circuit walks in P are vertex walks. Example: Bounded-size partition polytope PP(κ ± ): a 0/1-polytope associated with the partitioning of X = {x 1,..., x n } into k clusters C 1,..., C k where κ i C i κ + i. Vertices correspond to feasible clustering assignments

0/1-POLYTOPES AND TU MATRICES 14 Since all integral points in 0/1-polytopes are vertices... Theorem If P is a 0/1-polytope defined by a totally unimodular matrix, all circuit walks in P are vertex walks. Example: Bounded-size partition polytope PP(κ ± ): a 0/1-polytope associated with the partitioning of X = {x 1,..., x n } into k clusters C 1,..., C k where κ i C i κ + i. Vertices correspond to feasible clustering assignments An edge joins two vertices if and only if their clusterings differ by a single sequential or cyclic exchange of elements that satisfies restrictive cluster size constraints.

0/1-POLYTOPES AND TU MATRICES 14 Since all integral points in 0/1-polytopes are vertices... Theorem If P is a 0/1-polytope defined by a totally unimodular matrix, all circuit walks in P are vertex walks. Example: Bounded-size partition polytope PP(κ ± ): a 0/1-polytope associated with the partitioning of X = {x 1,..., x n } into k clusters C 1,..., C k where κ i C i κ + i. Vertices correspond to feasible clustering assignments An edge joins two vertices if and only if their clusterings differ by a single sequential or cyclic exchange of elements that satisfies restrictive cluster size constraints. A circuit step joins two vertices if and only if their clusterings differ by a single sequential or cyclic exchange of elements.

0/1-POLYTOPES AND TU MATRICES 15 Integral Polyhedra So far: Integral Polyhedron = Integral Circuit Walks TU Matrix = Integral Circuit Walks TU Matrix and 0/1-polytope = Vertex Walks Integral Circuit Walks Circuit Walks = Vertex Walks Circuit Walks = Edge Walks

0/1-POLYTOPES AND TU MATRICES 15 Integral Polyhedra Integral Circuit Walks So far: Integral Polyhedron = Integral Circuit Walks TU Matrix = Integral Circuit Walks TU Matrix and 0/1-polytope = Vertex Walks Polyhedra whose circuit walks are edge walks? Circuit Walks = Vertex Walks Circuit Walks = Edge Walks

POLYHEDRA WHOSE CIRCUIT WALKS ARE EDGE WALKS 16 Let P = {x R n : Bx d} be a full-dimensional, non-degenerate polytope. Non-degenerate: each vertex v is contained in exactly n facets of P and is incident to exactly n edges.

POLYHEDRA WHOSE CIRCUIT WALKS ARE EDGE WALKS 16 Let P = {x R n : Bx d} be a full-dimensional, non-degenerate polytope. Non-degenerate: each vertex v is contained in exactly n facets of P and is incident to exactly n edges. Given two vertices u, v of P, let P uv denote the minimal face of P containing u, v, and let I uv (u), I uv (v) denote the inner cones of u, v with respect to P uv.

POLYHEDRA WHOSE CIRCUIT WALKS ARE EDGE WALKS 16 Let P = {x R n : Bx d} be a full-dimensional, non-degenerate polytope. Non-degenerate: each vertex v is contained in exactly n facets of P and is incident to exactly n edges. Given two vertices u, v of P, let P uv denote the minimal face of P containing u, v, and let I uv (u), I uv (v) denote the inner cones of u, v with respect to P uv. Theorem (Symmetric Inner Cone Condition) In a non-degenerate polytope, all circuit walks are edge walks if and only if for each pair of vertices u, v, it holds that I uv (u) = I uv (v).

POLYHEDRA WHOSE CIRCUIT WALKS ARE EDGE WALKS 17 Theorem In a non-degenerate polytope P, all circuit walks are edge walks if and only if P is a simplex, a parallelotope, or a highly-symmetric polytope whose faces are constructed from simplices and parallelotopes.

POLYHEDRA WHOSE CIRCUIT WALKS ARE EDGE WALKS 17 Theorem In a non-degenerate polytope P, all circuit walks are edge walks if and only if P is a simplex, a parallelotope, or a highly-symmetric polytope whose faces are constructed from simplices and parallelotopes. Only non-simplex, non-parallelotope example in R 3.

POLYHEDRA WHOSE CIRCUIT WALKS ARE EDGE WALKS 18 Polyhedra whose circuit walks are edge walks do appear in practice: Example: Fixed-size partition polytope PP(κ): associated with the partitioning of a set X = {x 1,..., x n } into k clusters C 1,..., C k in which C i = κ i for i = 1,..., n.

POLYHEDRA WHOSE CIRCUIT WALKS ARE EDGE WALKS 18 Polyhedra whose circuit walks are edge walks do appear in practice: Example: Fixed-size partition polytope PP(κ): associated with the partitioning of a set X = {x 1,..., x n } into k clusters C 1,..., C k in which C i = κ i for i = 1,..., n. Both edges and circuits correspond to single cyclical exchanges of elements among the clusters.

POLYHEDRA WHOSE CIRCUIT WALKS ARE EDGE WALKS 18 Polyhedra whose circuit walks are edge walks do appear in practice: Example: Fixed-size partition polytope PP(κ): associated with the partitioning of a set X = {x 1,..., x n } into k clusters C 1,..., C k in which C i = κ i for i = 1,..., n. Both edges and circuits correspond to single cyclical exchanges of elements among the clusters. All circuit walks are edge walks in PP(κ).

POLYHEDRA WHOSE CIRCUIT WALKS ARE EDGE WALKS 18 Polyhedra whose circuit walks are edge walks do appear in practice: Example: Fixed-size partition polytope PP(κ): associated with the partitioning of a set X = {x 1,..., x n } into k clusters C 1,..., C k in which C i = κ i for i = 1,..., n. Both edges and circuits correspond to single cyclical exchanges of elements among the clusters. All circuit walks are edge walks in PP(κ). PP(κ) is a highly degenerate polytope its structure is not restricted to simplices and parallelotopes.

A HIERARCHY OF INTEGRAL POLYHEDRA 19 0/1-polytopes Integral Polyhedra Matroid Polytopes Integral Polyhedra defined by TU matrices 0/1-polytopes defined by TU matrices Simplices, Parallelotopes Integral Circuit Walks Circuit Walks = Vertex Walks Circuit Walks = Edge Walks Transportation Polytopes Bounded-size Partition Polytopes Fixed-size Partition Polytopes