布尔约束满足问题的粗糙集和锐集
Coarse and Sharp Thresholds of Boolean Constraint Satisfaction Problems
摘要：
在Molloy的概率模型下研究了随机约束满足问题的阈值性质。我们给出了一个充分条件存在的一个尖锐的阈值，导致（布尔约束）的一个必要和充分的存在的一个尖锐的阈值的情况下，约束模板的应用具有相等的概率，从而解决了一个开放的问题的Creameru和Daude。
英文摘要：
We study threshold properties of random constraint satisfaction problems under a probabilistic model due to Molloy. We give a sufficient condition for the existence of a sharp threshold that leads (for boolean constraints) to a necessary and sufficient for the existence of a sharp threshold in the case where constraint templates are applied with equal probability, solving thus an open problem of Creignou and Daude.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
