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.

Cycles to the Rescue! Novel Constraints to Compute Maximum Planar Subgraphs Fast

Exact Algorithms for the Maximum Planar Subgraph Problem: New Models and Experiments

Planar Graphs with the Maximum Number of Induced 4-Cycles or 5-Cycles

On $k$-planar Graphs without Short Cycles

Maximum planar subgraphs in dense graphs

An Algorithm for Maximum Common Subgraph of Planar Triangulation Graphs

Constrained Level Planarity is FPT with Respect to the Vertex Cover Number

Massively Parallel Computation on Embedded Planar Graphs

Maximum Cut Parameterized by Crossing Number

Constrained Planarity in Practice -- Engineering the Synchronized Planarity Algorithm

Distributed Maximum Flow in Planar Graphs

Planar Cycle-Extendable Graphs

Constructing Optimal Cyclic Tours for Planar Exploration and Obstacle Avoidance : A Graph Theory Approach

Complexity Framework for Forbidden Subgraphs II: Edge Subdivision and the "H"-graphs

The maximum number of odd cycles in a planar graph

Faster Algorithms for Computing Maximal 2-Connected Subgraphs in Sparse Directed Graphs

Planar Vertex-Disjoint Cycle Packing: New Structures And Improved Kernel

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

Planar Graphs with Homomorphisms to the 9-cycle

Algorithmic methods of finite discrete structures. Topological graph drawing (part II)

Bounding the number of odd paths in planar graphs via convex optimization