| 提要 | 第1-5页 |
| 摘要 | 第5-6页 |
| Abstract | 第6-10页 |
| 第1章 绪论 | 第10-12页 |
| ·研究背景和现状 | 第10-11页 |
| ·本文主要工作 | 第11-12页 |
| 第2章 约束满足、求解算法和相容性技术 | 第12-18页 |
| ·约束满足 | 第12-13页 |
| ·随机约束满足问题 | 第13页 |
| ·约束求解算法 | 第13-14页 |
| ·基于回溯的搜索(BT-backtracking algorithm) | 第13页 |
| ·相容性算法 | 第13-14页 |
| ·相容性技术 | 第14-18页 |
| ·弧相容性技术 | 第14-16页 |
| ·singleton弧相容性技术 | 第16-18页 |
| 第3章 基于AC-4算法的启发式求解算法 | 第18-29页 |
| ·启发式求解的特性 | 第18页 |
| ·基于AC-4算法的启发式求解算法 | 第18-29页 |
| ·最大支持数启发式MSV(Max_Support Valaue) | 第18-24页 |
| ·最大支持数启发式思想 | 第18-21页 |
| ·实验结果 | 第21-24页 |
| ·关键值启发式KVV(Max_Support Valaue) | 第24-29页 |
| ·关键值启发式思想 | 第24-26页 |
| ·实验结果 | 第26-29页 |
| 第4章 图分割在singleton弧相容算法中的应用 | 第29-36页 |
| ·图分割技术 | 第29-30页 |
| ·多值传播算法 | 第30-31页 |
| ·图分割技术与K值的确定 | 第31-32页 |
| ·实验结果 | 第32-36页 |
| 第5章 MAC算法的优化 | 第36-44页 |
| ·MAC算法的简介 | 第36页 |
| ·MAC算法的简介 | 第36-39页 |
| ·Revised MAC算法的复杂性和正确性分析 | 第39-41页 |
| ·实验结果 | 第41-44页 |
| 第6章 总结与展望 | 第44-45页 |
| 参考文献 | 第45-48页 |
| 作者简介及在学期间所取得的科研成果 | 第48-49页 |
| 致谢 | 第49页 |
