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.

A first efficient algorithm for enumerating all the extreme points of a bisubmodular polyhedron

Enumerating integer points in polytopes with bounded subdeterminants

Attempting the impossible: enumerating extremal submodular functions for n=6

Hyperplanes Avoiding Problem and Integer Points Counting in Polyhedra

Characterizing the integer points in 2-decomposable polyhedra by closedness under operations

Counting Integral Points in Polytopes via Numerical Analysis of Contour Integration

Characterizations of the set of integer points in an integral bisubmodular polyhedron

On unbounded polyhedral convex set optimization problems

Topological complexity of enumerative problems and classifying spaces of $PU_n$

Efficient Maximal Biclique Enumeration on Large Signed Bipartite Graphs

A New Extreme Point Algorithm and Its Application in PSQP Algorithms for Solving Mathematical Programs with Linear Complementarity Constraints

Efficient Exact Enumeration of Single-Source Geodesics on a Non-Convex Polyhedron

Efficient Exact Algorithms for Minimum Covering of Orthogonal Polygons with Squares

Integer Feasibility of Random Polytopes

On the enumeration of subcells within hypercubes and its application to the Borsuk-Ulam theorem

Efficient algorithm for approximating maximum inscribed sphere in high dimensional polytope

Enumerating extreme points of the polytopes of stochastic tensors: an optimization approach

Detecting Points in Integer Cones of Polytopes is Double-Exponentially Hard

Discretely Beyond $1/e$: Guided Combinatorial Algorithms for Submodular Maximization

Unbounded convex polyhedra as polynomial images of Euclidean spaces

Traversing combinatorial 0/1-polytopes via optimization