图的列表同态问题的复杂性
摘要：彻底分类了带有可能循环的图的列表H-着色问题的计算复杂性，从组合和代数角度进行描述：对于每个图H，该问题要么是NP-完全的，要么是NL-完全的，要么是L-完全的，要么是一阶可定义的；还给出了与Datalog及其片段相关的描述性复杂性等价性。我们的代数特性与约束满足问题的研究中的重要猜想相匹配。
作者：Laszlo Egri, Andrei Krokhin, Benoit Larose, Pascal Tesson
论文ID：0912.3802
分类：Computational Complexity
分类简称：cs.CC
提交时间：2010-02-03