有关具有非负权重的有向图同态的可判定二分定理
摘要：有关图同态问题的复杂性一直是研究的焦点。为分区函数的有向图同态问题提供（可判定）复杂度二分定理已成为一个长期悬而未决的问题。在本文中，我们证明了这个问题的可判定复杂度二分定理，并且我们的定理适用于问题的所有非负权重形式：对于任意具有非负代数元素的固定矩阵A，对于任意有向图G的分区函数Z_A(G)，其计算要么在多项式时间内可行，要么是#P-hard的，具体取决于矩阵A。这个二分定理的证明是组合性的，但涉及到一个无穷家族的图同态问题的定义。关于它的可判定性的证明是代数性的，利用了多项式的性质。
作者：Jin-Yi Cai and Xi Chen
论文ID：1008.0915
分类：Computational Complexity
分类简称：cs.CC
提交时间：2010-08-06