锁定约束满足问题中的安静种植
Quiet Planting in the Locked Constraint Satisfaction Problems
摘要：
我们研究锁定约束满足问题的种植系综。我们描述的随机和种植合奏之间的连接。使用的空腔方法相结合的参数重建树木和第一和第二时刻的考虑，特别是与重建树木的连接似乎是至关重要的。我们的主要结果是种植合奏的硬区的位置。在硬区域的一部分中，实例具有高概率的单个令人满意的分配。
英文摘要：
We study the planted ensemble of locked constraint satisfaction problems. We describe the connection between the random and planted ensembles. The use of the cavity method is combined with arguments from reconstruction on trees and first and second moment considerations; in particular the connection with the reconstruction on trees appears to be crucial. Our main result is the location of the hard region in the planted ensemble. In a part of that hard region instances have with high probability a single satisfying assignment.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
