部分自反循环上的QCSP——易处理性的波浪线
计算复杂性
2013-03-04 v1
摘要
我们研究当H取遍部分自反循环时（非一致）量化约束满足问题QCSP(H)。我们获得了复杂度理论上的二分法：QCSP(H)要么属于NL，要么是NP-hard的。分离条件略显晦涩，因此得名“易处理性的波浪线”。
引用
@article{arxiv.1303.0041,
title = {QCSP on partially reflexive cycles - the wavy line of tractability},
author = {Florent Madelaine and Barnaby Martin},
journal= {arXiv preprint arXiv:1303.0041},
year = {2013}
}
备注
Extended abstract at CSR 2013