[论文解读] A Holant Dichotomy: Is the FKT Algorithm Universal?

Jin‐Yi Cai, Zhiguo Fu+2 more|arXiv (Cornell University)|May 12, 2015

Markov Chains and Monte Carlo Methods参考文献 38被引用 11

一句话总结

本文建立了布尔变量上复权重Holant问题的复杂性二分法，证明FKT算法无法普遍捕捉所有可 tractable 的平面问题。它识别出新的平面可 tractable 问题，这些问题是通过全息约化无法约化到FKT的，特别是表明当超边大小的gcd(k) ≥ 5时，若关联图是平面的，则k-一致超图上的完美匹配计数可在多项式时间内计算，从而解决了关于FKT方法普遍性的长期悬而未决的问题。

ABSTRACT

We prove a complexity dichotomy for complex-weighted Holant problems with an arbitrary set of symmetric constraint functions on Boolean variables. This dichotomy is specifically to answer the question: Is the FKT algorithm under a holographic transformation a \emph{universal} strategy to obtain polynomial-time algorithms for problems over planar graphs that are intractable in general? This dichotomy is a culmination of previous ones, including those for Spin Systems, Holant, and #CSP. A recurring theme has been that a holographic reduction to FKT is a universal strategy. Surprisingly, for planar Holant, we discover new planar tractable problems that are not expressible by a holographic reduction to FKT. In previous work, an important tool was a dichotomy for #CSP^d, which denotes #CSP where every variable appears a multiple of d times. However its proof violates planarity. We prove a dichotomy for planar #CSP^2. We apply this planar #CSP^2 dichotomy in the proof of the planar Holant dichotomy. As a special case of our new planar tractable problems, counting perfect matchings (#PM) over k-uniform hypergraphs is polynomial-time computable when the incidence graph is planar and k >= 5. The same problem is #P-hard when k=3 or k=4, which is also a consequence of our dichotomy. When k=2, it becomes #PM over planar graphs and is tractable again. More generally, over hypergraphs with specified hyperedge sizes and the same planarity assumption, #PM is polynomial-time computable if the greatest common divisor of all hyperedge sizes is at least 5.

研究动机与目标

• 确定FKT算法是否通过全息约化普遍捕捉所有在一般情况下#P难的平面图上的可 tractable 计数问题。
• 解决长期存在的猜想：所有平面可 tractable 问题是否均可全息约化到FKT算法。
• 为布尔变量上对称约束函数的平面Holant问题建立完整的复杂性二分法。
• 识别并表征位于FKT约化普遍性范围之外的平面Holant中新的可 tractable 问题。
• 在不依赖于先前证明中非平面构造导致错误的平面#CSPd（d ≥ 5）的假想二分法的前提下，证明平面#CSP2的二分法。

提出的方法

• 构建一个Holant框架，统一并推广计数问题，包括#CSP和完美匹配，使用对称约束函数。
• 应用全息变换和匹配门恒等式，将问题约化到FKT算法，使用Z变换分析签名行为。
• 通过签名的偏导数（例如∂[1,0,v,0,v²]）应用阶数降低技术，构造高阶签名，并测试其是否属于可 tractable 类。
• 使用反证法证明某些签名不能属于可 tractable 类M或其对偶类M†，从而证明#P难性。
• 通过一种新颖方法证明平面#CSP2的二分法，避免依赖于有缺陷的d ≥ 5时的假想#CSPd二分法，通过构造显式难例。
• 分析全息变换下签名的结构，并推导代数条件（例如(x′+c)(y′v²+cu⁴) = (cu²)²）以检测非平凡性和难性。

实验结果

研究问题

• RQ1 FKT算法是否普遍足够，以捕捉所有在一般情况下#P难的平面图上可多项式时间求解的问题？
• RQ2 是否存在Holant中不全息约化到FKT算法的平面可 tractable 问题？
• RQ3 考虑到先前构造违反了平面性，平面#CSPd（变量出现d次）的假想二分法是否对d ≥ 5成立？
• RQ4 计数具有平面关联图的超图上的完美匹配的可 tractability 的精确标准是什么？
• RQ5 是否可以不依赖于d ≥ 5时平面#CSPd的错误二分法，建立平面Holant的二分法？

主要发现

• FKT算法并非普遍适用：存在Holant中不全息约化到FKT的平面可 tractable 问题，从而推翻了长期存在的猜想。
• 当关联图是平面的且gcd(k) ≥ 5时，k-一致超图上的完美匹配计数可在多项式时间内计算，即使在k = 3或4时是#P难的。
• 可 tractability 的标准是超边大小的最大公约数（gcd），而非大小本身的上界，这是一个新颖且反直觉的结果。
• 证明了平面#CSP2的二分法，该结果在建立主Holant二分法中至关重要，尽管d ≥ 5时的假想#CSPd二分法已失效。
• 该证明构造了阶数≥4的签名，并利用签名导数的代数恒等式，在可 tractability 假设下导出矛盾，从而证明难性。
• 本文解决了具有混合超边大小的超图中完美匹配计数的复杂性：当且仅当所有超边大小的最大公约数≥5时，该问题是可 tractable 的。