长度受限的有向扩展分解与顶点容量图中的长度受限流捷径

Length-Constrained Directed Expander Decomposition and Length-Constrained Vertex-Capacitated Flow Shortcuts

摘要 Abstract

我们证明了在有向图和无向顶点容量图中存在长度受限的扩展分解,而此前仅在无向边容量图中证明了其存在性[Haeupler-R\"acke-Ghaffari, STOC 2022;Haeupler-Hershkowitz-Tan, FOCS 2024]。在此过程中,我们还证明了有向图和无向顶点容量图中长度受限扩展的多商品最大流最小割定理。基于此分解,我们在无向顶点容量图中构建了长度受限的流捷径,大致而言,这是一种添加到图中的边和顶点集合,使得每个多商品流需求都能以大致相同的顶点拥塞度和长度进行路由,但所有流路径只包含少量边。这推广了[Haeupler-Hershkowitz-Li-Roeyskoe-Saranurak, STOC 2024]中针对无向边容量图的捷径。长度受限的扩展分解和流捷径在近期的无向边容量图算法中发挥了关键作用[Haeupler-Hershkowitz-Li-Roeyskoe-Saranurak, STOC 2024;Haeupler-Long-Saranurak, FOCS 2024]。因此,我们的工作为将这些概念推广到有向图和顶点容量图奠定了基础。

We show the existence of length-constrained expander decomposition in directed graphs and undirected vertex-capacitated graphs. Previously, its existence was shown only in undirected edge-capacitated graphs [Haeupler-R\"acke-Ghaffari, STOC 2022; Haeupler-Hershkowitz-Tan, FOCS 2024]. Along the way, we prove the multi-commodity maxflow-mincut theorems for length-constrained expansion in both directed and undirected vertex-capacitated graphs. Based on our decomposition, we build a length-constrained flow shortcut for undirected vertex-capacitated graphs, which roughly speaking is a set of edges and vertices added to the graph so that every multi-commodity flow demand can be routed with approximately the same vertex-congestion and length, but all flow paths only contain few edges. This generalizes the shortcut for undirected edge-capacitated graphs from [Haeupler-Hershkowitz-Li-Roeyskoe-Saranurak, STOC 2024]. Length-constrained expander decomposition and flow shortcuts have been crucial in the recent algorithms in undirected edge-capacitated graphs [Haeupler-Hershkowitz-Li-Roeyskoe-Saranurak, STOC 2024; Haeupler-Long-Saranurak, FOCS 2024]. Our work thus serves as a foundation to generalize these concepts to directed and vertex-capacitated graphs.