| 摘要 | 第1-6页 |
| Abstract | 第6-10页 |
| 第1章 绪论 | 第10-13页 |
| ·研究背景及现状 | 第10-11页 |
| ·本文主要内容 | 第11-13页 |
| 第2章 约束满足问题概述 | 第13-16页 |
| ·约束满足问题 | 第13-14页 |
| ·约束满足问题求解方法 | 第14-16页 |
| 第3章 相容性技术及相容性算法 | 第16-30页 |
| ·相容性技术 | 第16页 |
| ·弧相容 | 第16-30页 |
| ·AC3/AC3.1/AC3.2/AC3.3 算法 | 第17-23页 |
| ·AC4 算法 | 第23-26页 |
| ·AC6 算法 | 第26-28页 |
| ·AC2001 算法 | 第28-30页 |
| 第4章 Singleton弧相容算法 | 第30-40页 |
| ·Singleton弧相容的介绍 | 第30-31页 |
| ·基于宽度优先思想的SAC算法 | 第31-34页 |
| ·SAC1 算法 | 第31-32页 |
| ·SAC2 算法 | 第32-34页 |
| ·基于深度优先思想的SAC算法 | 第34-38页 |
| ·SAC3 算法 | 第34-36页 |
| ·SAC3 的优化算法 | 第36-38页 |
| ·基于启发式的深度优先思想的SAC算法 | 第38-40页 |
| ·基于失败优先原则的SAC3-FFP算法 | 第38-39页 |
| ·SAC3-MINIsup算法 | 第39-40页 |
| 第5章 优化的Singleton弧相容算法 | 第40-54页 |
| ·SAC3+算法 | 第40-42页 |
| ·SAC3+*算法 | 第42-48页 |
| ·约束问题分解转化为子问题 | 第43-45页 |
| ·选取关联变量一次实例化k个值 | 第45-47页 |
| ·深度搜索过程中失败值对的处理 | 第47-48页 |
| ·实验结果与分析 | 第48-54页 |
| 第6章 工作总结与展望 | 第54-55页 |
| 参考文献 | 第55-59页 |
| 作者简介 | 第59-60页 |
| 致谢 | 第60页 |