变量消去法在约束最优化问题中的实际应用--以“Still-life”为例
On the Practical use of Variable Elimination in Constraint Optimization Problems: 'Still-life' as a Case Study
摘要：
变量消除是约束处理的一种通用技术。由于它的高空间复杂度，它经常被丢弃。但是，当与其他技术结合时，它可能非常有用。在本文中，我们研究的适用性变量消除具有挑战性的问题，找到静物。我们说明了几种替代方案：变量消除作为一个独立的算法，交错搜索，并作为一个源的高质量的下限。我们表明，这些技术是最知名的选择，无论是理论上和经验。在我们的实验中，我们已经能够解决n=20的情况下，这是远远超出了其他方法。
英文摘要：
Variable elimination is a general technique for constraint processing. It is often discarded because of its high space complexity. However, it can be extremely useful when combined with other techniques. In this paper we study the applicability of variable elimination to the challenging problem of finding still-lifes. We illustrate several alternatives: variable elimination as a stand-alone algorithm, interleaved with search, and as a source of good quality lower bounds. We show that these techniques are the best known option both theoretically and empirically. In our experiments we have been able to solve the n=20 instance, which is far beyond reach with alternative approaches.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
