树非唯一性区域内二分有界度图上 2-自旋系统的#BIS-硬度
计算复杂性
2016-05-30 v4
摘要
二分图上的独立集计数 (#BIS) 被认为是一个具有中间近似复杂性的典型计数问题。据猜想，#BIS 既不存在完全多项式随机近似方案 (FPRAS)，也不像#SAT 那样难以近似。我们在二分图上两态自旋系统的通用框架下研究#BIS。我们定义了两个概念：近独立相位关联自旋和一元对称性破缺。我们证明了，对于支持这两个概念的二分图上的任意 2-自旋系统，近似其配分函数是#BIS-难的。作为推论，我们对有界度二分图上反铁磁 2-自旋系统配分函数近似的复杂性进行了分类。
引用
@article{arxiv.1311.4451,
title = {#BIS-Hardness for 2-Spin Systems on Bipartite Bounded Degree Graphs in the Tree Nonuniqueness Region},
author = {Jin-Yi Cai and Andreas Galanis and Leslie Ann Goldberg and Heng Guo and Mark Jerrum and Daniel Stefankovic and Eric Vigoda},
journal= {arXiv preprint arXiv:1311.4451},
year = {2016}
}