[論文レビュー] Isometric Embeddings in Trees and Their Use in Distance Problems

Guillaume Ducoffe|arXiv (Cornell University)|Nov 17, 2020

Advanced Graph Theory Research参考文献 50被引用数 3

ひとこと要約

本稿では、クライク幅が高々 k である n 頂点 m 辺のグラフにおける直径、ウィーナー指数、およびメディアン集合を計算する O(2^O(k)(n + m)^{1+o(1)})-time のアルゴリズムを提示する。これは、SETH に基づく条件付き下界と一致する。本稿は、各頂点あたり O(k log²n) ビットを用いる新しい距離ラベル化スキームを考案し、k-表現から O(k(n + m) log n) 時間で構築可能である。このラベル化スキームにより、O(kn² log n)-time のすべての頂点対最短経路（APSP）解法が可能となり、クライク幅が有界なグラフにおける距離問題のパラメータ化アルゴリズムに関する未解決の問題を解決する。

ABSTRACT

Coudert et al. (SODA'18) proved that under the Strong Exponential-Time Hypothesis, for any $ε>0$, there is no ${\cal O}(2^{o(k)}n^{2-ε})$-time algorithm for computing the diameter within the $n$-vertex cubic graphs of clique-width at most $k$. We present an algorithm which given an $n$-vertex $m$-edge graph $G$ and a $k$-expression, computes all the eccentricities in ${\cal O}(2^{{\cal O}(k)}(n+m)^{1+o(1)})$ time, thus matching their conditional lower bound. It can be modified in order to compute the Wiener index and the median set of $G$ within the same amount of time. On our way, we get a distance-labeling scheme for $n$-vertex $m$-edge graphs of clique-width at most $k$, using ${\cal O}(k\log^2{n})$ bits per vertex and constructible in ${\cal O}(k(n+m)\log{n})$ time from a given $k$-expression. Doing so, we match the label size obtained by Courcelle and Vanicat (DAM 2016), while we considerably improve the dependency on $k$ in their scheme. As a corollary, we get an ${\cal O}(kn^2\log{n})$-time algorithm for computing All-Pairs Shortest-Paths on $n$-vertex graphs of clique-width at most $k$. This partially answers an open question of Kratsch and Nelles (STACS'20).

研究の動機と目的

• 有界クライク幅グラフにおける直径を計算するための条件付き下界と既存のアルゴリズムの間のギャップを埋めること。
• 先行研究と比較して k にたいする依存度が改善された、有界クライク幅グラフのための距離ラベル化スキームの開発。
• SETH に基づく下界と一致する、有界クライク幅グラフにおける距離問題の擬似線形時間パラメータ化アルゴリズムの提供。
• 有界クライク幅グラフにおけるすべての頂点対最短経路（APSP）のパラメータ化複雑度に関する未解決の問題への回答。

提案手法

• 木分解と k-表現に基づく再帰的アルゴリズムを設計し、効率的に同心円を計算する。
• 各頂点あたり O(k log²n) ビットを割り当てる、新しい距離ラベル化スキームを用い、k-表現から O(k(n + m) log n) 時間で構築可能である。
• 直交範囲クエリフレームワークを用いて、有界クライク幅グラフにおけるすべての頂点対距離を計算する。
• ラベル化スキームが効率的な距離クエリをサポートし、ウィーナー指数とメディアン集合の計算を可能にすることを証明する。
• 同じラベル化と分解構造を活用して、ウィーナー指数とメディアン集合の計算を拡張する。
• グラフの再帰的分解に基づく帰納法を用い、k-モジュールを維持し、ラベル化と距離計算の正しさを保証する。

実験結果

リサーチクエスチョン

• RQ1 クライク幅が高々 k であるグラフにおける直径を計算する O(2^O(k)(n + m)^{1+o(1)})-time のアルゴリズムを設計可能か？ これは SETH に基づく下界と一致する。
• RQ2 有界クライク幅グラフのための距離ラベル化スキームを、各頂点あたり O(k log²n) ビットで構築可能であり、k にたいする指数的でない依存度を満たすことができるか？
• RQ3 提案されたフレームワークにより、有界クライク幅グラフにおけるすべての頂点対最短経路（APSP）を O(kn² log n) 時間で効率的に計算可能か？
• RQ4 同じ技術を用いて、同じ時間計算量でウィーナー指数とメディアン集合を計算可能か？
• RQ5 有界クライク幅グラフにおける距離問題の真にサブ二次時間パラメータ化アルゴリズムを、クライク幅に単一指数関数的依存度をもって達成可能か？

主な発見

• 本稿は、Coudert らによる有界クライク幅グラフにおける直径計算の SETH に基づく条件付き下界と一致する、最初のアルゴリズムを提示する。実行時間は O(2^O(k)(n + m)^{1+o(1)}) である。
• Courcelle と Vanicat のスキームと比較して k にたいする依存度を改善しながらも、同じラベルサイズを維持する、各頂点あたり O(k log²n) ビットの距離ラベル化スキームを構築した。
• 直径計算と同一の時間計算量でウィーナー指数とメディアン集合を計算可能であり、距離不変量への広範な適用性を示した。
• n 頂点のクライク幅が高々 k であるグラフに対して、O(kn² log n)-time の APSP アルゴリズムを達成した。これは Kratsch と Nelles による未解決の問題の部分的解決である。
• 再帰的構造のおかげで、各再帰レベルにおける部分問題の総和がノード数の (2/3)^r 減衰によって抑えられ、合計実行時間は O(2^O(k)(n + m)^{1+o(1)}) 以内に保たれる。
• 再帰的分解に基づく帰納法により、k-モジュールおよび木表現における最小共通祖先の性質に依存して、アルゴリズムの正しさが確立された。