[论文解读] Graph Decompositions and Length-Constrained Expanders (Invited Talk)

Bernhard Haeupler|arXiv (Cornell University)|Apr 18, 2023

Complexity and Algorithms in Graphs被引用 2

一句话总结

本文证明，通过同时添加整个未连接边匹配集，经典贪心算法构建 t-泛化图的过程可被并行化，同时仍保持近似最优的稀疏性。作者利用长度受限的扩展图分解，证明所得到的泛化图最多包含 $ t^3 \cdot \log^3 n \cdot n^{1+O(1/t)} $ 条边，尽管是并行执行，其稀疏性仍与串行贪心算法一致。

ABSTRACT

A $t$-spanner of a graph is a subgraph that $t$-approximates pairwise distances. The greedy algorithm is one of the simplest and most well-studied algorithms for constructing a sparse spanner: it computes a $t$-spanner with $n^{1+O(1/t)}$ edges by repeatedly choosing any edge which does not close a cycle of chosen edges with $t+1$ or fewer edges. We demonstrate that the greedy algorithm computes a $t$-spanner with $t^3\cdot \log^3 n \cdot n^{1 + O(1/t)}$ edges even when a matching of such edges are added in parallel. In particular, it suffices to repeatedly add any matching where each individual edge does not close a cycle with $t +1$ or fewer edges but where adding the entire matching might. Our analysis makes use of and illustrates the power of new advances in length-constrained expander decompositions.

研究动机与目标

• 证明贪心算法在构建 t-泛化图时可被并行化，而不会牺牲稀疏性保证。
• 分析在并行添加多个未连接边（来自匹配）时，输出图的稀疏性。
• 提出一种基于长度受限扩展图分解的新分析框架，以替代传统的围长（girth）相关论证。
• 证明输出图的度数（arboricity）被限制在 $ t^3 \cdot \log^3 n \cdot n^{O(1/t)} $ 以内，从而确保稀疏性。

提出的方法

• 将未连接边的概念推广至未连接边集合，特别是匹配集，以定义并行贪心算法。
• 利用长度受限的扩展图分解分析最小度数较高的图中的连通性与路径分布。
• 应用基于流的论证方法，证明若度数较高，则必然存在避开匹配边的短路径，这与 t-pg（t-无路径图）性质矛盾。
• 利用子图性质与流拥塞关系，推导最终泛化图中边数的上界。
• 引入 t-pg（t-无路径）图的概念以建模并行贪心算法的输出，并证明其度数有界。
• 采用分桶技术，将结果扩展至边权图，仅使稀疏性上界增加 $ O(\log n) $ 的乘法因子。

实验结果

研究问题

• RQ1 能否通过一次添加整个未连接边匹配集的方式，将 t-泛化图构建的贪心算法并行化，同时保持稀疏性？
• RQ2 当输出图因并行添加边而可能具有较小围长时，何种分析框架可替代传统的围长相关论证？
• RQ3 在并行贪心执行下，输出图的度数如何变化？能否实现紧密的有界？
• RQ4 长度受限的扩展图分解能否用于证明不具大围长的图的稀疏性上界？
• RQ5 并行贪心算法生成的泛化图中，边数的最紧上界是什么？

主要发现

• 并行贪心算法生成的 t-泛化图最多包含 $ t^3 \cdot \log^3 n \cdot n^{1+O(1/t)} $ 条边。
• 输出图的度数被限制在 $ t^3 \cdot \log^3 n \cdot n^{O(1/t)} $ 以内，这蕴含了边数的上界。
• 该分析以新颖的基于流的方法替代了传统的围长相关论证，方法基于长度受限的扩展图分解。
• 即使输出图的围长小至 4，稀疏性上界依然成立，表明对小环具有鲁棒性。
• 该结果可扩展至边权图，仅使稀疏性上界增加 $ O(\log n) $ 的乘法因子。
• 本工作确立了 t-pg 图（t-无路径图）具有有界度数，这是证明的关键。