Abstract:Connectivity (or equivalently, unweighted maximum flow) is an important measure in graph theory and combinatorial optimization. Given a graph $G$ with vertices $s$ and $t$, the connectivity $\lambda(s,t)$ from $s$ to $t$ is defined to be the maximum number of edge-disjoint paths from $s$ to $t$ in $G$. Much research has gone into designing fast algorithms for computing connectivities in graphs. Previous work showed that it is possible to compute connectivities for all pairs of vertices in directed graphs with $m$ edges in $\tilde{O}(m^\omega)$ time [Chueng, Lau, and Leung, FOCS 2011], where $\omega \in [2,2.3716)$ is the exponent of matrix multiplication. For the related problem of computing "small connectivities," it was recently shown that for any positive integer $k$, we can compute $\min(k,\lambda(s,t))$ for all pairs of vertices $(s,t)$ in a directed graph with $n$ nodes in $\tilde{O}((kn)^\omega)$ time [Akmal and Jin, ICALP 2023]. In this paper, we present an alternate exposition of these $\tilde{O}(m^\omega)$ and $\tilde{O}((kn)^\omega)$ time algorithms, with simpler proofs of correctness. Earlier proofs were somewhat indirect, introducing an elegant but ad hoc "flow vector framework" for showing correctness of these algorithms. In contrast, we observe that these algorithms for computing exact and small connectivity values can be interpreted as testing whether certain generating functions enumerating families of edge-disjoint paths are nonzero. This new perspective yields more transparent proofs, and ties the approach for these problems more closely to the literature surrounding algebraic graph algorithms.

Implements of Some New Algorithms for Combinatorial Maps

Map enumeration from a dynamical perspective

Mapeff: An Effective Graph Isomorphism Agorithm Based On The Discrete-Time Quantum Walk

Combinatorial species and graph enumeration

The Harer-Zagier and Jackson formulas and new results for one-face bipartite maps

Compact Combinatorial Maps in 3D.

Orientable vertex imprimitive complete maps

Further results on enumeration of perfect matchings of Cartesian product graphs

Combinatorial Exploration: An algorithmic framework for enumeration

Combinatorial properties of Farey graphs.

An Enumerative Perspective on Connectivity

Intersection results for general classes of maps

Commuting matrices via commuting endomorphisms

Arc-transitive maps with coprime Euler characteristic and edge number

Bijections between colored compositions, Dyck paths, and polygon partitions

Triangulated 3-Manifolds: Combinatorics and Volume Optimisation

A new asymptotic enumeration technique: the Lovasz Local Lemma

Permutation Picture of Graph Combinatorial Optimization Problems

Lattès maps and combinatorial expansion

Combinatorics of rectangulations: Old and new bijections

Compact Combinatorial Maps: A Volume Mesh Data Structure