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 Complexity of Polytope Isomorphism Problems

On the Combinatorial Complexity of Approximating Polytopes

Optimal Bound on the Combinatorial Complexity of Approximating Polytopes

Status and Perspectives of Direct Dark Matter Searches

On the Complexity of Matroid Isomorphism Problem

On the Polyhedral Decision Problem

Non-projectability of polytope skeleta

Graph Isomorphism is PSPACE-complete

Understanding the Complexity of Induced Subgraph Isomorphisms

Complexity theory of orbit closure intersection for tensors: reductions, completeness, and graph isomorphism hardness

On the Complexity of Combinatorial Optimization on Fixed Structures

On the Circuit Diameter of Some Combinatorial Polytopes

Unbounded convex polyhedra as polynomial images of Euclidean spaces

Complete Description of Matching Polytopes with One Linearized Quadratic Term for Bipartite Graphs

Many equiprojective polytopes

Intersection bodies of polytopes: translations and convexity

Traversing combinatorial 0/1-polytopes via optimization

Graph isomorphism completeness for trapezoid graphs

Polynomial and analytic methods for classifying complexity of planar graph homomorphisms

Graphs, skeleta and reconstruction of polytopes

Combinatorial isoperimetric inequality for the free factor complex