Relaxation in graph coloring and satisfiability problems
无序系统与神经网络
2009-10-31 v2 人工智能
摘要
Using T=0 Monte Carlo simulation, we study the relaxation of graph coloring (K-COL) and satisfiability (K-SAT), two hard problems that have recently been shown to possess a phase transition in solvability as a parameter is varied. A change from exponentially fast to power law relaxation, and a transition to freezing behavior are found. These changes take place for smaller values of the parameter than the solvability transition. Results for the coloring problem for colorable and clustered graphs and for the fraction of persistent spins for satisfiability are also presented.
引用
@article{arxiv.cond-mat/9810144,
title = {Relaxation in graph coloring and satisfiability problems},
author = {Pontus Svenson and Mats G. Nordahl},
journal= {arXiv preprint arXiv:cond-mat/9810144},
year = {2009}
}
备注
13 pages, 22 figures. Several changes to text, figures added, section on feromagnetic model moved to a separate publication. Accepted for publication in Phys Rev. E