[論文レビュー] An Efficient Algorithm for Enumerating Chordless Cycles and Chordless Paths

Takeaki Uno, Hiroko Satoh|arXiv (Cornell University)|Apr 30, 2014

Graph Theory and Algorithms参考文献 9被引用数 4

ひとこと要約

本稿では、グラフ内の弦なしサイクルおよび弦なしパスを列挙する効率的なアルゴリズムを提示する。各出力構造に対してO(|E|)の時間計算量を達成している。この手法は、弦検出に基づくプルーニングを施した深さ優先探索（DFS）に依存しており、実験の結果、スパarsなグラフでは構造1つあたりほぼ定数時間で実行可能であることが示された。弦なしサイクルの数は、すべてのサイクルに比べて著しく少ないことが分かった。

ABSTRACT

A chordless cycle (induced cycle) $C$ of a graph is a cycle without any chord, meaning that there is no edge outside the cycle connecting two vertices of the cycle. A chordless path is defined similarly. In this paper, we consider the problems of enumerating chordless cycles/paths of a given graph $G=(V,E),$ and propose algorithms taking $O(|E|)$ time for each chordless cycle/path. In the existing studies, the problems had not been deeply studied in the theoretical computer science area, and no output polynomial time algorithm has been proposed. Our experiments showed that the computation time of our algorithms is constant per chordless cycle/path for non-dense random graphs and real-world graphs. They also show that the number of chordless cycles is much smaller than the number of cycles. We applied the algorithm to prediction of NMR (Nuclear Magnetic Resonance) spectra, and increased the accuracy of the prediction.

研究の動機と目的

• 理論的コンピュータサイエンス分野において、弦なしサイクルおよびパスを列挙する効率的なアルゴリズムが不足しているという問題に取り組む。
• サイクル／パス列挙の指数的爆発を、応用においてより意味のある最小構造である弦なし構造に焦点を当てることで低減する。
• 出力線形時間計算量（構造1つあたり）を保証することで、大規模グラフにスケーリング可能な実用的アルゴリズムを開発する。
• NMR化学シフト予測などの実世界の問題に応用し、構造的洞察をもとに精度を向上させる。
• 弦なしサイクルの数がすべてのサイクルに比べて著しく少ないことが経験的に検証されることを確認する。

提案手法

• グラフ内のすべての単純パスおよびサイクルを探索するために、バックトラッキングを用いた深さ優先探索（DFS）を用いる。
• 現在のパス／サイクル内で非隣接な頂点同士を結ぶ非辺（弦）が検出された場合、その探索分岐をプルーニングする。
• 2頂点sとt間の弦なしパス列挙においては、パスを維持し、隣接頂点集合の比較により弦をチェックする。
• 弦なしサイクルの列挙には、パス列挙の変種を用い、パスをサイクルに閉じ込めた後、弦が存在しないことを検証する。
• 最短s-tパスは常に弦なしであるという性質を活用し、初期化およびプルーニングを効率化する。
• 頂点集合および隣接情報の維持により、探索中の弦チェックをO(1)で行えるように最適化する。

実験結果

リサーチクエスチョン

• RQ1 弦なしサイクルおよびパスは、出力線形時間（すなわち、構造1つあたりO(|E|)）で列挙可能か？
• RQ2 スパarsおよび実世界のグラフにおいて、弦なしサイクルの数は全サイクル数と比べてどの程度異なるか？
• RQ3 理論的最悪ケースの境界があるにもかかわらず、大規模グラフにおいても実用的な性能を維持できるか？
• RQ4 NMR化学シフト予測の精度向上に、弦なしサイクル列挙がどの程度寄与できるか？
• RQ5 すべてのサイクルやパスと比較して、弦なし構造のみを列挙することで出力サイズが著しく小さくなるか？

主な発見

• アルゴリズムは、弦なしサイクルまたはパス1つあたりO(|E|)時間で実行され、一般サイクルを列挙する古典的手法（Read-Tarjan法）と同等の効率性を達成している。
• 非密度的ランダムグラフおよび実世界のグラフでは、弦なしサイクル／パス1つあたりの平均計算時間はほぼ定数であり、優れた実用的性能を示している。
• 弦なしサイクルの数は、全サイクルの数に比べて著しく少ないため、中程度のサイズのグラフであっても列挙が現実可能である。
• 構造的洞察を弦なしサイクルから得ることで、NMR化学シフト予測の精度が実際に向上した。
• 弦なしパス列挙により、冗長的または非最小構造を避ける、最小で意味のある2頂点間パスを生成できる。
• 化学情報学など実世界の応用において、弦なしサイクルは分子内の基本的な環構造を表すため、本手法は有効である。