[論文レビュー] Faster Shortest Non-contractible Cycles in Directed Surface Graphs

Kyle Fox|arXiv (Cornell University)|Nov 29, 2011

Graph Theory and Algorithms参考文献 34被引用数 3

ひとこと要約

この論文は、g 種類のハブと b 個の境界サイクルを持つ曲面に埋め込まれた有向グラフにおける、非可縮小および非ゼロホモロジーラスサイクルの計算のためのより高速なアルゴリズムを提示する。分割統治法と、標準的ループ系における動的データ構造を活用することで、非可縮小サイクルに対しては O((g³ + gb)n log n) 時間、非ゼロホモロジーラスサイクルに対しては O((g² + gb)n log n) 時間を達成し、従来の境界を著しく改善する。

ABSTRACT

Let G be a directed graph embedded on a surface of genus g with b boundary cycles. We describe an algorithm to compute the shortest non-contractible cycle in G in O((g 3 + g b)n log n) time. Our algorithm improves the previous best known time bound of (g + b) O(g+b) n log n for all positive g and b. We also describe an algorithm to compute the shortest non-null-homologous cycle in G in O((g 2 + g b)n log n) time, generalizing a known algorithm to compute the shortest non-separating cycle.

研究の動機と目的

• 有向グラフが g 種類のハブと b 個の境界サイクルを持つ曲面に埋め込まれた場合の、最短非可縮小サイクルを計算する時間計算量を改善すること。
• 既存の非分離サイクルのためのアルゴリズムを一般化し、有向表面グラフにおける最短非ゼロホモロジーラスサイクルを計算すること。
• g に対して近似的に二次関数的依存を達成し、g + b に対して従来の指数的依存を削減すること。
• g と境界サイクル数の両方に効率的にスケーリングする、有向表面グラフにおける効率的なアルゴリズムを提供すること。

提案手法

• アルゴリズムは、曲面における標準的ループ系を用いて、問題をより小さな部分問題に分解する。
• 標準的ループ系上で分割統治戦略を適用し、候補となるサイクルを効率的に探索する。
• 計算中に最短経路クエリを高速にサポートするために、グラフ上に動的データ構造を維持する。
• 表面埋め込みの位相的性質を活用して、探索空間を本質的サイクルに制限する。
• 非ゼロホモロジーラスサイクルの場合、サイクルの基底を用いてホモロジー類を追跡するようにフレームワークを拡張する。
• 時間計算量は、標準的ループの数と、グラフ上での最短経路計算のコストを組み合わせることで導出される。

実験結果

リサーチクエスチョン

• RQ1 有向表面グラフにおける最短非可縮小サイクルの計算の時間計算量を、従来の (g + b)^O(g+b) n log n の境界を超えて改善できるか？
• RQ2 非分離サイクルのためのアルゴリズムを一般化し、有向グラフにおける最短非ゼロホモロジーラスサイクルを計算できるか？
• RQ3 このようなサイクル計算問題における、g と境界数 b の最適な依存関係は何か？
• RQ4 標準的ループ系を用いることで、最短本質的サイクルの探索空間を効果的に削減できるか？

主な発見

• アルゴリズムは、O((g³ + gb)n log n) 時間で最短非可縮小サイクルを計算し、従来の (g + b)^O(g+b) n log n の境界を改善する。
• アルゴリズムは、O((g² + gb)n log n) 時間で最短非ゼロホモロジーラスサイクルを計算し、非分離サイクルに関する既知の結果を一般化する。
• g + b に対する指数的依存を多項式的依存に削減することで、特に g に対して立方乗の依存にすることで改善が達成される。
• 標準的ループ系の構造的使用により、g や境界サイクル数が大きくても効率性が保たれる。