有界度布尔＃CSP的近似复杂性（扩展摘要）
摘要：在约束满足问题（CSP）实例中，CSP的度是变量在约束范围内出现的最大次数。我们考虑了具有有界度实例的布尔CSP的近似计数问题，约束语言包含两个一元常量关系{0}和{1}。当最大度至少为25时，我们得到了对这个问题复杂度的完整分类。如果约束语言中的每一个关系都是仿射的，那么它可以在多项式时间内被精确解决。如果每个关系可以表示为{0}、{1}和二元蕴含的合取式，那它等价于在二分图中近似计数独立集合的问题。否则，除非NP=RP，否则没有FPRAS。对于更低的度下界，出现了与在超图中近似计数独立集问题相关的额外情况。
作者：Martin E. Dyer, Leslie Ann Goldberg, Markus Jalsenius and David Richerby
论文ID：1001.4987
分类：Computational Complexity
分类简称：cs.CC
提交时间：2010-02-03