Summary of algorithms for solving RB model instances in constraint satisfiability

Summary of algorithms for solving RB model instances in constraint satisfiability
Yang Yia
Wang Xiaofenga,b
Mo Chunhuia
Pang Lichaoa
Yang Lana
Zhao Xingyua
a. School of Computer Science & Engineering, b. Key Laboratory of Images & Graphics Intelligent Processing of State Ethnic Affairs Commission, North Minzu University, Yinchuan 750021, China

摘要

Constraint satisfaction problem is one of the most basic NP-complete problems in artificial intelligence. Over the years, with the in-depth study of constraint satisfaction problem, scholars at home and abroad have proposed a variety of case models. RB model is an example of growth domain constraint satisfaction problem with precise phase transition, which is very challenging to solve. In order to find a new efficient algorithm and promote the research of RB model algorithm for constraint satisfiability problem, firstly, this paper analyzed the model development and solving techniques of constraint satisfaction problem. Secondly, it sorted out various examples of RB model solving algorithms, and divided the solving algorithm literature into backtracking heuristic, information propagation and meta-heuristic related improved algorithms. This paper compared and summarized the algorithm principles, improved strategies, convergence and accuracy. Finally, it gave the research trend and development direction of solving RB model example algorithm.

基金项目

国家自然科学基金资助项目(62062001)
宁夏青年拔尖人才资助项目(2021)

出版信息

DOI: 10.19734/j.issn.1001-3695.2022.11.0567
出版期卷: 《计算机应用研究》 Printed Article, 2023年第40卷 第7期
所属栏目: Survey
出版页码: 1929-1936,1946
文章编号: 1001-3695(2023)07-002-1929-08

发布历史

[2023-01-18] Accepted Paper
[2023-07-05] Printed Article

引用本文

杨易, 王晓峰, 莫淳惠, 等. 约束可满足性中求解RB模型实例的算法综述 [J]. 计算机应用研究, 2023, 40 (7): 1929-1936,1946. (Yang Yi, Wang Xiaofeng, Mo Chunhui, et al. Summary of algorithms for solving RB model instances in constraint satisfiability [J]. Application Research of Computers, 2023, 40 (7): 1929-1936,1946. )

关于期刊

  • 计算机应用研究 月刊
  • Application Research of Computers
  • 刊号 ISSN 1001-3695
    CN  51-1196/TP

《计算机应用研究》创刊于1984年,是由四川省科技厅所属四川省计算机研究院主办的计算技术类学术刊物。

《计算机应用研究》瞄准本学科领域迫切需要的前沿技术,及时反映国内外计算机应用研究的主流技术、热点技术及最新发展趋势。主要刊载内容包括本学科领域高水平的学术论文、本学科最新科研成果和重大应用成果。栏目内容涉及计算机学科新理论、计算机基础理论、算法理论研究、算法设计与分析、区块链技术、系统软件与软件工程技术、模式识别与人工智能、体系结构、先进计算、并行处理、数据库技术、计算机网络与通信技术、信息安全技术、计算机图像图形学及其最新热点应用技术。

《计算机应用研究》拥有众多高层次读者、作者,读者对象主要为从事计算机学科领域高、中级研究人员及工程技术人员,各高等院校计算机专业及相关专业的师生。多年来《计算机应用研究》的总被引频次及Web下载率一直名列本学科同类学术刊物前茅,所刊发的学术论文以其新颖性、学术性、前瞻性、导向性、实用性而备受广大读者的喜爱。


收录和评价

  • 第二届国家期刊奖百种重点期刊
  • 中国期刊方阵双效期刊
  • 全国中文核心期刊(北大2023年版)
  • 中国科技核心期刊
  • 中国科学引文数据库(CSCD)来源期刊
  • RCCSE中国核心学术期刊
  • 中国计算机学会会刊
  • 2020—2022年科技期刊世界影响力指数(WJCI)报告收录期刊
  • 中国科技期刊精品数据库全文来源期刊
  • 中国学术期刊综合评价数据库来源期刊
  • 《中国期刊网》《中国学术期刊(光盘版)》来源期刊
  • 2017—2019年中国国际影响力优秀学术期刊(自然科学与工程技术)
  • 中国精品科技期刊顶尖学术论文(F5000)项目来源期刊
  • 《中国工程技术电子信息网》《电子科技文献数据库》来源期刊
  • 英国《科学文摘》(INSPEC)来源期刊
  • 《日本科学技术振兴机构数据库》(JST)来源期刊
  • 俄罗斯《文摘杂志》(AJ, VINITI)来源期刊
  • 美国《艾博思科学术数据库》(EBSCO)全文来源期刊
  • 美国《剑桥科学文摘(自然科学)》(CSA(NS))核心期刊
  • 波兰《哥白尼索引》(IC)来源期刊
  • 美国《乌利希期刊指南(网络版)》(Ulrichsweb)收录期刊