[论文解读] 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

一句话总结

该论文在有界退化性图的线性时间子图计数中，确立了子图大小为六时的严格阈值。它证明了当 k ≤ 5 时，使用基于退化性的算法，所有 k-顶点子图的计数可在 O(mκ^{k-2}) 时间内完成，即在 κ 为常数时为线性时间；但当 k ≥ 6 时，在三角形检测猜想的假设下，不存在 o(m^{1+γ}f(κ)) 的近线性时间算法，揭示了在 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 时子图计数是否存在理论障碍。
• 在细粒度复杂性假设下，刻画有界退化性图中可解与不可解子图计数之间的边界。

提出的方法

• 利用 Chiba-Nishizeki 框架，通过基于退化性的分解和深度受限树结构（DRTS）进行子图计数。
• 对 k ≥ 6 的子图计数问题，通过将三角形嵌入更大子图的图构造，从三角形检测问题进行归约。
• 使用子图的无环定向来识别作为 DRTS 构造起点的源顶点，从而通过分层匹配实现高效计数。
• 以三角形检测猜想作为条件性下界假设，证明对于 k ≥ 6，不存在 o(m^{1+γ}f(κ)) 的算法。
• 构造特定子图（如 C_k 环、K_6 及其他 6-顶点图）以表明该断层并非普遍成立，而是依赖于子图结构。
• 证明对于某些 6-顶点子图（如团或 DRTS 大小 ≥4 的图），尽管 k≥6 时普遍不可解，线性时间计数仍可能实现。

实验结果

研究问题

• RQ1 在有界退化性图上，子图计数（sub-cnt_k）在哪些 k 值下可在线性时间内求解？
• RQ2 Chiba-Nishizeki 框架是否可扩展至 k ≥ 6，或是否存在根本性障碍？
• RQ3 能否基于三角形检测猜想建立 k ≥ 6 的条件性下界？
• RQ4 是否存在某些 6-顶点子图，使得尽管整体不可解，线性时间计数仍可行？
• RQ5 子图的何种结构特性决定了 sub-cnt_H 在有界退化性图中是否可在线性时间内求解？

主要发现

• 对于所有 k ≤ 5，在有界退化性图上，sub-cnt_k 可在期望 O(mκ^{k-2}) 时间内求解，当 κ 为常数时为线性时间。
• 对于所有 k ≥ 6，假设三角形检测猜想成立，则 sub-cnt_k 不存在 o(m^{1+γ}f(κ)) 的算法，意味着近线性时间算法极不可能存在。
• k=6 处的断层是严格的：问题在大小六处精确地从可解转变为不可解。
• 条件性下界不适用于所有 6-顶点子图；某些子图（如 K_6 或 DRTS 大小 ≥4 的图）仍可实现线性时间计数。
• 该构造在 k=8 时失败，因结构歧义而失效，表明下界无法统一推广至所有 k≥6。
• 存在非团的 6-顶点子图，其线性时间计数仍可行，表明该断层并非绝对，而是取决于子图结构。