约束、MMSNP 与扩展子关系结构
组合数学
2013-03-15 v2
摘要
我们给出了一个组合学经典结论——稀疏不可比引理(Sparse Incomparability Lemma)的多项式时间构造,该引理由 Erdős、Lovász、Nešetřil、Rodl 等人研究过：我们证明每个约束满足问题(CSP)与其限制在具有大周长(girth)结构上的版本在多项式时间内等价。这蕴含了由 Feder 和 Vardi 引入的复杂性类 CSP 与 Monotone Monadic Strict NP(MMSNP)在计算上等价。本文的技术创新点在于扩展子关系(expander relations)概念以及一种新的关系结构乘积——作为锯齿乘积(zig-zag product)推广的扭曲乘积(twisted product)。
引用
@article{arxiv.0706.1701,
title = {Constraints, MMSNP and expander relational structures},
author = {Gabor Kun},
journal= {arXiv preprint arXiv:0706.1701},
year = {2013}
}
评论
12 pages, 1 figure, Combinatorica, to appear