[論文レビュー] Efficient Enumeration of Chordless Cycles

Elisângela Silva Dias, Diane Castonguay+2 more|arXiv (Cornell University)|Sep 4, 2013

Graph Labeling and Dimension Problems参考文献 23被引用数 4

ひとこと要約

本稿では、無向単純グラフにおけるすべての弦なしサイクルを重複なく正確に1回ずつ列挙する2つの効率的アルゴリズムを提示する。頂点ラベル付けと初期有効頂点3つ組の導入に加え、修正された頂点ブロッキング戦略を用いた深さ優先探索に加え、縮小された部分グラフにおける幅優先探索を組み合わせることで、出力サイズに応じて最適な$$\mathcal{O}(n+m)\u0024$の時間計算量（サイクル1つあたり）を達成し、従来の手法がサイクルを重複して報告するか、より高い漸近的コストを有するのに対し、優れた性能を発揮する。

ABSTRACT

In a finite undirected simple graph, a {\it chordless cycle} is an induced subgraph which is a cycle. We propose two algorithms to enumerate all chordless cycles of such a graph. Compared to other similar algorithms, the proposed algorithms have the advantage of finding each chordless cycle only once. To ensure this, we introduced the concepts of vertex labeling and initial valid vertex triplet. To guarantee that the expansion of a given chordless path will always lead to a chordless cycle, we use a breadth-first search in a subgraph obtained by the elimination of many of the vertices from the original graph. The resulting algorithm has time complexity $\mathcal{O}(n + m)$ in the output size, where $n$ is the number of vertices and $m$ is the number of edges.

研究の動機と目的

• 重複を避けて、すべての弦なしサイクルを効率的に列挙する課題に対処すること。
• 従来のアルゴリズムが、サイクルの長さに応じて同じ弦なしサイクルを複数回報告するという制限を克服すること。
• すべての弦なしサイクルが正確に1回だけ発見されることを保証する手法を設計し、ネットワーク解析や化学構造モデリングの分野における効率性と実用性を向上させること。
• 出力サイズに応じて最適な出力依存時間計算量$$\mathcal{O}(n+m)\u0024$を達成すること、ここで$n$と$m$は頂点数および辺数を表す。
• 生態的ネットワークや都市の通り網など、実世界のグラフに対して実用的でスケーラブルな解決策を提供すること。弦なしサイクルは構造的性質を明らかにする。

提案手法

• 同じ弦なしサイクルの再発見を防ぐために、頂点ラベル付け方式を用いて一意に特定する。
• 探索の標準的な出発点を確保し、サイクルの一意性を保証するため、「初期有効頂点3つ組」の概念を導入する。
• 深さ優先探索（DFS）戦略により弦なしパスを拡張し、不正なパスへの再訪問を回避するため、修正された頂点ブロッキング機構を用いる。
• ブロック済み頂点が除去された部分グラフにおいて幅優先探索（BFS）を適用し、すべてのパス拡張が有効な弦なしサイクルに繋がることを保証する。
• 非弦なしサイクルに繋がる可能性のある頂点を削除することで、グラフを縮小し、探索効率を向上させる。
• DFSとBFSベースの部分グラフフィルタリングを組み合わせることで、正しさと性能のバランスを図り、実験結果では非BFSバージョンが実際にはより高速に動作することが示された。

実験結果

リサーチクエスチョン

• RQ1 従来のDFSベースの手法で一般的な重複を避けて、弦なしサイクルが正確に1回ずつ報告されるように列挙することは可能か？
• RQ2 出力サイズに応じて、すべての弦なしサイクルを列挙する際に達成可能な最適な時間計算量は何か？
• RQ3 頂点ラベル付けと初期3つ組の選択は、サイクルの標準的表現を強制し、重複を防ぐためにどのように利用できるか？
• RQ4 縮小された部分グラフにおけるBFSの使用は、すべてのパス拡張が弦なしサイクルに繋がることを保証するか？ また、これは性能にどのように影響するか？
• RQ5 理論的には正しさに優位なBFSを含むバージョンであるにもかかわらず、なぜ非BFSバージョンが実際にはより高速に動作するのか？

主な発見

• 提案されたアルゴリズムは、出力サイズに応じて$$\mathcal{O}(n+m)\u0024$の時間計算量を達成し、大規模な列挙において出力依存的かつ最適である。
• BFSを実行しないバージョンが、理論的に失敗拡張を回避できるBFS強化版よりも実際の実行で高速であることが観察された。
• ゴイアナ市街地グラフ（9316個の弦なしサイクル）では、1.13秒で処理を完了し、実世界のネットワークにおいて高い効率性を示した。
• 7×10グリッドグラフ（8,136,453個の弦なしサイクル）では678.09秒で処理が完了し、大規模なインスタンスにおいてもスケーラブルであることを確認した。
• 非BFSバージョンは、表2に示すように、BFSバージョンよりも少ないノード数と再帰呼び出し回数を探索しており、実用的性能が優れていることが示された。
• 生態的ネットワークや合成ネットワークを含む21のテストグラフにおいて、重複なしですべての弦なしサイクルを正しく列挙した。