基于膨胀图的随机算法求解SAT问题
| 摘要 | 第1-6页 |
| Abstract | 第6-7页 |
| 第一章 绪论 | 第7-9页 |
| ·引言 | 第7页 |
| ·膨胀图的研究历史及现状 | 第7-8页 |
| ·本文的主要内容 | 第8-9页 |
| 第二章 膨胀图理论的基本概念及方法 | 第9-17页 |
| ·膨胀图概述 | 第9-11页 |
| ·膨胀图的有关概念 | 第9-10页 |
| ·膨胀图的性质 | 第10-11页 |
| ·正则膨胀图 | 第11-13页 |
| ·正则膨胀图的概念 | 第11页 |
| ·膨胀图族的存在性 | 第11-13页 |
| ·膨胀图的分类 | 第13页 |
| ·膨胀图的扩张 | 第13-15页 |
| ·膨胀图的应用举例 | 第15-17页 |
| 第三章 膨胀图族的构造 | 第17-26页 |
| ·膨胀图的代数定义 | 第17页 |
| ·正则图的表示方法 | 第17-19页 |
| ·正则图的三种积运算 | 第19-24页 |
| ·矩阵积 | 第19页 |
| ·直积 | 第19-22页 |
| ·替换积 | 第22-24页 |
| ·基于三种积的膨胀图族的构造 | 第24-26页 |
| 第四章 膨胀图的随机步 | 第26-37页 |
| ·基本知识 | 第26-29页 |
| ·混合引理与随机步概率上界估计 | 第29-33页 |
| ·随机步概率估计 | 第33-35页 |
| ·膨胀图上随机步在算法设计中的应用 | 第35-37页 |
| 第五章 可满足性问题及其求解算法 | 第37-44页 |
| ·基本概念 | 第37-39页 |
| ·约束满足问题(CSP) | 第37-38页 |
| ·可满足性问题(SAT) | 第38-39页 |
| ·算法简介 | 第39-41页 |
| ·随机算法及其分类 | 第39页 |
| ·SAT算法分类 | 第39-41页 |
| ·求解SAT问题的随机算法 | 第41-42页 |
| ·基于膨胀图求解SAT问题的随机算法 | 第42-44页 |
| 致谢 | 第44-45页 |
| 主要参考文献 | 第45-48页 |
| 附录 | 第48-49页 |
