arXiv++ Combinatorics

One of the major starting points of discrete optimization is the theorem of Nash-Williams and Tutte on the existence of $k$ disjoint spanning trees of a graph along with its counterpart on the existence of $k$ forests covering all edges of the graph. These elegant results triggered a comprehensive research that gave rise to far-reaching generalizations and found applications at seemingly far-fetched areas. There are well over a thousand papers in the literature, including quite a few brand-new ones. Our first goal is to enlighten some aspects and links of these developments with the hope that the melody finds its way to non-experts. But we hope that experts will also find some novelties in our orchestration.

Clar number and Fries number are two thoroughly investigated parameters of plane graphs emerging from mathematical chemistry to measure stability of organic molecules. We consider first a common generalization of these two concepts for bipartite plane graphs, and then extend it to a framework on general (not necessarily planar) directed graphs. The corresponding optimization problem can be transformed into a maximum weight feasible tension problem which is the linear programming dual of a minimum cost network flow (or circulation) problem. Therefore the approach gives rise to a min-max theorem and to a strongly polynomial algorithm that relies exclusively on standard network flow subroutines. In particular, we give the first network flow based algorithm for an optimal Fries structure and its variants.