约束优化与景观

我们描述了文献 [1] 中引入的一种有效景观，用于分析约束满足问题，如球体堆积、K-SAT 和图着色。这种几何构造将这些问题以更熟悉的崎岖能量景观中的优化术语重新表达。特别是，它使人能够理解一个令人困惑的事实，即非复杂的程序在远超被认为的“困难”相变点处仍能成功，并提出了一种定义新的、更高的易难边界的算法。