保守有限值CSP的复杂性
摘要：有关有价值的约束满足问题（VCSP）的复杂性研究：VCSP中的问题以约束语言为特征，约束语言是一个有限域上的固定成本函数集合。 问题的实例由语言中的成本函数的和指定，目标是将和最小化。 我们考虑所谓的保守语言的情况; 也就是说，包含所有一元成本函数的语言，因此允许对变量的域进行任意限制。 这个问题已经由Bulatov（LICS'03）研究了${0,\infty}$-值语言的情况（即CSP），由Cohen等人（AIJ'06）研究了布尔域的情况，由Deineko等人（JACM'08）研究了${0,1}$-值成本函数的情况（即Max-CSP），以及由Takhanov（STACS'10）研究了包含所有有限值一元成本函数的${0,\infty}$-值语言的情况（即Min-Cost-Hom）。我们给出了保守有限值语言的完全复杂性分类的基本证明：我们证明了每一个保守有限值语言要么是可解的，要么是NP-hard的。 这是有关非布尔域上有限值VCSP的第一个双分性结果。
作者：Vladimir Kolmogorov, Stanislav Zivny
论文ID：1008.1555
分类：Computational Complexity
分类简称：cs.CC
提交时间：2010-08-10