中国科学院理论物理研究所机构知识库
Advanced  
ITP OpenIR  > 理论物理所1978-2010年知识产出  > 期刊论文
题名: Communities of solutions in single solution clusters of a random K-satisfiability formula
作者: Zhou, Haijun ;  Ma, Hui
刊名: PHYSICAL REVIEW E
出版日期: 2009
卷号: 80, 期号:6, 页码:-
关键词: CONSTRAINT SATISFACTION PROBLEMS ;  PHASE
学科分类: Physics
通讯作者: Zhou, HJ , Chinese Acad Sci, Key Lab Frontiers Theoret Phys, Beijing 100190, Peoples R China
部门归属: [Zhou, HJ; Ma, H] Chinese Acad Sci, Key Lab Frontiers Theoret Phys, Beijing 100190, Peoples R China; [Zhou, HJ] Chinese Acad Sci, Inst Theoret Phys, Kavli Inst Theoret Phys, Beijing 100190, Peoples R China
英文摘要: The solution space of a K-satisfiability (K-SAT) formula is a collection of solution clusters, each of which contains all the solutions that are mutually reachable through a sequence of single-spin flips. Knowledge of the statistical property of solution clusters is valuable for a complete understanding of the solution space structure and the computational complexity of the random K-SAT problem. This paper explores single solution clusters of random 3- and 4-SAT formulas through unbiased and biased random-walk processes and the replica-symmetric cavity method of statistical physics. We find that the giant connected component of the solution space has already formed many different communities when the constraint density of the formula is still lower than the solution space clustering transition point. Solutions of the same community are more similar with each other and more densely connected with each other than with the other solutions. The entropy density of a solution community is calculated using belief propagation and is found to be different for different communities of the same cluster. When the constraint density is beyond the clustering transition point, the same behavior is observed for the solution clusters reached by several stochastic search algorithms. Taking together, the results of this work suggest a refined picture on the evolution of the solution space structure of the random K-SAT problem; they may also be helpful for designing heuristic algorithms.
资助者: NSFC[10774150]; China 973-Program[2007CB935903]
收录类别: SCI
原文出处: 查看原文
WOS记录号: WOS:000273228000020
Citation statistics: 
内容类型: 期刊论文
URI标识: http://ir.itp.ac.cn/handle/311006/5204
Appears in Collections:理论物理所1978-2010年知识产出_期刊论文

Files in This Item: Download All
File Name/ File Size Content Type Version Access License
Communities of solutions in single solution clusters of a random K-satisfiability formula.pdf(930KB)----开放获取View Download

Recommended Citation:
Zhou, Haijun,Ma, Hui. Communities of solutions in single solution clusters of a random K-satisfiability formula[J]. PHYSICAL REVIEW E,2009,80(6):-.
Service
 Recommend this item
 Sava as my favorate item
 Show this item's statistics
 Export Endnote File
Google Scholar
 Similar articles in Google Scholar
 [Zhou, Haijun]'s Articles
 [Ma, Hui]'s Articles
CSDL cross search
 Similar articles in CSDL Cross Search
 [Zhou, Haijun]‘s Articles
 [Ma, Hui]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
  Add to CiteULike  Add to Connotea  Add to Del.icio.us  Add to Digg  Add to Reddit 
文件名: Communities of solutions in single solution clusters of a random K-satisfiability formula.pdf
格式: Adobe PDF
此文件暂不支持浏览
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院理论物理研究所 - Feedback
Powered by CSpace