[論文レビュー] Efficiently Listing Combinatorial Patterns in Graphs

Rui Ferreira|arXiv (Cornell University)|Aug 30, 2013

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

ひとこと要約

本稿では、グラフにおける4つの基本的な組合せ的パターン（k-部分木、k-部分グラフ、サイクル、st-パス）を列挙する最適で出力に依存するアルゴリズムを提示する。動的証明書と均等分析を用いた統一的な再帰的分割フレームワークを導入し、入力および出力サイズに比例する最適な時間計算量を達成した。これにより、これらの列挙問題に関して、従来の手法に比べ顕著な改善がなされた。

ABSTRACT

Graphs are extremely versatile and ubiquitous mathematical structures with potential to model a wide range of domains. For this reason, graph problems have been of interest since the early days of computer science. Some of these problems consider substructures of a graph that have certain properties. These substructures of interest, generally called patterns, are often meaningful in the domain being modeled. Classic examples of patterns include spanning trees, cycles and subgraphs. This thesis focuses on the topic of explicitly listing all the patterns existing in an input graph. One of the defining features of this problem is that the number of patterns is frequently exponential on the size of the input graph. Thus, the time complexity of listing algorithms is parameterized by the size of the output. The main contribution of this work is the presentation of optimal algorithms for four different problems of listing patterns in graphs, namely the listing of k-subtrees, k-subgraphs, st-paths and cycles. The algorithms presented are framed within the same generic approach, based in a recursive partition of the search space that divides the problem into subproblems. The key to an efficient implementation of this approach is to avoid recursing into subproblems that do not list any patterns. With this goal in sight, a dynamic data structure, called the certificate, is introduced and maintained throughout the recursion. Moreover, properties of the recursion tree and lower bounds on the number of patterns are used to amortize the cost of the algorithm on the size of the output.

研究の動機と目的

• 組合せ的部分構造の列挙に向け、出力に依存する効率的なアルゴリズムを開発すること。これらの構造はしばしば指数的多数存在する。
• 入力の読み込みと出力の書き出しに加えて、最小限のオーバーヘッドで、k-部分木やk-部分グラフといったパターンを無向グラフにおいて列挙する課題に対処すること。
• サイクルとst-パスへの応用を拡張し、これらの複雑なパターンクラスについて最適な列挙時間の達成を図ること。
• 動的データ構造と均等コスト解析を用いて、多様な列挙問題を1つの再帰的フレームワークに統合すること。
• 今後の動的データ構造、ブラックボックスパターン列挙、および効率的出力表現の研究の基盤を築くこと。

提案手法

• 探索空間を部分問題に再帰的に二分分割する戦略を採用し、有効なパターンを含まない部分空間の探索を回避する。
• 各部分問題におけるパターンの存在を追跡する動的「証明書」データ構造を導入・維持し、空の分岐を pruning する。
• 再帰木の構造とパターン数の下界に基づく均等分析を用い、証明書の維持コストを出力サイズに比例する形に分散する。
• 双連結成分分解とブロック木のビーズストリング分解を用いて、サイクル列挙をst-パス列挙に還元する。
• スプライス構造を再帰木上で走査する再帰的アルゴリズムを設計し、エッジ探索コストを特定のノードに割り当てることで、均等効率を保証する。
• 特にバックトラッキング時において整合性を保つために、右側更新（right_update）および左側更新（left_update）操作を用いて証明書の更新を実装する。

実験結果

リサーチクエスチョン

• RQ1 出力に依存する計算量で、複数の組合せ的パターンを最適に列挙できる統一的フレームワークを設計できるか？
• RQ2 再帰的列挙の過程で、解のない部分問題を探索しないために、動的証明書を効率的に維持する方法は何か？
• RQ3 証明書の維持コストの総和が、出力サイズに比例するように保証する均等戦略は何か？
• RQ4 グラフの構造的分解を用いて、サイクル列挙をst-パス列挙に最適に還元できるか？
• RQ5 この手法は、他のパターン列挙問題へ一般化できるか、また、効率的出力符号化のサポートを拡張できるか？

主な発見

• k-部分木の列挙アルゴリズムは、入力サイズとk-部分木の数に比例する最適な出力に依存する時間計算量を達成する。
• k-部分グラフの列挙アルゴリズムは、|V| + |E| + |E_k| の時間で実行され、|E_k| はすべてのk-部分グラフに含まれるエッジの総数を表す。この時間は情報理論的下界と一致する。
• サイクル列挙アルゴリズムは最適であり、|V| + |E| + |C| の時間計算量を達成する。ここで |C| はサイクルの数であり、st-パス列挙への還元によって実現される。
• st-パス列挙アルゴリズムも最適であり、|V| + |E| + |P| の時間計算量を達成する。ここで |P| はst-パスの数であり、同じフレームワークが使用される。
• 再帰木の任意のスプライスにおいて、証明書の維持コストは O(|E_X|) で抑えられ、全体の効率性が保証される。
• このフレームワークにより、各エッジが関連する部分問題ごとに最大1回ずつ処理され、コストが出力に均等に分散されるチャージングスキームが可能になる。