具有计数量词的约束满足
摘要：存在计数量词下的约束满足问题的复杂性研究 计数量词存在于受约束满足问题（CSPs）中，可以视为量化CSPs（QCSPs）的变种。我们表明，在一个合适选择的模板下，介于exists^1:=exists和exists^n:=forall之间的单一计数量词已经达到了QCSPs的最大复杂性，它是Pspace-complete的。接下来，我们关注计数量词在团和环模板上的复杂性。对于环，我们给出了一个完整的三分类—所有这些问题都在L、NP-complete或者Pspace-complete中。对于团，我们接近了三分类的情况，但还有一个案例有待解决。然后，我们考虑了CSPs的一般化，即在现有的量词exists^1:=exists的基础上增加量词exists^j（其中j不等于1）。这种CSPs在非二分图模板上已经是NP-hard的。我们探索了在二分图模板上的这种广义CSPs的情况，给出了一些关于可解性和困难性的条件，最终得出了一般图的分类定理。最后，我们利用计数量词来解决了一个之前未知复杂性的具体QCSP。
作者：Florent Madelaine, Barnaby Martin and Juraj Stacho
论文ID：1112.2974
分类：Computational Complexity
分类简称：cs.CC
提交时间：2011-12-14