随机约束满足问题中的精确相位转移
人工智能
2007-05-23 v1 计算复杂性
离散数学
摘要
本文提出了一种新的随机 CSP 模型，称为 Model RB，是标准 Model B 的修订版本。证明了当变量数量趋于无穷时，Model RB 从几乎所有问题都可满足的区域到几乎所有问题都不可满足的区域之间确实存在相位转移。此外，相位转移发生的临界值也被精确求出。通过将 Model RB 的难度与 Model B 关联，表明 Model RB 中存在大量难题。
引用
@article{arxiv.cs/0004005,
title = {Exact Phase Transitions in Random Constraint Satisfaction Problems},
author = {Ke Xu and Wei Li},
journal= {arXiv preprint arXiv:cs/0004005},
year = {2007}
}
备注
See http://www.jair.org/ for any accompanying files