SAT局部搜索行为的统计关系学习与概率推理

摘要	第4-5页
Abstract	第5页
1 绪论	第9-15页
1.1 研究背景与意义	第9-10页
1.2 国内外研究现状	第10-13页
1.3 本文主要研究内容	第13-14页
1.4 本文组织结构	第14-15页
2 SAT问题及局部搜索算法基础	第15-20页
2.1 SAT问题的定义与符号	第15-16页
2.2 SAT算例分类	第16-17页
2.3 SAT局部搜索中的行为模式	第17-19页
2.4 本章小结	第19-20页
3 SAT局部搜索事件统计与分析	第20-27页
3.1 SAT局部搜索中子句的状态变迁	第20-21页
3.2 SAT局部搜索行为的统计特征与问题分析	第21-24页
3.3 SAT局部搜索中的多元关系模型	第24-26页
3.4 本章小结	第26-27页
4 基于统计学习与概率推理的局部搜索技术	第27-38页
4.1 基于传递不满足事件的贝叶斯网络	第27-28页
4.2 变元翻转的间接破坏权重和	第28-30页
4.3 基于间接破坏权重和的统计与学习策略	第30-34页
4.4 IBWsat算法	第34-37页
4.5 本章小结	第37-38页
5 算法性能测试与结果分析	第38-46页
5.1 测试环境	第38页
5.2 测试方法与测试指标	第38-40页
5.3 实验结果	第40-45页
5.4 本章小结	第45-46页
6 总结与展望	第46-48页
6.1 全文总结	第46-47页
6.2 课题展望	第47-48页
致谢	第48-49页
参考文献	第49-53页