[論文レビュー] Determining Edge Expansion and Other Connectivity Measures of Graphs of Bounded Genus

Viresh Patel|arXiv (Cornell University)|Apr 26, 2010

Interconnection Networks and Systems被引用数 7

ひとこと要約

この論文は、 genus g の n 頂点グラフに対して、エッジ拡張性やその他の f-スパーステスカット測度を計算する多項式時間アルゴリズムを提示する。実行時間は n^{O(g²)} である。この手法は、表面双対性とホモロジーを活用することで、計画的グラフアルゴリズムを拡張し、補助グラフにおける最短経路問題に問題を還元することで、有界な genus を持つグラフにおいて正確な解を得る。一般には NP 困難であるが、このアプローチにより、有界な genus グラフでは正確な解が得られる。

ABSTRACT

In this paper, we show that for an $n$-vertex graph $G$ of genus $g$, the edge expansion of $G$ can be determined in time $n^{O(g^2)}$. We show that the same is true for various other similar measures of edge connectivity.

研究の動機と目的

• 有界 genus のグラフにおけるエッジ拡張性および関連する接続性測度を正確に計算するアルゴリズムを開発すること。
• Park と Phillips の計画的グラフに対するアプローチを、より高い genus の曲面へ拡張すること。
• 非計画的グラフクラスにおけるスパーステスカットおよびクォータントカット問題に対する正確なアルゴリズムのギャップを埋めること。
• genus g に対して固定パrameter tractable な解決策を提供し、近似アルゴリズムを超える新しい方向性を提示すること。

提案手法

• グラフ G におけるカットと、genus g の曲面上に埋め込まれたその双対グラフ D(G) における閉路の間の双対性を活用する。
• 表面ホモロジーを用いて、D(G) の各向き付き辺を ℤ^{2g} 内のベクトルに割り当て、ホモロジー類によるサイクル検出を可能にする。
• 頂点、ウォーク長、ホモロジー類を符号化する頂点を持つ補助有向グラフ H* を構築し、その辺は有効な遷移を表す。
• H* においてダイクストラ法を適用し、基本頂点からの最短経路を計算する。この際、重みとホモロジー類を追跡する。
• D(G) における自明なホモロジー類（すなわち、Θ(σ) = 0）を持つ閉路を特定する。これらは G における有効なカットに対応する。
• d^f_G を最小化するようなウォークを選択し、双対写像 D⁻¹ を用いて G におけるカットに再マッピングする。

実験結果

リサーチクエスチョン

• RQ1 有界 genus のグラフにおいて、エッジ拡張性および関連する接続性測度を正確に多項式時間で計算できるか？
• RQ2 計画的グラフのケースを超えて、genus g に対して固定パrameter tractable なアルゴリズムが存在するか？
• RQ3 表面双対性とホモロジーを用いて、非計画的グラフにおける有効なカットをどのように特徴づけられるか？
• RQ4 トポロジカルグラフ理論を用いて、有界 genus グラフにおけるスパーステスカットまたは最小クォータントカット問題を正確に解けるか？

主な発見

• genus g の n 頂点グラフのエッジ拡張性は、n^{O(g²)} 時間で計算可能であり、genus に関して固定パrameter tractable なアルゴリズムを確立する。
• 同じアルゴリズムフレームワークは、多項式時間で計算可能な凹関数 f に対して、すべての f-スパーステスカット問題に適用可能である。
• 実行時間は O(n^{2g² + 4g + 7}) で抑えられ、任意の固定 genus g に対して多項式時間である。
• この手法は、サイズ O(n^{2g+3}) の補助グラフ H* を構築し、その上で最短経路問題を解くことに依存する。
• G における有効なカットは、D(G) における自明なホモロジー類を持つ閉路に対応し、ホモロジー追跡により効率的な列挙が可能である。
• アルゴリズムは、自明なホモロジーを持つすべての閉路に対して d^f_G を最小化することで、f-スパーステスカットを正しく特定する。