×

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

消耗积分:3 | 格式:rar | 大小:1.14 MB | 2018-01-05

分享资料个

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

下载并关注上传者 低至0.43元/天 开通VIP 免费下载

声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉

评论(0)
发评论

下载排行榜

全部0条评论

快来发表一下你的评论吧 !