文摘
英文文摘
声明
第一章绪论
1.1 SAT问题的研究背景
1.2研究动机
1.3研究的问题
1.4本文的主要工作及内容安排
第二章SAT问题及相关知识
2.1引言
2.2 SAT问题的基本符号和定义
2.3难解性问题
2.4P与NP
2.5 Cook定理
2.6求解SAT问题的算法
第三章随机算法
3.1引言
3.2随机算法及相关概念
3.3随机算法的分类
3.4随机算法的复杂度类
3.5随机算法的相关概率及求解框架
3.5.1相关概率
3.5.2随机算法的求解框架
3.6对随机算法研究的意义
第四章膨胀图及相关概率
4.1引言
4.1膨胀图的基本知识
4.2膨胀图上的随机步概率上界估计
第五章带随机步的可满足性算法
5.1引言
5.2膨胀图上随机步在算法设计中的应用
5.3利用膨胀图求解SAT问题的随机算法
5.4对本算法进行分析
5.5结论和进一步的工作
致谢
参考文献
附录