在约束规划中利用半定松弛

约束规划使用枚举和搜索树剪枝来求解组合优化问题。为了加速这一求解过程，我们研究了在约束规划中使用半定松弛。原则上，我们利用半定松弛的解，采用有限差异搜索策略来引导搜索树的遍历。此外，半定松弛为解值产生了一个界限，用于剪枝搜索树的部分区域。在稳定集和最大团问题实例上的实验结果表明，约束规划确实能从半定松弛中获益匪浅。