• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

计算机工程与科学 ›› 2022, Vol. 44 ›› Issue (07): 1321-1330.

• 人工智能与数据挖掘 • 上一篇    

随机约束满足问题相变研究综述

牛鹏飞1,王晓峰1,2,芦磊1,张九龙1   

  1. (1.北方民族大学计算机科学与工程学院,宁夏 银川 750021;
    2.北方民族大学图像图形智能处理国家民委重点实验室,宁夏 银川 750021)
  • 收稿日期:2021-10-18 修回日期:2021-12-26 接受日期:2022-07-25 出版日期:2022-07-25 发布日期:2022-07-25
  • 基金资助:
    国家自然科学基金(62062001,61762019,61862051,61962002);宁夏自然科学基金(2020AAC03214,2020AAC03219,2019AAC03120,2019AAC03119);北方民族大学重大专项(ZDZX201901)

Review of phase transition of random constraint satisfaction problems

NIU Peng-fei1,WANG Xiao-feng1,2,LU Lei1,ZHANG Jiu-long1   

  1. (1.School of Computer Science and Engineering,North Minzu University,Yinchuan 750021;
    2.The Key Laboratory of Images and Graphics Intelligent Processing of
     State Ethnic Affairs Commission,North Minzu University,Yinchuan  750021,China) 
  • Received:2021-10-18 Revised:2021-12-26 Accepted:2022-07-25 Online:2022-07-25 Published:2022-07-25

摘要: 随机约束满足问题是经典的NP完全问题,在理论研究和现实生活中有着广泛应用。研究人员发现随机约束满足问题存在相变现象,近几十年来关于此问题相变的研究成果不断涌现。从随机图着色问题和随机可满足问题2个最经典的随机约束满足问题入手,从算法研究、理论物理和数学证明3个方面综述了随机图着色问题和随机可满足问题的相变研究成果。最后对随机约束满足问题相变的研究趋势进行了展望。

关键词: 随机约束满足问题, 随机可满足问题, 随机图着色问题, 相变

Abstract: Random constraint satisfaction problem is a classical NP complete problem, which is widely used in theoretical research and real life. The random constraint satisfaction problem has phase transition phenomenon. In recent decades, the research results of phase transitions on this issue have continuously emerged. In this paper, random graph coloring problem and random satisfiability problem are selected, which are classical constraint satisfaction problems. Based on the method from algorithm research, statistical physic, mathematical proof, this paper summarizes and reviews the research results on phase transition of random graph coloring problem and random satisfiability problem. Finally, we provided a suggestion for the direction of future development.

Key words: random constraint satisfaction problem, random satisfiability problem, random graph coloring problem, phase transition