随机正则(k,r)-SAT问题的可满足临界

• 作者: 卢友军 周锦程 许道云
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 随机正则(k,r)-SAT问题 可满足临界值 相变现象 计算复杂性
• 年，卷（期）: 2016,（12）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 2985-2993
• 页数: 9页
• 分类号: TP301
• 字数: 8715字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.005129

摘要

研究k-SAT问题实例中每个变元恰好出现r=2s次,且每个变元对应的正、负文字都出现s次的严格随机正则(k,r)-SAT问题.通过构造一个特殊的独立随机实验,结合一阶矩方法,给出了严格随机正则(k,r)-SAT问题可满足临界值的上界.由于严格正则情形与正则情形的可满足临界值近似相等闺此得到了随机正则(k,r)-SAT问题可满足临界值的新上界.该上界不仅小于当前已有的随机正则(k,r)-SAT问题的可满足临界值上界,而且还小于一般的随机k-SAT问题的可满足临界值.因此,这也从理论上解释了在相变点处的随机正则(k,r)-SAT问题实例通常比在相应相变点处同规模的随机k-SAT问题实例更难满足的原因.最后,数值分析结果验证了所给上界的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	许道云	贵州大学计算机科学与技术学院	125	460	12.0	16.0
2	卢友军	贵州大学计算机科学与技术学院	6	10	2.0	3.0