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.

PolyCD: Optimization via Cycling through the Vertices of a Polytope

A Cyclic Coordinate Descent Method for Convex Optimization on Polytopes

Polyhedral Feasible Set Computation of MPC-based Optimal Control Problems.

A Feasible Method for Optimization with Orthogonality Constraints

Linear-memory and Decomposition-invariant Linearly Convergent Conditional Gradient Algorithm for Structured Polytopes

Simplex QP-based methods for minimizing a conic quadratic objective over polyhedra

Optimization over convex polyhedra via Hadamard parametrizations

Fast Convergence of Frank-Wolfe algorithms on polytopes

An away-step Frank–Wolfe algorithm for constrained multiobjective optimization

Equidistant Smoothing of Polyhedra with Arbitrary Topologies

PolyTO: Structural Topology Optimization using Convex Polygons

Optimization Algorithms for Faster Computational Geometry.

Accelerated Cyclic Coordinate Dual Averaging with Extrapolation for Composite Convex Optimization

Traversing combinatorial 0/1-polytopes via optimization

Optimal Bound on the Combinatorial Complexity of Approximating Polytopes

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

The polarization hierarchy for polynomial optimization over convex bodies, with applications to nonnegative matrix rank

Walking in the Shadow: A New Perspective on Descent Directions for Constrained Minimization

Polytope Division Method: A Scalable Sampling Method for Problems with High-dimensional Parameters

A solution method for arbitrary polyhedral convex set optimization problems

A Whole New Ball Game: A Primal Accelerated Method for Matrix Games and Minimizing the Maximum of Smooth Functions