三角剖分中满足自旋赋值的枚举计算难度
计算复杂性
2011-07-20 v1
摘要
曲面三角剖分中的满足自旋赋值是三角剖分上反铁磁伊辛模型的最小能量态，它们（通过几何对偶）对应于三次无桥图中的完美匹配。在这项工作中，我们证明了判定一个曲面三角剖分是否存在满足自旋赋值是NP完全的，并且确定此类赋值的数量是#P完全的。这两个结果都是通过一个精心设计（且非典型）的归约推导出来的，该归约将3-合取范式中的布尔公式映射到一个可定向闭曲面的三角剖分上。
引用
@article{arxiv.1107.3767,
title = {Computational Hardness of Enumerating Satisfying Spin-Assignments in Triangulations},
author = {Andrea Jiménez and Marcos Kiwi},
journal= {arXiv preprint arXiv:1107.3767},
year = {2011}
}
备注
20 pages,25 figures