Abstract:We study the maximum $s,t$-flow oracle problem on planar directed graphs where the goal is to design a data structure answering max $s,t$-flow value (or equivalently, min $s,t$-cut value) queries for arbitrary source-target pairs $(s,t)$. For the case of polynomially bounded integer edge capacities, we describe an exact max $s,t$-flow oracle with truly subquadratic space and preprocessing, and sublinear query time. Moreover, if $(1-\epsilon)$-approximate answers are acceptable, we obtain a static oracle with near-linear preprocessing and $\tilde{O}(n^{3/4})$ query time and a dynamic oracle supporting edge capacity updates and queries in $\tilde{O}(n^{6/7})$ worst-case time. To the best of our knowledge, for directed planar graphs, no (approximate) max $s,t$-flow oracles have been described even in the unweighted case, and only trivial tradeoffs involving either no preprocessing or precomputing all the $n^2$ possible answers have been known. One key technical tool we develop on the way is a sublinear (in the number of edges) algorithm for finding a negative cycle in so-called dense distance graphs. By plugging it in earlier frameworks, we obtain improved bounds for other fundamental problems on planar digraphs. In particular, we show: (1) a deterministic $O(n\log(nC))$ time algorithm for negatively-weighted SSSP in planar digraphs with integer edge weights at least $-C$. This improves upon the previously known bounds in the important case of weights polynomial in $n$, and (2) an improved $O(n\log{n})$ bound on finding a perfect matching in a bipartite planar graph.

A PRIMAL ALGORITHM FOR THE SUBMODULAR FLOW PROBLEM WITH MINIMUM-MEAN CYCLE SELECTION

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

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

A Network Simplex Method for the Budget-Constrained Minimum Cost Flow Problem

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

Smoothed Analysis of the Minimum-Mean Cycle Canceling Algorithm and the Network Simplex Algorithm

Partial Implementation of Max Flow and Min Cost Flow in Almost-Linear Time

Minimum Cost Flow Problem on Some Networks with Node Weight

A Flow Rationing Strategy over Multiple Flow Classes on Restricted Paths

Designing Optimal Flow Networks

A fast parallel algorithm for minimum-cost small integral flows

Min-Cost Flow in Unit-Capacity Planar Graphs

A New Algorithm for Multicommodity Flow

Single-machine scheduling to minimize total convex resource consumption with a constraint on total weighted flow time

On the computational complexity of minimum-concave-cost flow in a two-dimensional grid

New Nonlinear Minimum Cost Network Flow Algorithm

On the Quickest Flow Problem in Dynamic Networks: a Parametric Min-Cost Flow Approach

Deterministic Minimum Steiner Cut in Maximum Flow Time

On the Complexity and Approximability of Budget-Constrained Minimum Cost Flows

Combinatorial Continuous Maximal Flows

Inverse minimum flow problem under the weighted sum-type Hamming distance