[论文解读] Current Algorithms for Detecting Subgraphs of Bounded Treewidth Are Probably Optimal

Karl Bringmann, Jasper Slusallek|arXiv (Cornell University)|Jan 1, 2021

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

一句话总结

本文表明，在标准复杂度假设下，当前用于检测有界树宽子图的算法可能已达到最优。利用细粒度复杂度理论，证明了对于任意树宽 t ≥ 3，存在树宽为 t 的模式图 H，使得在 3-均匀超团假设或强指数时间假设（SETH）下，子图同构问题无法在 O(n^{t+1−ε}) 时间内求解，其中 ε > 0 任意。

ABSTRACT

The Subgraph Isomorphism problem is of considerable importance in computer science. We examine the problem when the pattern graph H is of bounded treewidth, as occurs in a variety of applications. This problem has a well-known algorithm via color-coding that runs in time $O(n^{tw(H)+1})$ [Alon, Yuster, Zwick'95], where $n$ is the number of vertices of the host graph $G$. While there are pattern graphs known for which Subgraph Isomorphism can be solved in an improved running time of $O(n^{tw(H)+1-\varepsilon})$ or even faster (e.g. for $k$-cliques), it is not known whether such improvements are possible for all patterns. The only known lower bound rules out time $n^{o(tw(H) / \log(tw(H)))}$ for any class of patterns of unbounded treewidth assuming the Exponential Time Hypothesis [Marx'07]. In this paper, we demonstrate the existence of maximally hard pattern graphs $H$ that require time $n^{tw(H)+1-o(1)}$. Specifically, under the Strong Exponential Time Hypothesis (SETH), a standard assumption from fine-grained complexity theory, we prove the following asymptotic statement for large treewidth $t$: For any $\varepsilon > 0$ there exists $t \ge 3$ and a pattern graph $H$ of treewidth $t$ such that Subgraph Isomorphism on pattern $H$ has no algorithm running in time $O(n^{t+1-\varepsilon})$. Under the more recent 3-uniform Hyperclique hypothesis, we even obtain tight lower bounds for each specific treewidth $t \ge 3$: For any $t \ge 3$ there exists a pattern graph $H$ of treewidth $t$ such that for any $\varepsilon>0$ Subgraph Isomorphism on pattern $H$ has no algorithm running in time $O(n^{t+1-\varepsilon})$. In addition to these main results, we explore (1) colored and uncolored problem variants (and why they are equivalent for most cases), (2) Subgraph Isomorphism for $tw < 3$, (3) Subgraph Isomorphism parameterized by pathwidth, and (4) a weighted problem variant.

研究动机与目标

• 确定经典的颜色编码算法在有界树宽图上的子图同构问题是否可被显著改进。
• 探究是否存在“最困难”的模式图 H，使得对任意 ε > 0，均不存在运行时间在 O(n^{tw(H)+1−ε}) 以内的算法。
• 在广泛接受的复杂度假设下，为以树宽为参数的子图同构问题建立紧致的条件下界。
• 统一并扩展各类变体的结果：带颜色 vs. 不带颜色，路径宽 vs. 树宽，加权 vs. 不加权子图同构。
• 探索在生物信息学和程序分析等实际场景中，结构化图上子图检测的算法改进极限。

提出的方法

• 以强指数时间假设（SETH）和 3-均匀超团假设为基础，构建细粒度复杂度下界。
• 从已知难题（如超团问题）构造归约，映射到精心设计的树宽为 t 的模式图 H 上的子图同构问题。
• 采用基于签名的权重编码技术，模拟加权变体中的单射映射，确保解恰好从每个原像中选取一个顶点。
• 整合并统一现有算法，包括颜色编码法与 Curticapean-Dell-Marx 方法，形成基于树宽的子图检测统一框架。
• 应用变换将带颜色或加权实例转换为带修改权重的无颜色、无权重实例，同时保持解的结构不变。
• 通过在同态 f 的原像基础上分层构建主机图 G，确保归约中结构保真性。

实验结果

研究问题

• RQ1 是否存在树宽为 t 的模式图 H，使得子图同构问题无法在 O(n^{t+1−ε}) 时间内求解，其中 ε > 0 任意？
• RQ2 颜色编码算法是否可被显著改进以适用于所有有界树宽的模式图，还是存在固有局限？
• RQ3 在 3-均匀超团假设下，对每个 t ≥ 3，是否均存在紧致下界？
• RQ4 子图同构的复杂度在各类变体中（如带颜色、不带颜色、路径宽参数化、加权）如何变化？
• RQ5 能否基于树宽以外的结构属性对模式图的困难性进行分类？

主要发现

• 在 3-均匀超团假设下，对每个 t ≥ 3，均存在一个树宽为 t 的模式图 H，使得 H 上的子图同构问题无法在 O(n^{t+1−ε}) 时间内求解，其中 ε > 0 任意。
• 在 SETH 下，对任意 ε > 0，均存在 t ≥ 3 及一个树宽为 t 的模式图 H，使得 H 上的子图同构问题不存在运行时间在 O(n^{t+1−ε}) 以内的算法。
• 本文为子图同构的带颜色与不带颜色变体建立了紧致界，表明在有界树宽下，二者渐近复杂度等价。
• 对于路径宽参数化的子图同构问题，本文表明，已知算法中指数部分 ω(p−1) 无法在不破坏已知复杂度假设的前提下进一步改进。
• 通过签名编码，将精确权重子图同构问题归约至无权重情形，且在相同假设下仍保持 O(n^{tw(H)+1−ε}) 的下界。
• 本文提出一个统一框架，将颜色编码法与 Curticapean-Dell-Marx 算法统一于同一理论模型中，表明二者均可被该模型涵盖。