-
题名随机正则(k,r)-SAT问题的可满足临界
被引量：7
- 1
-
-
作者
周锦程
许道云
卢友军
-
机构
贵州大学计算机科学与技术学院
黔南民族师范学院数学与统计学院
-
出处
《软件学报》
EI
CSCD
北大核心
2016年第12期2985-2993,共9页
-
基金
国家自然科学基金(61262006
61463044
+1 种基金
61462001)
贵州省科技厅联合基金(LKQS201313)~~
-
文摘
研究k-SAT问题实例中每个变元恰好出现r=2s次,且每个变元对应的正、负文字都出现s次的严格随机正则(k,r)-SAT问题.通过构造一个特殊的独立随机实验,结合一阶矩方法,给出了严格随机正则(k,r)-SAT问题可满足临界值的上界.由于严格正则情形与正则情形的可满足临界值近似相等,因此得到了随机正则(k,r)-SAT问题可满足临界值的新上界.该上界不仅小于当前已有的随机正则(k,r)-SAT问题的可满足临界值上界,而且还小于一般的随机k-SAT问题的可满足临界值.因此,这也从理论上解释了在相变点处的随机正则(k,r)-SAT问题实例通常比在相应相变点处同规模的随机k-SAT问题实例更难满足的原因.最后,数值分析结果验证了所给上界的正确性.
-
关键词
随机正则(k
r)-SAT问题
可满足临界值
相变现象
计算复杂性
-
Keywords
regular random（k
r）-SAT problem
satisfiability threshold
phase transition phenomena
computational complexity
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
