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.

Polynomial-delay generation of functional digraphs up to isomorphism

Decomposition and factorisation of transients in Functional Graphs

Functional graphs of generalized cyclotomic mappings of finite fields

Graph Pattern Polynomials

Functional Variant of Polynomial Analogue of Gandy's Fixed Point Theorem

Eulerian Polynomials for Digraphs

Packing even directed circuits quarter-integrally

The critical polynomial of a graph

On the Solution of Graph Isomorphism by Dynamical Algorithms

The Redei-Berge Hopf algebra of digraphs

Generating strongly 2-connected digraphs

Algorithms for the Reconstruction of Genomic Structures with Proofs of Their Low Polynomial Complexity and High Exactness

On solving basic equations over the semiring of functional digraphs

The Graph Structure of Chebyshev Permutation Polynomials over Ring $\mathbb{Z}_{p^k}$

A polynomialâ€�time approximation scheme for the maximal overlap of two independent ErdÅ‘sâ€“RÃ©nyiÂ graphs

Traversing combinatorial 0/1-polytopes via optimization

Exact Algorithms for Graph Homomorphisms

Graph reconstruction and generation from one card and the degree sequence

Parameters of Quotient-Polynomial Graphs