关于 QCSP 复杂性的 Chen 猜想
计算机科学中的逻辑
2016-07-14 v1
摘要
设 A 为有限域上的一个幂等代数。我们结合 Chen 2008 和 Zhuk 2015 的结果论证，如果 Inv(A) 满足多项式生成幂性质（PGP），则 QCSP(Inv(A)) 属于 NP。然后我们利用 Zhuk 的结果证明其逆命题，即如果 Inv(A) 满足指数生成幂性质（EGP），则 QCSP(Inv(A)) 是 co-NP-hard 的。由于 Zhuk 证明了只有 PGP 和 EGP 是可能的，我们导出了 QCSP 的一个完全二分法，从而证明了我们称之为 Chen 猜想的内容在道义上是正确的。
引用
@article{arxiv.1607.03819,
title = {On the Chen Conjecture regarding the complexity of QCSPs},
author = {Barnaby Martin},
journal= {arXiv preprint arXiv:1607.03819},
year = {2016}
}