《计算机应用》唯一官方网站

• •    下一篇

随机正则3-可满足性问题的解簇结构分析

庞立超,王晓峰,谢志新,杨易,赵星宇,杨澜   

  1. 北方民族大学
  • 收稿日期:2023-07-14 修回日期:2023-09-13 发布日期:2023-10-26 出版日期:2023-10-26
  • 通讯作者: 王晓峰

Solution cluster structure analysis of random regular 3-satisfiability problems

  • Received:2023-07-14 Revised:2023-09-13 Online:2023-10-26 Published:2023-10-26

摘要: 正则3-可满足性(3-SAT)问题是一个NP难问题,研究正则3-SAT问题解簇结构变化,旨在深入理解该问题的判定难度和可满足性解的分布情况。然而,现有分析模型只研究了接近簇集相变点的几个离散值,在不同约束密度下,缺乏统一的分析模型来描述解簇的结构演变。为了解决这一问题,提出解簇结构相变分析模型(PSSM)。该模型主要思想是采用WalkSAT算法和信息传播算法求得正则3-SAT问题可满足的初始解,利用随机游走构造该初始解的解簇,并对解簇进行分析。使用模块度和社区度量解簇社区结构,结构熵度量解簇结构复杂性。实验结果表明,PSSM能够准确分析解簇结构演变过程,并且发现正则3-SAT问题实例的可满足相变点位于13至14之间,与使用Zchaff求解器得到的相变点一致,进一步验证了PSSM的有效性。

Abstract: Regular 3-SATisfiability (3-SAT) problem was an NP-hard problem. Studying alterations in the cluster structure of solutions to regular 3-SAT problem was undertaken to enhance comprehension of the difficulty involved in problem determination and distribution of satisfiable solutions. However, existing analysis models only studied a few discrete values near clustered phase transition point. Under different constraint densities, a unified analysis model was lacking to describe the structural evolution of solution clusters. To solve this problem, Phase Transition of Solution Cluster Structure (PSSM) was proposed. The main idea of this model was to obtain an initial solution of regular 3-SAT problem using WalkSAT algorithm and information propagation algorithm, construct a solution cluster of initial solution by using random walks, and analyze the solution cluster. Modularity and community were used to measure community structure, and structural entropy was used to measure the complexity of the solution cluster structure. Experimental results show that PSSM can accurately analyze the structural evolution process of solution clusters, and it is found that the phase transition point of regular 3-SAT problem instances is between 13 and 14, which is consistent with the phase transition point obtained using Zchaff solver, further verifying the effectiveness of PSSM.

中图分类号: