[論文レビュー] Graph Decompositions and Length-Constrained Expanders (Invited Talk)

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

Complexity and Algorithms in Graphs被引用数 2

ひとこと要約

本稿では、古典的なgreedyアルゴリズムによるtスパンナ構築を、未スパンナの辺のマッチングを一度に追加することで並列化可能であり、依然として近似的に最適なスパarsityを維持できることを示している。長さ制約付きエクスパander分解を用いて、結果として得られるスパンナの辺数が $ t^3 \cdot \log^3 n \cdot n^{1+O(1/t)} $ 以下であることを証明している。これは、並列実行であるにもかかわらず、逐次的なgreedyアルゴリズムと同等のスパarsityを達成している。

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.

研究の動機と目的

• greedyアルゴリズムによるtスパンナ構築を、スパarsityの保証を失わず並列化できることを示すこと。
• 複数の未スパンナの辺（マッチングから得られるもの）を同時に追加した場合の出力グラフのスパarsityを分析すること。
• 従来のgirthに基づく議論に代わる、長さ制約付きエクスパander分解を基盤とする新たな解析フレームワークを構築すること。
• 出力グラフの木構造数が $ t^3 \cdot \log^3 n \cdot n^{O(1/t)} $ で有界であることを証明することにより、スパarsityを保証すること。

提案手法

• 未スパンナの辺の集合、特にマッチングを一般化して、並列greedyアルゴリズムを定義するための未スパンナの辺集合の概念を拡張する。
• 長さ制約付きエクスパander分解を用いて、最小次数が高いグラフにおける接続性および経路分布を分析する。
• 流量に基づく議論を適用し、木構造数が高ければ、マッチングの辺を避ける短い経路が存在するはずであり、これはt-pg（t経路なし）性質に矛盾することを示す。
• 部分グラフの性質と流量の混雑度を活用して、最終的なスパンナにおける辺数の上限を導出する。
• 並列greedyアルゴリズムの出力をモデル化するためのt-pg（t経路なし）グラフの概念を用い、木構造数の上限を証明する。
• バケッティング技術を用いて、スパarsityに $ O(\log n) $ の乗法的コストしか加えない範囲で、重み付き辺を持つグラフへ結果を拡張する。

実験結果

リサーチクエスチョン

• RQ1 未スパンナの辺のマッチングを一度に追加することで、tスパンナ構築のgreedyアルゴリズムを並列化可能であり、スパarsityを保証できるか？
• RQ2 並列的な辺追加によって出力グラフのgirthが小さくなる場合に、古典的なgirthに基づく議論に代わる解析フレームワークは何か？
• RQ3 並列greedy実行下での出力グラフの木構造数はどのようにスケーリングされ、タイトに有界にできるか？
• RQ4 girthが大きくないグラフに対しても、長さ制約付きエクスパander分解を用いてスパarsityの上限を証明できるか？
• RQ5 並列greedyアルゴリズムが生成するスパンナにおける辺数のタイトな上界は何か？

主な発見

• 並列greedyアルゴリズムは、$ t^3 \cdot \log^3 n \cdot n^{1+O(1/t)} $ 本の辺を有するtスパンナを生成する。
• 出力グラフの木構造数は $ t^3 \cdot \log^3 n \cdot n^{O(1/t)} $ で有界であり、これは辺数の上限を示唆している。
• 解析は、従来のgirthに基づく議論を、長さ制約付きエクスパander分解を用いた新しい流量に基づく手法に置き換えている。
• 出力グラフのgirthが4にまで小さくても、スパarsityの上限が保たれることから、小さなサイクルに対しても頑健であることが示された。
• 重み付き辺を持つグラフに対しても、スパarsityの上限に $ O(\log n) $ の乗法的要因しか加えない範囲で結果が拡張可能である。
• 本研究は、t-pgグラフ（t経路なしグラフ）が有界な木構造数を持つことを確立しており、これが証明の鍵となっている。