[论文解读] Counting perfect matchings in graphs that exclude a single-crossing minor

Radu Curticapean|arXiv (Cornell University)|Jun 16, 2014

Advanced Graph Theory Research参考文献 6被引用 6

一句话总结

本文提出了一种在排除任意单交叉图 H 作为子式的所有图中计数完美匹配的 O(n⁴) 时间算法，当 H 为 K₅ 或 K₃,₃ 时，时间复杂度进一步优化至 O(n¹.⁵)。该方法结合了将图分解为平面图与有界树宽分量的技术，以及利用匹配门和 Pfaffian 技术的黑箱计算平面图中的完美匹配，标志着在 Pfaffian 方法之外的推广。

ABSTRACT

A graph $H$ is single-crossing if it can be drawn in the plane with at most one crossing. For any single-crossing graph $H$, we give an $O(n^4)$ time algorithm for counting perfect matchings in graphs excluding $H$ as a minor. The runtime can be lowered to $O(n^{1.5})$ when $G$ excludes $K_5$ or $K_{3,3}$ as a minor. This is the first generalization of an algorithm for counting perfect matchings in $K_{3,3}$-free graphs (Little 1974, Vazirani 1989). Our algorithm uses black-boxes for counting perfect matchings in planar graphs and for computing certain graph decompositions. Together with an independent recent result (Straub et al. 2014) for graphs excluding $K_5$, it is one of the first nontrivial algorithms to not inherently rely on Pfaffian orientations.

研究动机与目标

• 开发一种在排除单交叉子式 H 的图中计数完美匹配的多项式时间算法。
• 将先前关于 K₃,₃-自由与 K₅-自由图的结果推广至超越 Pfaffian 方法的范围。
• 提供一种适用于比以往精确计数算法更广泛的一类子式封闭图族的框架。
• 利用图的结构分解与黑箱平面匹配计算，实现高效计数。

提出的方法

• 利用 H-子式自由图的 c-良好分解，将其分解为平面图与有界树宽分量，其中 c 是依赖于 H 的常数。
• 通过 Pfaffian 技术与行列式计算，在 O(n¹.⁵) 时间内实现平面图中完美匹配的黑箱计算。
• 应用匹配门签名与签名复合技术，利用引理 1 与事实 1，将分解组件中的匹配进行组合。
• 自底向上处理分解树，通过递归复合与限制，计算每个节点处匹配门的签名向量。
• 对于平面分量，将图重写以使连接团位于外面上，并利用平面匹配门等价性计算签名。
• 利用分解的结构界（O(n) 个节点，总大小为 O(n)）将整体时间复杂度控制在 O(n⁴)（一般单交叉 H 情况下）或 O(n¹.⁵)（K₅ 或 K₃,₃ 情况下）。

实验结果

研究问题

• RQ1 在排除单交叉子式 H 的图中，是否可以高效解决完美匹配计数问题，而不仅限于 K₃,₃ 与 K₅ 的特殊情况？
• RQ2 是否可能在不依赖 Pfaffian 方向的情况下，仍能在非平面的子式封闭图类中实现多项式时间计数？
• RQ3 如何利用图的结构分解（例如分解为平面图与有界树宽部分）来高效计算完美匹配？
• RQ4 当 H 为单交叉但非平面图时，H-子式自由图中完美匹配计数的计算复杂度是多少？
• RQ5 能否利用现有的图论结构结果，将该方法扩展至非单交叉子式？

主要发现

• 提出了一种在排除任意单交叉图 H 作为子式的图中计数完美匹配的 O(n⁴) 时间算法。
• 对于 H = K₅ 或 H = K₃,₃ 的特殊情况，运行时间优化至 O(n¹.⁵)，与平面图的最佳已知界一致。
• 该算法避免了对 Pfaffian 方向的固有依赖，标志着在 Pfaffian 方法之外推广精确计数的重要进展。
• 该方法结合了 H-子式自由图的 c-良好分解、黑箱平面完美匹配计算，以及通过匹配门实现的签名复合。
• 分解树的总大小为 O(n)，且所有节点 t 的 nₜ¹.⁵ 之和为 O(n¹.⁵)，从而支持整体时间复杂度的界限。
• 该结果推广了先前关于 K₃,₃-自由与 K₅-自由图的工作，并与针对有界亏格图的算法正交。