合取范式最大不全满足与最大可满足问题的局部搜索算法研究

摘要	第1-8页
ABSTRACT	第8-10页
第1章 绪论	第10-15页
·研究背景	第10-11页
·研究现状	第11-13页
·文章结构	第13-15页
第2章 Max-SAT问题研究	第15-23页
·Max-SAT问题及其表示	第15-16页
·Max-SAT的贪心算法	第16-17页
·Max-SAT的GSAT+walk算法	第17-20页
·模拟退火算法	第20-21页
·禁忌搜索算法	第21页
·实验结果比较	第21-22页
·本章小结	第22-23页
第3章 Max-(3)-SAT算法及猜想	第23-30页
·相关符号定义	第23-24页
·Max-3-SAT算法	第24-26页
·算法猜想	第26-28页
·本章总结	第28-30页
第4章 Max-(k)-SAT新算法	第30-40页
·问题介绍	第30-31页
·Max NAE-3-SAT算法	第31-33页
·新算法在Max NAE-k-SAT上的推广	第33-36页
·新算法在Max-k-SAT的应用	第36-37页
·在Max-(k)-SAT的应用	第37-39页
·本章小结	第39-40页
第5章 总结与展望	第40-41页
·本文总结	第40页
·研究展望	第40-41页
参考文献	第41-44页
附录	第44-48页
致谢	第48-49页
学位论文评阅及答辩情况表	第49页