反射性锦标赛上的QCSP
摘要：对于Quantified Constraint Satisfaction Problem QCSP（H）在H为自反锦标赛时，我们给出了一个复杂性二分法。众所周知，自反锦标赛可以分割成一系列强连通分量H_1，...，H_n，以使得对于每个H_i和H_j，当且仅当i 作者：Benoit Larose and Petar Markovic and Barnaby Martin and Daniel
Paulusma and Siani Smith and Stanislav Zivny 论文ID：2104.10570 分类：Computational Complexity 分类简称：cs.CC 提交时间：2022-04-13