[論文レビュー] Finding and Counting Patterns in Sparse Graphs

Balagopal Komarath, Anurag Pandey+1 more|arXiv (Cornell University)|Nov 9, 2020

Advanced Graph Theory Research参考文献 40被引用数 3

ひとこと要約

この論文は、パターングラフの木深さ、パス幅、木幅のそれぞれに対応して、ホモモルフィズム多項式の単調な代数的複雑さ測度—式、ABP、回路複雑さ—をきめ細かく特徴づける。これは、スパースグラフにおける部分グラフおよび誘導部分グラフ同型性問題のための効率的で空間最適なアルゴリズムをもたらす。

ABSTRACT

We consider algorithms for finding and counting small, fixed graphs in sparse host graphs. In the non-sparse setting, the parameters treedepth and treewidth play a crucial role in fast, constant-space and polynomial-space algorithms respectively. We discover two new parameters that we call matched treedepth and matched treewidth. We show that finding and counting patterns with low matched treedepth and low matched treewidth can be done asymptotically faster than the existing algorithms when the host graphs are sparse for many patterns. As an application to finding and counting fixed-size patterns, we discover Õ(m³)-time, constant-space algorithms for cycles of length at most 11 and Õ(m²)-time, polynomial-space algorithms for paths of length at most 10.

研究の動機と目的

• パターングラフの構造的グラフパラメータを用いて、ホモモルフィズム多項式の単調な代数的複雑さを特徴づける。
• 単一のフレームワークの下で代数的複雑さとグラフアルゴリズム分野の散在する結果を統合する。
• 部分グラフおよび誘導部分グラフ同型性検出のための時間・空間効率の良いアルゴリズムを開発する。
• 代表的な組合せ問題を用いて、単調回路、ABP、式の間で超多項式の分離を確立する。
• 定数次数の多項式に対する細粒度分離のための新しい統一的アプローチを提供する。

提案手法

• 固定されたパターングラフ H から n 頂点のホストグラフへのすべてのホモモルフィズムをエンコードするためにホモモルフィズム多項式を用いる。
• 木深さ、パス幅、木幅をそれぞれ単調式、ABP、回路複雑さの正確な特徴づけとしてグラフパラメータとして適用する。
• ハールの定理を用いたマッチングに基づく下界の議論を用いて、回路の最適性を証明する。
• 解析木および算術回路の対数空間構成を活用して、空間効率の良いアルゴリズムを実現する。
• 線形結合を用いて誘導部分グラフ同型性をホモモルフィズムの数え上げに還元する。Kk は特別な場合である。
• モジュラー数え上げとランダム還元を用いて、空間制限付きで誘導部分グラフ検出をシミュレートする。

実験結果

リサーチクエスチョン

• RQ1 単調な代数的複雑さ測度は、構造的グラフパラメータとどのように関係するか？
• RQ2 ホモモルフィズム多項式は、単調回路、ABP、式モデル間の既知の分離結果を統一できるか？
• RQ3 スパースグラフにおける部分グラフおよび誘導部分グラフ同型性の正確な複雑さは何か？
• RQ4 ホモモルフィズム多項式フレームワークから、効率的で時間・空間に最適なアルゴリズムを導出できるか？
• RQ5 異なる誘導パターンの検出における複雑さに本質的な差異はあるか？

主な発見

• ホモモルフィズム多項式の単調式複雑さは、パターングラフの木深さに正確に特徴づけられる。
• 単調 ABP 複雑さは、パターングラフのパス幅に正確に一致する。
• 単調回路複雑さは、パターングラフの木幅に正確に特徴づけられる。
• このフレームワークにより、自然な組合せ問題を用いて単調回路、ABP、式の間で超多項式の分離が得られる。
• 任意の k 頂点のパターングラフ H ≠ Kk に対して、O(n^{k-1}) 時間および O(log²n) 空間で H に同型な部分グラフを数えることができる組合せ的アルゴリズムが存在する。
• t(n)/s(n) のアルゴリズムが H に対して与えられている場合、任意の k 頂点の H に対する誘導部分グラフ同型性の数え上げは、時間 O(t(n) + n^{k-1}) および空間 O(s(n) + log²n) で計算可能である。