[論文レビュー] Parameterized Low-distortion Embeddings - Graph metrics into lines and trees

Michael R. Fellows, Fedor V. Fomin+4 more|ArXiv.org|Apr 18, 2008

Advanced Graph Theory Research参考文献 15被引用数 7

ひとこと要約

本稿では、歪みが有界な直線および木の度合いへの未重み付きおよび重み付きグラフ度合いの埋め込みに対する固定パラメータ動的計画法（FPT）アルゴリズムを提示する。本稿は、木におけるタイプベースの動的計画法の新規なアプローチを導入し、歪みdと木の次数ΔをパラメータとしてFPT実行時間を達成した。また、重み付きインスタンスにおいては、重みWに対する指数的依存が避けられないことを証明した。

ABSTRACT

We revisit the issue of low-distortion embedding of metric spaces into the line, and more generally, into the shortest path metric of trees, from the parameterized complexity perspective.Let $M=M(G)$ be the shortest path metric of an edge weighted graph $G=(V,E)$ on $n$ vertices. We describe algorithms for the problem of finding a low distortion non-contracting embedding of $M$ into line and tree metrics. We give an $O(nd^4(2d+1)^{2d})$ time algorithm that for an unweighted graph metric $M$ and integer $d$ either constructs an embedding of $M$ into the line with distortion at most $d$, or concludes that no such embedding exists. We find the result surprising, because the considered problem bears a strong resemblance to the notoriously hard Bandwidth Minimization problem which does not admit any FPT algorithm unless an unlikely collapse of parameterized complexity classes occurs. We show that our algorithm can also be applied to construct small distortion embeddings of weighted graph metrics. The running time of our algorithm is $O(n(dW)^4(2d+1)^{2dW})$ where $W$ is the largest edge weight of the input graph. We also show that deciding whether a weighted graph metric $M(G)$ with maximum weight $W < |V(G)|$ can be embedded into the line with distortion at most $d$ is NP-Complete for every fixed rational $d \geq 2$. This rules out any possibility of an algorithm with running time $O((nW)^{h(d)})$ where $h$ is a function of $d$ alone. We generalize the result on embedding into the line by proving that for any tree $T$ with maximum degree $Δ$, embedding of $M$ into a shortest path metric of $T$ is FPT, parameterized by $(Δ,d)$.

研究の動機と目的

• 線形および木のような単純な度合い空間への低歪み埋め込みというアルゴリズム的課題に取り組む。
• バンド幅最小化問題に類似しているものの、歪みdをパラメータとして固定パラメータ動的計画法（FPT）であるか否かを検討する。
• 未重み付きから重み付きグラフ度合いにFPT結果を拡張し、最大辺重みWの影響を分析する。
• 最大次数Δが有界な木をホストとする埋め込み問題に一般化し、(d, Δ)をパラメータとするFPTアルゴリズムを確立する。
• 複雑さのタイトな下界を確立し、重み付きインスタンスにおいてWに対する指数的依存が避けられないことを示す。

提案手法

• 木における局所的埋め込み行動を要約するための「頂点タイプ」の概念を導入し、動的計画法における効率的な状態伝播を可能にする。
• 「妥当なu状態」を定義し、隣接頂点との距離および拡張挙動をエンコードする[v, fu]-タイプリストを関連付ける。
• タイプリスト間の適合性および整合性条件を用いて、木の辺全体にわたる一貫性のあるグローバル埋め込みを保証する。
• 各ノードの状態が子ノードの状態に基づく「継続関係」を通じて決定される、再帰的な木分解戦略を採用する。
• 距離制約およびタイプ変換に従う状態遷移を制御する動的計画法を木構造上で適用する。
• 異なる頂点タイプの数をdおよびΔの関数に束縛し、パラメータが固定された場合に状態空間が有界のまま保たれることを保証する。

実験結果

リサーチクエスチョン

• RQ1 歪みdをパラメータとして固定した場合、未重み付きグラフ度合いを直線に低歪みで埋め込む問題はFPT時間で解けるか？
• RQ2 重み付きグラフ度合いを直線に埋め込む場合、辺重みWに対する指数的依存は避けられないか？
• RQ3 FPTアルゴリズムは、(d, Δ)をパラメータとして、最大次数Δの木への埋め込みに拡張可能か？
• RQ4 非有界次数の木やサイクルベースの度合いへの埋め込みのパラメータ化された複雑性はいかほどか？
• RQ5 頂点タイプおよびタイプリストの適合性の構造は、木上で効率的な動的計画法を可能にするか？

主な発見

• 歪みが最大dである未重み付きグラフ度合いを直線に埋め込むためのO(nd⁴(2d + 1)²ᵈ)時間のアルゴリズムを提示し、以前のO(n⁴ᵈ⁺²·dᴼ⁽¹⁾)の境界と比べて顕著に改善された。
• 重み付きグラフに対しては、Wを最大辺重みとして、O(n(dW)⁴(2d + 1)²ᵈʷ)時間で実行される。
• 本稿では、歪みd ≥ 2の重み付きグラフ度合いを直線に埋め込む問題がNP完全であることを証明し、任意の関数hについてO((nW)ʰ⁽ᵈ⁾)の実行時間を持つFPTアルゴリズムが存在しないことを否定した。
• 最大次数Δの木への埋め込みに向けた一般化されたFPTアルゴリズムを構築し、(d, Δ)をパラメータとしてO(n²·|V(T)|·2ᴼ⁽⁽⁵ᵈ⁾Δᵈ⁺¹·ᵈ⁾)の実行時間となった。
• グローバルな非収縮埋め込みの可能性は、木全体にわたる頂点タイプおよびタイプリストの整合性の確認に帰着される。
• 頂点タイプの概念により、状態表現が有界化され、指数的性質を持つ問題に対しても木上の動的計画法が可能になった。