随机可满足性问题中的生成树
无序系统与神经网络
2009-11-11 v2 统计力学
摘要
处理树图总是比处理含环图更容易，而生成树是与给定图最接近的树状结构。我们发现了随机 K-可满足性问题的解与相关因子图中生成树解之间的对应关系。我们引入了一种改进的 survey propagation 算法，该算法返回因子图的空边并帮助我们找到可满足的生成树。这使我们能够研究可满足生成树在生成树所张成空间中的组织结构。
引用
@article{arxiv.cond-mat/0507231,
title = {Spanning Trees in Random Satisfiability Problems},
author = {A. Ramezanpour and S. Moghimi-Araghi},
journal= {arXiv preprint arXiv:cond-mat/0507231},
year = {2009}
}
备注
12 pages, 5 figures, published version