Abstract:The dual of a planar graph $G$ is a planar graph $G^*$ that has a vertex for each face of $G$ and an edge for each pair of adjacent faces of $G$. The profound relationship between a planar graph and its dual has been the algorithmic basis for solving numerous (centralized) classical problems on planar graphs. In the distributed setting however, the only use of planar duality is for finding a recursive decomposition of $G$ [DISC 2017, STOC 2019]. We extend the distributed algorithmic toolkit to work on the dual graph $G^*$. These tools can then facilitate various algorithms on $G$ by solving a suitable dual problem on $G^*$. Given a directed planar graph $G$ with positive and negative edge-lengths and hop-diameter $D$, our key result is an $\tilde{O}(D^2)$-round algorithm for Single Source Shortest Paths on $G^*$, which then implies an $\tilde{O}(D^2)$-round algorithm for Maximum $st$-Flow on $G$. Prior to our work, no $\tilde{O}(\text{poly}(D))$-round algorithm was known for Maximum $st$-Flow. We further obtain a $D\cdot n^{o(1)}$-rounds $(1-\epsilon)$-approximation algorithm for Maximum $st$-Flow on $G$ when $G$ is undirected and $st$-planar. Finally, we give a near optimal $\tilde O(D)$-round algorithm for computing the weighted girth of $G$. The main challenges in our work are that $G^*$ is not the communication graph (e.g., a vertex of $G$ is mapped to multiple vertices of $G^*$), and that the diameter of $G^*$ can be much larger than $D$ (i.e., possibly by a linear factor). We overcome these challenges by carefully defining and maintaining subgraphs of the dual graph $G^*$ while applying the recursive decomposition on the primal graph $G$. The main technical difficulty, is that along the recursive decomposition, a face of $G$ gets shattered into (disconnected) components yet we still need to treat it as a dual node.

Finding All Useless Arcs in Directed Planar Graphs

Faster Algorithm for Maximum Flow in Directed Planar Graphs with Vertex Capacities

Multiple-Source Multiple-Sink Maximum Flow in Directed Planar Graphs in $O(n^{1.5} \log n)$ Time

Improved Minimum Cuts and Maximum Flows in Undirected Planar Graphs

Max $s,t$-Flow Oracles and Negative Cycle Detection in Planar Digraphs

Distributed Maximum Flow in Planar Graphs

Multiple-source multiple-sink maximum flow in planar graphs

Multiple source, single sink maximum flow in a planar graph

Min-Cost Flow in Unit-Capacity Planar Graphs

Maximum Flow and Minimum-Cost Flow in Almost-Linear Time

Maximum Flow by Augmenting Paths in $n^{2+o(1)}$ Time

A near-linear time minimum Steiner cut algorithm for planar graphs

A New Approach to Constructing a Minimum Edge Cut Set Based on Maximum Flow.

Minimum Cuts in Directed Graphs via $\sqrt{n}$ Max-Flows

Almost-Linear Time Algorithms for Decremental Graphs: Min-Cost Flow and More via Duality

Nested Dissection Meets IPMs: Planar Min-Cost Flow in Nearly-Linear Time

Computing Maximum Flows in Undirected Planar Networks with Both Edge and Vertex Capacities

Designing Optimal Flow Networks

Deterministic Min-cut in Poly-logarithmic Max-flows

Constrained Flows in Networks