广义的由对称锦标赛对多态定义的可解VCSPs
摘要：VCSP问题的优化问题研究。VCSP问题通过约束语言来描述，该语言是一个固定的费用函数集合，费用函数可以取有限和无限的费用值，定义在有限域上。问题的实例由语言中的费用函数的和确定，目标是最小化总和。我们感兴趣的是有“可计算”约束语言，即能够以多项式时间解决的VCSP实例。Cohen等人(AIJ'06)已经表明，具有MJN多态性的约束语言是可计算的。此外，Cohen等人(TCS'08)利用一个子模函数的最小化算法，表明具有STP(对称锦标赛对)多态性的约束语言是可计算的。 我们通过展示在子域上具有MJN多态性并在子域补集上具有STP多态性的语言是可计算的推广了这些结果。该算法是将其归约为具有STP多态性的语言的算法。
作者：Vladimir Kolmogorov, Stanislav Zivny
论文ID：1008.3104
分类：Computational Complexity
分类简称：cs.CC
提交时间：2010-08-19