[論文レビュー] Linear Time Subgraph Counting, Graph Degeneracy, and the Chasm at Size Six

Suman K. Bera, Noujan Pashanasangi+1 more|arXiv (Cornell University)|Nov 13, 2019

Advanced Graph Theory Research被引用数 14

ひとこと要約

この論文は、有界非正則性グラフにおける線形時間の部分グラフカウントにおいて、部分グラフサイズ6で鋭い閾値を確立する。k ≤ 5の場合、非正則性に基づくアルゴリズムを用いてすべてのk頂点部分グラフを線形時間でカウントできることが証明されるが、k ≥ 6の場合、三角形検出予想に基づく仮定のもと、近似的に線形時間のアルゴリズムは存在しないことが示され、k=6で根本的な断絶が生じることを明らかにする。

ABSTRACT

We consider the problem of counting all $k$-vertex subgraphs in an input graph, for any constant $k$. This problem (denoted sub-cnt$_k$) has been studied extensively in both theory and practice. In a classic result, Chiba and Nishizeki (SICOMP 85) gave linear time algorithms for clique and 4-cycle counting for bounded degeneracy graphs. This is a rich class of sparse graphs that contains, for example, all minor-free families and preferential attachment graphs. The techniques from this result have inspired a number of recent practical algorithms for sub-cnt$_k$. Towards a better understanding of the limits of these techniques, we ask: for what values of $k$ can sub-cnt$_k$ be solved in linear time? We discover a chasm at $k=6$. Specifically, we prove that for $k < 6$, sub-cnt$_k$ can be solved in linear time. Assuming a standard conjecture in fine-grained complexity, we prove that for all $k \\geq 6$, sub-cnt$_k$ cannot be solved even in near-linear time.

研究の動機と目的

• 有界非正則性グラフ上ですべてのk頂点部分グラフをカウントする問題（sub-cnt_k）が、どの部分グラフサイズkに対して線形時間で解けるかを特定すること。
• Chiba-Nishizekiスタイルのアルゴリズムの限界を理解すること。これらのアルゴリズムは実用的な部分グラフカウント手法のインスピレーションを生んできた。
• k=5を超えた部分グラフカウントに理論的障壁が存在するかどうかを特定すること。
• 細粒度計算複雑性の仮定の下で、有界非正則性グラフにおける部分グラフカウントの tractable と intractable の境界を特定すること。

提案手法

• 非正則性に基づく分解と深さ制限付き木構造（DRTS）を用いたChiba-Nishizekiフレームワークを活用する。
• k ≥ 6の場合に、三角形検出問題からの還元を適用し、三角形をより大きな部分グラフに埋め込むグラフ構築法を用いる。
• 部分グラフの無閉路向き付けを用いて、DRTS構築を開始するソース頂点を特定し、階層的マッチングによる効率的なカウントを可能にする。
• 三角形検出予想を条件付き下界の仮定として用い、k ≥ 6に対して o(m^{1+γ}f(κ)) のアルゴリズムが存在しないことを証明する。
• 特定の部分グラフ（例：C_k サイクル、K_6、および他の6頂点グラフ）を構築し、この断絶が普遍的ではなく、部分グラフの構造に依存することを示す。
• 特定の6頂点部分グラフ（例：クリーク、またはサイズ≥4のDRTSを有するグラフ）に対しては、k≥6の一般の非可 tractability にもかかわらず、線形時間でのカウントが可能であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 どのkの値に対して、有界非正則性グラフ上で部分グラフカウント（sub-cnt_k）が線形時間で解けるか？
• RQ2 Chiba-Nishizekiフレームワークはk ≥ 6にまで拡張可能か、それとも根本的な障壁があるか？
• RQ3 k ≥ 6に対して、三角形検出予想を用いて条件付き下界を確立できるか？
• RQ4 k≥6の一部の6頂点部分グラフに対して、線形時間でのカウントが依然として可能か？
• RQ5 部分グラフのどの構造的性質が、sub-cnt_H が有界非正則性グラフで線形時間アルゴリズムを有するかどうかを決定するか？

主な発見

• すべてのk ≤ 5に対して、有界非正則性グラフ上では、期待時間O(mκ^{k-2})でsub-cnt_kが解ける。κが定数であればこれは線形時間である。
• すべてのk ≥ 6に対して、三角形検出予想を仮定すると、sub-cnt_kに対して o(m^{1+γ}f(κ)) のアルゴリズムは存在しない。これは、近似的に線形時間は不可能であることを示唆する。
• k=6における断絶は鋭い：問題は正確にサイズ6で、tractable から intractable に遷移する。
• 条件付き下界はすべての6頂点部分グラフに適用されるわけではない。一部（例：K_6 またはサイズ≥4のDRTSを有するグラフ）は依然として線形時間でのカウントが可能である。
• k=8では構造的曖昧性のため還元が失敗し、下界がすべてのk≥6に一様に拡張されないことが示される。
• クリークでない6頂点部分グラフに対しても線形時間でのカウントが可能である例が存在する。これは、断絶が絶対的ではなく、部分グラフの構造に依存することを示している。