典型文献
随机均衡正则恰当(2s,k)-SAT问题的可满足相变
文献摘要：
为深入理解均衡正则恰当(2s,k)-SAT问题的判定难度和可满足性解的分布情况,引入随机实例产生模型,利用一阶矩和二阶矩方法分析可满足性相变现象,给出随机均衡正则恰当(2s,k)-SAT问题可满足的相变点s?.当ss?时,随机均衡正则恰当(2s,k)-SAT实例高概率不可满足.最后,选取了k=4和k=6的两组数据集进行实验验证,结果表明理论结果与实验结果符合.
文献关键词：
均衡正则恰当(2s;k)-SAT问题;相变分析;可满足性问题;一阶矩;二阶矩
中图分类号：
作者姓名：
王晓峰;于卓;周锦程;许道云
作者机构：
北方民族大学 计算机科学与工程学院,宁夏 银川 750021;北方民族大学 图像图形智能处理国家民委重点实验室,宁夏 银川 750021;贵州大学计算机科学与技术学院,贵州 贵阳 550025;黔南民族师范学院数学与统计学院,贵州 都匀 558000
文献出处：
引用格式：
[1]王晓峰;于卓;周锦程;许道云-.随机均衡正则恰当(2s,k)-SAT问题的可满足相变)[J].华中科技大学学报（自然科学版）,2022(02):105-111
A类：
B类：
正则,2s,SAT,一阶矩,二阶矩,变现,相变点,明理,相变分析,可满足性问题
AB值：
0.267939
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
