  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\"ubbecke.
