We present a nearly-linear time algorithm for finding a minimum-cost flow in planar graphs with polynomially bounded integer costs and capacities. The previous fastest algorithm for this problem is based on interior point methods (IPMs) and works for general sparse graphs in O(n 1.5 poly(log n)) time [Daitch-Spielman, STOC'08].Intuitively, Ω(n 1.5 ) is a natural runtime barrier for IPM-based methods, since they require √ n iterations, each routing a possibly-dense electrical flow. To break this barrier, we develop a new implicit representation for flows based on generalized nested-dissection [Lipton-Rose-Tarjan, JSTOR'79] and approximate Schur complements FOCS'16]. This implicit representation permits us to design a data structure to route an electrical flow with sparse demands in roughly √ n update time, resulting in a total running time of O(n • poly(log n)). Our results immediately extend to all families of separable graphs.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.