关于CSP二分猜想归约到有向图
计算复杂性
2013-08-05 v2 组合数学
摘要
众所周知，一般关系结构上的约束满足问题可以在多项式时间内归约到有向图。我们提出了这种归约的一个简单变体，并用它来证明代数二分猜想等价于其在有向图上的限制，并且该多项式归约可以在对数空间内完成。我们还表明，我们的归约保持了有界宽度性质，即通过局部一致性方法可解性。我们讨论了其他保持的算法性质以及相关的开放问题。
引用
@article{arxiv.1305.2039,
title = {On the reduction of the CSP dichotomy conjecture to digraphs},
author = {Jakub Bulin and Dejan Delic and Marcel Jackson and Todd Niven},
journal= {arXiv preprint arXiv:1305.2039},
year = {2013}
}
备注
34 pages. Article is to appear in CP2013. This version includes two appendices with proofs of claims omitted from the main article