[论文解读] Holographic Algorithms with Matchgates Capture Precisely Tractable Planar #CSP

Jin‐Yi Cai, Pinyan Lu+1 more|arXiv (Cornell University)|Aug 4, 2010

Markov Chains and Monte Carlo Methods参考文献 4被引用 32

一句话总结

本文证明，使用匹配门的全息算法精确捕获了所有具有对称实值函数的平面#CSP问题中可有效求解的实例。它证明了一个复杂性二分法：此类问题要么在所有图上多项式时间可计算，要么在一般图上#P难但在平面图上通过基于匹配门的全息算法可有效求解，要么甚至在平面图上也是#P难——提供了完整的分类，并证实了该算法框架在精确可解平面系统中的普遍性。

ABSTRACT

Valiant introduced matchgate computation and holographic algorithms. A number of seemingly exponential time problems can be solved by this novel algorithmic paradigm in polynomial time. We show that, in a very strong sense, matchgate computations and holographic algorithms based on them provide a universal methodology to a broad class of counting problems studied in statistical physics community for decades. They capture precisely those problems which are #P-hard on general graphs but computable in polynomial time on planar graphs. More precisely, we prove complexity dichotomy theorems in the framework of counting CSP problems. The local constraint functions take Boolean inputs, and can be arbitrary real-valued symmetric functions. We prove that, every problem in this class belongs to precisely three categories: (1) those which are tractable (i.e., polynomial time computable) on general graphs, or (2) those which are \#P-hard on general graphs but ractable on planar graphs, or (3) those which are #P-hard even on planar graphs. The classification criteria are explicit. Moreover, problems in category (2) are tractable on planar graphs precisely by holographic algorithms with matchgates.

研究动机与目标

• 确定使用匹配门的全息算法是否捕获了所有在平面图上多项式时间可有效求解的计数问题。
• 为具有对称实值约束函数的加权布尔#CSP提供严谨的复杂性分类。
• 弥合统计物理中“精确可解”系统的概念与计算复杂性理论中#P难性的框架之间的差距。
• 确立唯一可有效求解的平面实例是那些可通过使用匹配门的全息约化转化为FKT算法求解的实例。
• 证明在该类问题中，除了基于匹配门的全息算法之外，其他任何算法范式都无法捕获可有效求解性。

提出的方法

• 将问题形式化为在布尔变量上具有对称实值约束函数的加权#CSP。
• 使用Holant框架建模约束满足问题，其中边为变量，顶点表示局部函数。
• 基于[11]中的前期工作，利用复数域上的线性代数条件刻画可由匹配门实现的对称签名。
• 应用全息约化，将任意#CSP实例转化为在平面图上计算加权完美匹配的问题。
• 利用FKT算法作为核心可有效求解子程序，该算法可在多项式时间内计算平面图的Pfaffian。
• 证明一个复杂性二分法定理：每个问题要么在所有图上可有效求解，要么仅在平面图上通过匹配门全息算法可有效求解，要么即使在平面图上也是#P难。

实验结果

研究问题

• RQ1 使用匹配门的全息算法是否捕获了所有在平面图上对称实值函数下多项式时间可有效求解的计数问题？
• RQ2 在具有对称实值约束的平面#CSP类中，可有效求解与#P难实例之间的精确边界是什么？
• RQ3 为何将精确可解平面模型（如伊辛模型）推广到高维或非平面图的尝试会失败？
• RQ4 能否证明使用匹配门的全息算法框架在该类所有可有效求解的平面计数问题中具有普遍性？
• RQ5 哪些代数与组合条件决定了一个对称函数可由匹配门实现？

主要发现

• 建立了完整的复杂性二分法：每个对称实值#CSP问题要么在所有图上可有效求解，要么仅在平面图上通过使用匹配门的全息算法可有效求解，要么即使在平面图上也是#P难。
• 在平面图上可有效求解的问题类被精确捕获于使用匹配门的全息算法中，证实了其在此设定下的普遍性。
• 对可由匹配门实现的对称签名的刻画是完整且代数上明确的，依赖于复数域上的一组二次方程。
• 证明了平面图上的伊辛模型可通过全息约化转化为FKT算法，从而解释了其在统计物理中长期可解的原因。
• 本文解释了为何将此类模型推广到非平面或高维晶格会失败：如Sorin Istrail对三维伊辛模型的结果所示，这些模型会变为#P难。
• 该框架通过Holant和全息算法形式化，统一了统计物理中的多种问题，如费米子模型和伊辛模型，使其处于单一复杂性理论与算法框架之下。