[論文レビュー] Incremental Topological Ordering and Strong Component Maintenance

Bernhard Haeupler, Siddhartha Sen+1 more|ArXiv.org|Mar 6, 2008

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

ひとこと要約

この論文は、弧が追加される度に有向グラフにおけるトポロジカル順序および強連結成分を維持するインクリメンタルなアルゴリズムを提示しており、1つの弧追加あたりの償額時間として最適な $O(m^{1/2})$ を達成している。二方向探索フレームワークにおいてヒープの代わりに近似中央値探索またはランダム選択を用いることで、優先度キューを避けて、スパースグラフに対してタイトな時間計算量を得ている。

ABSTRACT

We present an on-line algorithm for maintaining a topological order of a directed acyclic graph as arcs are added, and detecting a cycle when one is created. Our algorithm takes O(m^{1/2}) amortized time per arc, where m is the total number of arcs. For sparse graphs, this bound improves the best previous bound by a logarithmic factor and is tight to within a constant factor for a natural class of algorithms that includes all the existing ones. Our main insight is that the bidirectional search method of previous algorithms does not require an ordered search, but can be more general. This allows us to avoid the use of heaps (priority queues) entirely. Instead, the deterministic version of our algorithm uses (approximate) median-finding. The randomized version of our algorithm avoids this complication, making it very simple. We extend our topological ordering algorithm to give the first detailed algorithm for maintaining the strong components of a directed graph, and a topological order of these components, as arcs are added. This extension also has an amortized time bound of O(m^{1/2}) per arc.

研究の動機と目的

• 有向無閉路グラフにおけるインクリメンタルな弧追加の下でのトポロジカル順序の効率的維持という課題に対処すること。
• 従来のアルゴリズムがヒープや優先度キューを用いていたことによる対数的オーバーヘッドを改善すること。
• 同じ時間計算量で強連結成分とそのトポロジカル順序をインクリメンタルに維持できるようにアルゴリズムを拡張すること。
• 1つの弧追加あたりの償額時間として、あるアルゴリズムクラスの理論的下界と一致するタイトな $O(m^{1/2})$ 結果を得ること。
• 近似中央値探索とランダム化されたバージョンを用いた、明確で決定的であるが複雑なデータ構造を避けるアルゴリズムの提供。

提案手法

• 総順序を維持する必要のない、順序付けられた探索に代わる適合性のある探索法を二方向探索に導入すること。
• ヒープや優先度キューに依存せずに動的頂点順序を維持するために、近似中央値探索を用いること。
• 中央値探索の代わりにランダム選択を用いるランダム化されたバージョンを適用し、アルゴリズムを単純化しながら $O(m^{1/2})$ の時間計算量を維持すること。
• 新規弧の端点（例：元頂点と先端頂点）からの最大パス長に基づいて頂点番号を維持することで、効率的な再順序付けを可能にすること。
• 同じ番号を持つ頂点のブロックを含む動的リスト構造を用い、効率的な更新とグループ操作を可能にすること。
• 適合性のある探索によるコンponentの変化検出と、段階的かつ再帰的なコンponentトポロジの再計算により、強連結成分への拡張を実現すること。

実験結果

リサーチクエスチョン

• RQ1 インクリメンタルなトポロジカル順序の維持に用いられる二方向探索法は、順序付けられた探索や優先度キューに依存しないように一般化可能か？
• RQ2 スパースグラフにおけるインクリメンタルな弧追加の下でのトポロジカル順序の維持のための最適な償額時間計算量は何か？
• RQ3 同じフレームワークを強連結成分とそのトポロジカル順序の維持に拡張可能か？ その場合、同じ時間計算量が達成可能か？
• RQ4 自然なインクリメンタルアルゴリズムのクラスにおいて、$O(m^{1/2})$ 時間計算量はタイトか？
• RQ5 ヒープの代わりに近似中央値探索またはランダム選択を用いることで、正しさと効率性を維持できるか？

主な発見

• 提案されたアルゴリズムは、自然なアルゴリズムクラスにおいて、1つの弧追加あたり $O(m^{1/2})$ の償額時間計算量を達成しており、定数倍の差異を除いて最適である。
• 決定的バージョンは、ヒープを避けるために近似中央値探索を用いることで、従来の優先度キューを用いた手法よりもオーバーヘッドを低減している。
• ランダム化されたバージョンは、中央値探索をランダム選択に置き換えることでアルゴリズムを単純化し、同じ時間計算量を維持している。
• 同じ $O(m^{1/2})$ の償額時間計算量で、強連結成分の維持にも拡張可能である。
• 優先度キューの使用を完全に回避しており、これは従来の手法における主要なボトル neck であった。
• ブロックベースの動的リスト構造により、効率的な頂点再順序付けとグループ操作が可能となり、時間計算量が保たれている。