arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1405.7375quant-phcs.CCcs.LOmath-phmath.MP
收藏

针对# SAT的张量网络收缩

Tensor Network Contractions for #SAT

Jacob D. Biamonte, Jason Morton, Jacob W. Turner

摘要:

计算满足布尔公式的解决方案的数量的计算成本,这是#SAT的一个问题实例,已经被证明是微妙的量化。即使在计算上很容易找到单个满意解(例如2-SAT,它在P中),确定解的数量也是#P-hard。最近,由于张量网络算法和相关量子物理启发技术的发展,模拟量子系统的计算方法经历了进步。通过这些方法,我们给出了一个使用公理化张量压缩语言求解复杂度为$O((g+cd)^{O(1)} 2^c)$的n变量#SAT实例的算法,其中$c$是COPY张量的个数,$g$是门的个数,$d$是任何COPY张量的最大次数.因此,当计数问题的张量网络表达式最多具有$O(\log c)$ COPY张量和多项式扇出时,可以有效地解决计数问题。这个框架也承认一个直观的证明一个变种的托维猜想(r,1-SAT实例的杜波依斯-托维定理)。这项研究增加了基于张量的算法工具的理论,表达能力和应用,并为这些在统计物理和计算机科学中具有悠久历史的问题提供了另一种见解。

英文摘要:

The computational cost of counting the number of solutions satisfying a Boolean formula, which is a problem instance of #SAT, has proven subtle to quantify. Even when finding individual satisfying solutions is computationally easy (e.g. 2-SAT, which is in P), determining the number of solutions is #P-hard. Recently, computational methods simulating quantum systems experienced advancements due to the development of tensor network algorithms and associated quantum physics-inspired techniques. By these methods, we give an algorithm using an axiomatic tensor contraction language for n-variable #SAT instances with complexity $O((g+cd)^{O(1)} 2^c)$ where $c$ is the number of COPY-tensors, $g$ is the number of gates, and $d$ is the maximal degree of any COPY-tensor. Thus, counting problems can be solved efficiently when their tensor network expression has at most $O(\log c)$ COPY-tensors and polynomial fan-out. This framework also admits an intuitive proof of a variant of the Tovey conjecture (the r,1-SAT instance of the Dubois-Tovey theorem). This study increases the theory, expressiveness and application of tensor based algorithmic tools and provides an alternative insight on these problems which have a long history in statistical physics and computer science.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑