三角网格中满足自旋分配的枚举问题的计算困难性
摘要：含满意的旋转分配的面三角网是三角化上最小能量的反铁磁 Ising 模型状态，这些状态通过几何对偶与无桥立方图中的完美匹配相对应。在这项工作中，我们表明，决定一个面三角网是否存在满意的旋转分配是 NP 完全的，并且确定这种分配的数量是#P 完全的。这两个结果都是通过一个复杂（和非典型的）简化推导得到的，该简化将一个三合取范式的布尔公式映射到一个可定向闭合面的三角网中。
作者：Andrea Jim''enez, Marcos Kiwi
论文ID：1107.3767
分类：Computational Complexity
分类简称：cs.CC
提交时间：2011-07-20