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.

Recognizing Cartesian products of matrices and polytopes

Slack matrices, $k$-products, and $2$-level polytopes

Matrix product constraints by projection methods

Computational Complexity of Normalizing Constants for the Product of Determinantal Point Processes

Partial classification of spectrum maximizing products for pairs of $2\times2$ matrices

Product of positive semi-definite matrices

Combinatorial Reduction of Set Functions and Matroid Permutations through Minor Product Assignment

Equivalent Polyadic Decompositions of Matrix Multiplication Tensors

On Matrices over a Polynomial Ring with Restricted Subdeterminants

Traversing combinatorial 0/1-polytopes via optimization

Products of abstract polytopes

Products of Positive Semi-Definite Matrices

Vertices of the polytope of polystochastic matrices and product constructions

Lineup polytopes of product of simplices

Characterization of Decomposition of Matrix Multiplication Tensors

Sum-of-squares Chordal Decomposition of Polynomial Matrix Inequalities

Rigidity matroids and linear algebraic matroids with applications to matrix completion and tensor codes

On Matrix Product Factorization of graphs

Some counting questions for matrix products

Computation of tensors generalized inverses under $M$-product and applications

Fast Matrix Multiplication Without Tears: A Constraint Programming Approach