部分自反森林上的QCSP
摘要：非一致量化约束满足问题QCSP(H) 在H表示部分自反森林的范围内进行研究。我们得到一个复杂度理论上的二分：QCSP(H) 要么属于NL，要么是NP-hard。 分离的条件首先与连通性有关，然后与从H的所有顶点到连通自反子图的可达性有关。对于部分自反路径的情况，我们给出了二分的细分：QCSP(H)要么属于NL，要么是Pspace-complete.
作者：Barnaby Martin
论文ID：1103.6212
分类：Computational Complexity
分类简称：cs.CC
提交时间：2011-04-01