[论文解读] Everything you always wanted to know about the parameterized complexity of Subgraph Isomorphism (but were afraid to ask)

Dániel Marx, Michał Pilipczuk|arXiv (Cornell University)|Jul 8, 2013

Advanced Graph Theory Research参考文献 43被引用 13

一句话总结

本文通过系统评估模式图 $H$ 和文本图 $G$ 的 10 个参数，为子图同构问题的参数复杂性提供了一个全面的框架。它确立了 11 个最大化的正面结果（高效算法）和 17 个最大化的负面结果（W[1]-难解性证明），揭示了 $G$ 中的有界度数、反馈点集和 Hadwiger 数，结合 $H$ 中的有界路径宽和最大度数，构成了一类高度非平凡的可解决情况；同时证明了在极为受限条件下（例如，当 $H$ 是有界度数的常数路径宽树，且 $G$ 是有界路径宽的平面图）仍存在 W[1]-难解性。

ABSTRACT

Given two graphs $H$ and $G$, the Subgraph Isomorphism problem asks if $H$ is isomorphic to a subgraph of $G$. While NP-hard in general, algorithms exist for various parameterized versions of the problem: for example, the problem can be solved (1) in time $2^{O(|V(H)|)}\cdot n^{O( w(H))}$ using the color-coding technique of Alon, Yuster, and Zwick; (2) in time $f(|V(H)|, w(G))\cdot n$ using Courcelle's Theorem; (3) in time $f(|V(H)|,\genus(G))\cdot n$ using a result on first-order model checking by Frick and Grohe; or (4) in time $f(\maxdeg(H))\cdot n^{O( w(G)})$ for connected $H$ using the algorithm of Matoušek and Thomas. Already this small sample of results shows that the way an algorithm can depend on the parameters is highly nontrivial and subtle. We develop a framework involving 10 relevant parameters for each of $H$ and $G$ (such as treewidth, pathwidth, genus, maximum degree, number of vertices, number of components, etc.), and ask if an algorithm with running time \[ f_1(p_1,p_2,..., p_\ell)\cdot n^{f_2(p_{\ell+1},..., p_k)} \] exist, where each of $p_1,..., p_k$ is one of the 10 parameters depending only on $H$ or $G$. We show that {\em all} the questions arising in this framework are answered by a set of 11 maximal positive results (algorithms) and a set of 17 maximal negative results (hardness proofs); some of these results already appear in the literature, while others are new in this paper. On the algorithmic side, our study reveals for example that an unexpected combination of bounded degree, genus, and feedback vertex set number of $G$ gives rise to a highly nontrivial algorithm for Subgraph Isomorphism. On the hardness side, we present W[1]-hardness proofs under extremely restricted conditions, such as when $H$ is a bounded-degree tree of constant pathwidth and $G$ is a planar graph of bounded pathwidth.

研究动机与目标

• 系统研究模式图 $H$ 和文本图 $G$ 的哪些参数组合能够为子图同构问题提供高效的参数化算法。
• 通过识别最大化的不可解情况，解决参数化子图同构中长期缺乏负面结果的问题。
• 在单一、全面的框架下统一并扩展现有的算法结果（如染色编码、Courcelle 定理和基于 CSP 的方法）。
• 确定某些结构参数组合（如度数、树宽、亏格、反馈点集）是否能产生固定参数可解算法。

提出的方法

• 作者为每张图（$H$ 和 $G$）定义了 10 个参数，包括树宽、路径宽、亏格、最大度数、反馈点集、Hadwiger 数、连通分量数等其他参数。
• 他们将所有可能的参数组合分类为算法性（正面）和不可解性（负面）情况，重点关注形式为 $f_1(p_1,\dots,p_\ell) \cdot n^{f_2(p_{\ell+1},\dots,p_k)}$ 的表达式。
• 对于正面结果，他们通过约化到约束满足问题（CSP）并应用已知的可解 CSP 算法，特别是基于有界扩张和可 minors 闭性质的算法。
• 对于负面结果，他们采用来自一元二分背包问题和其他 W[1]-难解问题的参数化约化，表明即使在极小的参数组合下也可能导致不可解性。
• 他们证明了当 $H$ 是有界度数的常数路径宽树，且 $G$ 是有界路径宽的平面图时，该问题仍为 W[1]-难解。
• 他们提出了一项新颖的结构结果，表明 $G$ 中的有界度数和反馈点集，若与 $H$ 中的有界 Hadwiger 数和有界最大度数结合，可实现高效的子图同构。

实验结果

研究问题

• RQ1 哪些 $H$ 和 $G$ 的参数组合能够为子图同构问题提供固定参数可解算法？
• RQ2 当 $H$ 有有界度数且 $G$ 有有界反馈点集时，即使其他参数无界，该问题是否仍可高效求解？
• RQ3 当 $H$ 是树且 $G$ 是平面图时，在附加结构约束下是否存在非平凡的子图同构算法？
• RQ4 是否存在最大化的不可解情况，使得即使参数值极为受限，问题仍为 W[1]-难解？
• RQ5 该框架能否识别出一组完整且最小的 11 个最大化的可解组合与 17 个最大化的不可解组合？

主要发现

• 存在一个运行时间为 $f_1(\Delta(G), \mathbf{fvs}(G)) \cdot n^{f_2(\mathbf{hadw}(G), \Delta(H))}$ 的子图同构算法，表明 $G$ 中的有界度数和反馈点集，结合 $H$ 中的有界 Hadwiger 数和最大度数，构成一个非平凡的可解情况。
• 即使当 $H$ 是有界度数的常数路径宽树，且 $G$ 是有界路径宽的平面图时，该问题仍为 W[1]-难解，表明此类受限的参数组合并不能保证可解性。
• 提出了一种新算法，将子图同构约化到 $G$ 的一个 minors 上的 CSP，利用有界扩张和可 minors 闭性质实现高效计算。
• 该框架识别出 11 个最大化的正面结果和 17 个最大化的负面结果，为子图同构的参数组合提供了完整分类。
• 本文通过证明树宽在指数项中（如染色编码）与树宽在乘法因子中（如 Courcelle 定理）代表了根本不同的算法范式，解决了长期悬而未决的开放问题。
• 从一元二分背包问题到子图同构问题的约化表明，当 $G$ 是路径的不相交并集（路径宽为 1，最大度数为 2），且 $H$ 是路径的不相交并集时，即使 $H$ 的连通分量很少，问题仍为 W[1]-难解。