有界宽度的约束满足问题

如果一个约束满足问题的算法在给定一个（1-ε）可满足实例的情况下，输出满足至少（1-g（ε））-部分约束的赋值，其中g（ε）->0为ε->0，$g（0）=0，则称为鲁棒算法。古鲁斯瓦米和周。。。

人工智能和组合优化中的许多基本任务都可以表述为约束满足问题（CSP）。这是一个为一组变量寻找赋值的问题，每个变量都定义在一个有限的。。。

如果约束满足问题的算法输出满足给定约束的至少$（1-g（\varepsilon））$分数的赋值，则称为鲁棒算法$（1-\varepsilon）$-可满足的实例，其中$g（\varepsilon）\rightarrow 0$为$\。。。