广义可满足性问题模k计数解的复杂性
摘要：推广可满足性问题（或布尔约束满足性问题）是由Schaefer在1978年引入的一类通用问题，允许对具有不同类型约束的可满足性问题的复杂性进行系统研究。在1979年，Valiant引入了复杂性类别奇偶P，即求解NP问题解的数量（模2）。其他人后来考虑了对其他整数模数进行计数的问题。 我们给出了关于求解通用满足性问题模整数的数量的复杂性的二分定理。这是根据Creignou和Hermann先前的一项结果得出的，该结果给出了这类问题的计数二分定理，而实际的二分定理几乎是一样的。具体而言，如果所有关系都是仿射的，那么可以在多项式时间内计算通用满足性问题的解的数量。否则，除了一个特殊情况k=2外，它是#_kP-complete。
作者：John Faben
论文ID：0809.1836
分类：Computational Complexity
分类简称：cs.CC
提交时间：2008-09-11