关于减重之困难性

我们研究布尔约束满足问题（CSP）局部搜索的复杂度，形式如下：给定一个CSP实例（即一组约束）及其一个解，问题是是否存在一个更好（更轻，即具有严格更小汉明权重）的解，且距初始解给定距离之内。我们通过Schaefer式二分结果（即限制一组允许的约束类型）对这类问题的经典与参数化复杂度进行分类。我们的结果表明，有相当数量的此类问题是NP难的，但在以距离为参数时是可固定参数处理的。