Page 17 - 《软件学报》2021年第9期

王永平 等:取定 s 的严格 d-正则随机(3,2s)-SAT 问题的可满足临界 2641

[19] Flajolet P, Sedgewick R. Analytic Combinatorics. Cambridge: Cambridge University Press, 2009. 592−593. [doi: 10.1017/CBO
9780511801655]
[20] Richardson T, Urbanke R. Modern Coding Theory. Cambridge: Cambridge University Press, 2008. 508−510. [doi: 10.1017/CBO
9780511791338]

附中文参考文献:
[10] 许道云,王晓峰.一个正则 NP-完全问题及其不可近似性.计算机科学与探索,2013,7(8):691−697. [doi: 10.3778/j.issn.1673-9418.
1305025]
[11] 周锦程,许道云,卢友军,代寸宽.严格随机正则(3,s)-SAT 模型及其相变现象.北京航空航天大学学报,2016,42(12):2563−2571.
[doi: 10.13700/j.bh.1001-5965.2015.0845]
[13] 周锦程,许道云,卢友军.随机正则(k,r)-SAT 问题的可满足临界.软件学报,2016,27(12):2985−2993. http://www.jos.org.cn/1000-
9825/5129.htm [doi: 10.13328/j.cnki.jos.005129]
[15] 周锦程,许道云,卢友军.基于 1RSB 的正则(k,r)-SAT 问题可满足临界.华中科技大学学报(自然科学版),2017,45(12):7−13. [doi:
10.13245/j.hust.171202]

王永平(1980－),男,讲师,主要研究领域为 许道云(1959－),男,博士,教授,博士生导
计算复杂性,可计算性分析. 师,CCF 高级会员,主要研究领域为计算复
杂性,可计算性分析.