• • 下一篇
收稿日期:
2023-07-14
修回日期:
2023-09-13
发布日期:
2023-10-26
出版日期:
2023-10-26
通讯作者:
王晓峰
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的有效性。
中图分类号:
庞立超 王晓峰 谢志新 杨易 赵星宇 杨澜. 随机正则3-可满足性问题的解簇结构分析[J]. 计算机应用, DOI: 10.11772/j.issn.1001-9081.2023070940.
[1] | 唐泉 王鹏 辛罡. 基于量子动力学的优化算法熵[J]. 《计算机应用》唯一官方网站, 0, (): 0-0. |
[2] | 田茂江 陈鸣科 堵威 杜文莉. 面向大规模重叠问题的两阶段差分分组方法[J]. 《计算机应用》唯一官方网站, 0, (): 0-0. |
[3] | 赵佳伟 陈雪峰 冯亮 候亚庆 朱泽轩 Ong Yew-Soon. 优化场景视角下的进化多任务优化综述[J]. 《计算机应用》唯一官方网站, 0, (): 0-0. |
[4] | 刘晓芳 张军. 概率驱动的动态多目标多智能体协同调度进化优化[J]. 《计算机应用》唯一官方网站, 0, (): 0-0. |
[5] | 郑志强 段海滨. 基于有限忍耐度鸽群优化的无人机近距空战机动决策[J]. 《计算机应用》唯一官方网站, 0, (): 0-0. |
[6] | 魏凤凤 陈伟能. 分布式数据驱动的多约束进化优化算法[J]. 《计算机应用》唯一官方网站, 0, (): 0-0. |
[7] | 陈雅琴, 王鹏. 基于优化算法量子动力学框架的势垒估计准则[J]. 《计算机应用》唯一官方网站, 2024, 44(4): 1180-1186. |
[8] | 赵莉朋, 郭兵. 基于BDLS的区块链共识改进算法[J]. 《计算机应用》唯一官方网站, 2024, 44(4): 1139-1147. |
[9] | 李建强, 何舟. 面向多行程取送货车辆路径问题的混合NSGA-Ⅱ[J]. 《计算机应用》唯一官方网站, 2024, 44(4): 1187-1194. |
[10] | 黄亚伟 钱雪忠 宋威. 基于双档案种群大小自适应方法的改进差分进化算法[J]. 《计算机应用》唯一官方网站, 0, (): 0-0. |
[11] | 赵星宇, 王晓峰, 杨易, 庞立超, 杨澜. 求解恰当可满足性问题的随机局部搜索算法[J]. 《计算机应用》唯一官方网站, 2024, 44(3): 842-848. |
[12] | 杜晓昕, 周薇, 王浩, 郝田茹, 王振飞, 金梅, 张剑飞. 智能算法的亚群优化策略综述[J]. 《计算机应用》唯一官方网站, 2024, 44(3): 819-830. |
[13] | 佘维, 李阳, 钟李红, 孔德锋, 田钊. 基于改进实数编码遗传算法的神经网络超参数优化[J]. 《计算机应用》唯一官方网站, 2024, 44(3): 671-676. |
[14] | 彭庆媛 王晓峰 王军霞 华盈盈 唐傲 何飞. 可满足性问题相变研究综述 #br#[J]. 《计算机应用》唯一官方网站, 0, (): 0-0. |
[15] | 黄杰 武瑞梓 李均利. 高效的自适应复杂网络鲁棒性优化算法 [J]. 《计算机应用》唯一官方网站, 0, (): 0-0. |
阅读次数 | ||||||
全文 |
|
|||||
摘要 |
|
|||||