[論文レビュー] Balancing Minimum Spanning and Shortest Path Trees

Samir Khuller, Balaji Raghavachari+1 more|arXiv (Cornell University)|May 18, 2002

Complexity and Algorithms in Graphs被引用数 9

ひとこと要約

本稿では、与えられた頂点をルートとする最小全域木（MST）と単一始点最短経路木（SPT）の両方を同時に近似する全域木を構築する線形時間アルゴリズムを提示する。この手法は、木の総重さがMSTの重さの$1 + \sqrt{2}/\gamma$倍以下であり、根からの任意の頂点までの距離がSPT距離の$1 + \sqrt{2}\gamma$倍以下となるように、最適なトレードオフを達成する。

ABSTRACT

This paper give a simple linear-time algorithm that, given a weighted digraph, finds a spanning tree that simultaneously approximates a shortest-path tree and a minimum spanning tree. The algorithm provides a continuous trade-off: given the two trees and epsilon > 0, the algorithm returns a spanning tree in which the distance between any vertex and the root of the shortest-path tree is at most 1+epsilon times the shortest-path distance, and yet the total weight of the tree is at most 1+2/epsilon times the weight of a minimum spanning tree. This is the best tradeoff possible. The paper also describes a fast parallel implementation.

研究の動機と目的

• 最小全域木（MST）の最小総重さと、指定された頂点からの最短経路距離を同時に近似する単一の全域木を構築するという根本的問題に取り組む。
• 総重さの最小化と最短経路距離の維持という、対立する二つの目的の間で連続的なトレードオフを提供する。
• このような木の存在を証明し、トレードオフが最適であることを示し、近似係数に関するタイトな境界を確立する。
• これらのバランスの取れた木を計算するための効率的な逐次的および並列アルゴリズムを開発する。
• 一般には、このような木の存在を求める問題がNP完全であることを示し、特定の条件下では線形時間で解けることを示す。

提案手法

• アルゴリズムは、Awerbuchらによる浅い軽量木の構築法を変更したバージョンを用い、MSTおよびSPTの性質をバランスさせるように調整する。
• SPTと候補木との間の距離違反に関する単調性の性質を用いた、二分探索に類似した手続きを活用する。
• 主な洞察は、根から頂点$ u_j $までのSPT上の距離が、候補木上の距離の$ \alpha $倍を超えるかどうかを示す関数$ m(i,j) $を定義することである。この関数は根からのパス走査を用いて計算される。
• 並列実装では、CREW PRAM上で$ n $プロセッサを用い、関数$ J(i) = \min\{j : m(i,j)\} $を$ O(\log n) $時間で前缀最大値と二分探索を用いて計算する。
• 最終的な木は、MSTとSPTの辺を組み合わせることで構築され、両方の重さと距離の制約を満たすように保証される。
• アルゴリズムは、結果の木が$ (\alpha, \beta) $-LASTであり、$ \beta = 1 + \frac{2}{\alpha - 1} $を満たすことを保証し、最良の可能なトレードオフを達成する。

実験結果

リサーチクエスチョン

• RQ1 単一の全域木を構築でき、それが同時に最小全域木と単一始点最短経路木を近似できるか？
• RQ2 総重さの近似係数と経路距離の近似係数の間の最適なトレードオフは何か？
• RQ3 このような木を逐次的および並列的環境で効率的に計算できるか？
• RQ4 与えられたトレードオフに対して、このような木が存在しないグラフは存在するか？ また、その存在を決定することはどれほど難しいか？
• RQ5 ユークリッドグラフなどの特殊なグラフクラスでは、トレードオフを改善できるか、あるいは距離制約を緩和することで改善可能か？

主な発見

• $ \alpha > 1 $および$ \beta \geq 1 + \frac{2}{\alpha - 1} $の任意の組み合わせに対して、$ (\alpha, \beta) $-LASTが存在し、このトレードオフは最適である。
• MSTとSPTを入力として与えられた場合、アルゴリズムは$ O(m + n) $時間で逐次的にそのような木を構築する。
• CREW PRAM上で$ n $プロセッサを用いることで、$ O\left(\log n\right) $時間で実行され、並列性能が最適である。
• $ \beta < 1 + \frac{2}{\alpha - 1} $の場合、そのような木が存在しない平面グラフが存在することを示し、トレードオフのタイトさを証明する。
• ある$ \alpha > 1 $が固定された場合でも、$ (\alpha, \beta) $-LASTの存在を決定する問題はNP完全である。
• 任意の最短経路木が与えられた場合、最小重さの最短経路木を線形時間で見つけられる。この結果は有向グラフに対しても成立する。