固定值约束下MAX CSP的可近似性
摘要：最大约束满足问题中，给定一个有限集合（可能带权重）的约束，约束作用在重叠的变量集上，目标是将给定有限域中的值分配给变量，以最大化满足约束的数量（或总权重，对于带权重情况）。该问题在一般情况下是NP-难的，因此研究限制允许的约束类型如何影响问题的可近似性是自然的。本文中，我们证明了任何具有有限允许约束类型集合的MAX CSP问题，包括所有固定值约束（即形式为x=a的约束），要么可在多项式时间内精确求解，要么是APX完全的，即使实例中的变量出现次数受限。此外，我们提供了我们问题的所有多项式可解情况的简单描述。该描述基于众所周知的超模性代数组合性质。
作者：Vladimir Deineko, Peter Jonsson, Mikael Klasson, and Andrei Krokhin
论文ID：cs/0602075
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23