中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
A message-passing approach to random constraint satisfaction problems with growing domains

文献类型:期刊论文

作者Zhou, HJ
刊名JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT
出版日期2011
期号*页码:P02019
关键词EXACT PHASE-TRANSITIONS RANDOM K-SAT SATISFIABILITY THRESHOLD ALGORITHM
ISSN号1742-5468
通讯作者Xu, K (reprint author), Beihang Univ, State Key Lab Software Dev Environm, Beijing 100191, Peoples R China.
英文摘要Message-passing algorithms based on belief propagation (BP) are implemented on a random constraint satisfaction problem (CSP) referred to as model RB, which is a prototype of hard random CSPs with growing domain size. In model RB, the number of candidate discrete values (the domain size) of each variable increases polynomially with the variable number N of the problem formula. Although the satisfiability threshold of model RB is exactly known, finding solutions for a single problem formula is quite challenging and attempts have been limited to cases of N similar to 10(2). In this paper, we propose two different kinds of message-passing algorithms guided by BP for this problem. Numerical simulations demonstrate that these algorithms allow us to find a solution for random formulas of model RB with constraint tightness slightly less than p(cr), the threshold value for the satisfiability phase transition. To evaluate the performance of these algorithms, we also provide a local search algorithm (random walk) as a comparison. Besides this, the simulated time dependence of the problem size N and the entropy of the variables for growing domain size are discussed.
学科主题Physics
收录类别SCI
资助信息National Key Basic Research Project of China [200532CB1092]; NSFC [60473109, 60973033]
原文出处http://dx.doi.org/10.1088/1742-5468/2011/02/P02019
语种英语
WOS记录号WOS:000287802800023
公开日期2013-05-17
源URL[http://ir.itp.ac.cn/handle/311006/14422]  
专题理论物理研究所_理论物理所1978-2010年知识产出
推荐引用方式
GB/T 7714
Zhou, HJ. A message-passing approach to random constraint satisfaction problems with growing domains[J]. JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT,2011(*):P02019.
APA Zhou, HJ.(2011).A message-passing approach to random constraint satisfaction problems with growing domains.JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT(*),P02019.
MLA Zhou, HJ."A message-passing approach to random constraint satisfaction problems with growing domains".JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT .*(2011):P02019.

入库方式: OAI收割

来源:理论物理研究所

浏览0
下载0
收藏0
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。