中文

随机子立方体作为约束满足问题的玩具模型

计算复杂性 2008-05-23 v2 无序系统与神经网络

摘要

我们提出了一种受硬约束满足和优化问题结构启发的精确可解随机子立方体模型。我们的模型重现了随机 k-可满足性 (random k-satisfiability) 和 k-着色 (k-coloring) 问题的解空间结构,并经历了与这些问题相同的相变。这种比较在大 kk 极限下变为定量的。我们研究了距离性质以及 x-可满足性阈值。该模型还被推广以定义一个连续能量景观,用于研究玻璃态动力学的几个方面。

关键词

引用

@article{arxiv.0710.3804,
  title  = {Random subcubes as a toy model for constraint satisfaction problems},
  author = {Thierry Mora and Lenka Zdeborova},
  journal= {arXiv preprint arXiv:0710.3804},
  year   = {2008}
}

评论

21 pages, 4 figures

R2 v1 2026-06-29T04:58:01.318Z