#CSP的相变及近似算法研究

摘要	第1-5页
Abstract	第5-6页
目录	第6-7页
引言	第7-9页
第一章 #SAT 问题	第9-16页
·SAT 问题的概述	第9-13页
·SAT 问题的定义	第9-10页
·SAT 问题目前的发展	第10-11页
·SAT 相变的研究进展	第11-13页
·#SAT 问题的相变	第13-16页
·#SAT 问题的定义	第13页
·#SAT 问题的相变	第13-16页
第二章 #CSP 问题的相变现象	第16-27页
·CSP 的介绍	第16-19页
·CSP 的定义	第16-17页
·CSP 的相变	第17页
·RB 模型	第17-19页
·#CSP 的概述	第19-27页
·#CSP 的定义	第20页
·#CSP 相变	第20页
·定理证明	第20-24页
·实验	第24-27页
第三章 近似求解#CSP	第27-37页
·#SAT 近似求解的发展	第27-33页
·完备算法	第27-32页
·不完备算法	第32-33页
·#CSP 求解	第33-37页
·精确算法	第33-34页
·近似求解	第34页
·定理	第34-36页
·实验	第36-37页
结论	第37-38页
总结与展望	第38-39页
参考文献	第39-43页
后记	第43-44页
在学期间公开发表论文	第44页