Abstract:In this paper, we present a new framework that exploits combinatorial optimization for efficiently generating a large variety of combinatorial objects based on graphs, matroids, posets and polytopes. Our method relies on a simple and versatile algorithm for computing a Hamilton path on the skeleton of any 0/1-polytope ${\rm conv}(X)$, where $X\subseteq \{0,1\}^n$. The algorithm uses as a black box any algorithm that solves a variant of the classical linear optimization problem $\min\{w\cdot x\mid x\in X\}$, and the resulting delay, i.e., the running time per visited vertex on the Hamilton path, is only by a factor of $\log n$ larger than the running time of the optimization algorithm. When $X$ encodes a particular class of combinatorial objects, then traversing the skeleton of the polytope ${\rm conv}(X)$ along a Hamilton path corresponds to listing the combinatorial objects by local change operations, i.e., we obtain Gray code listings. As concrete results of our general framework, we obtain efficient algorithms for generating all ($c$-optimal) bases in a matroid; ($c$-optimal) spanning trees, forests, ($c$-optimal) matchings in a general graph; ($c$-optimal) vertex covers, ($c$-optimal) stable sets in a bipartite graph; as well as ($c$-optimal) antichains and ideals of a poset. The delay and space required by these algorithms are polynomial in the size of the matroid, graph, or poset, respectively, and these listings correspond to Hamilton paths on the corresponding combinatorial polytopes. We also obtain an $O(t_{\rm LP} \log n)$ delay algorithm for the vertex enumeration problem on 0/1-polytopes $\{x\in\mathbb{R}^n\mid Ax\leq b\}$, where $A\in \mathbb{R}^{m\times n}$ and $b\in\mathbb{R}^m$, and $t_{\rm LP}$ is the time needed to solve the linear program $\min\{w\cdot x\mid Ax\leq b\}$. This improves upon the 25-year old $O(t_{\rm LP}\,n)$ delay algorithm of Bussieck and Lübbecke.

On the Simplex Method for 0/1-Polytopes

Exponential Lower Bounds for Many Pivot Rules for the Simplex Method

On the Number of Degenerate Simplex Pivots

Exponential lower bounds for history-based simplex pivot rules on abstract cubes

A Monotonic Build-Up Simplex Algorithm for Linear Programming

A quadratic simplex algorithm for primal optimization over zero-one polytopes

Traversing combinatorial 0/1-polytopes via optimization

A double-pivot simplex algorithm and its upper bounds of the iteration numbers

On the Length of Monotone Paths in Polyhedra

A unified worst case for classical simplex and policy iteration pivot rules

Short simplex paths in lattice polytopes

Polytope Extensions with Linear Diameters

Posets arising as 1-skeleta of simple polytopes, the nonrevisiting path conjecture, and poset topology

On the optimal pivot path of simplex method for linear programming based on reinforcement learning

From linear programming to colliding particles

Pivoting in Linear Complementarity: Two Polynomial-Time Cases

Shortest paths on polymatroids and hypergraphic polytopes

On the Lp Minkowski Problem for Polytopes

Optimal pivot path of the simplex method for linear programming based on reinforcement learning

Two New Bounds on the Random-Edge Simplex Algorithm

Vertices of the monotone path polytopes of hypersimplicies