通过移除受挫相互作用简化随机可满足性问题
统计力学
2009-11-11 v1 计算复杂性
摘要
我们如何移除约束满足问题（CSP）中的一些相互作用，使其仍然保持可满足？在本文中，我们研究了一种改进的概览传播算法，该算法使我们能够针对典型的 CSP（即随机 K-可满足性问题）解决此问题。移除相互作用的平均数量由算法中的调节参数控制。如果原始问题可满足，那么我们能够构造从原始问题到具有最小可能相互作用数量的最小问题的可满足子问题。最小可满足子问题将直接提供原始问题的解。
引用
@article{arxiv.cond-mat/0606128,
title = {Simplifying Random Satisfiability Problem by Removing Frustrating Interactions},
author = {A. Ramezanpour and S. Moghimi-Araghi},
journal= {arXiv preprint arXiv:cond-mat/0606128},
year = {2009}
}
备注
21 pages, 16 figures