基于实例化次数的CSP求解方法研究
| 摘要 | 第4-6页 |
| Abstract | 第6-7页 |
| 第1章 绪论 | 第9-12页 |
| 1.1 研究背景及现状 | 第9-10页 |
| 1.2 本文主要工作 | 第10-12页 |
| 第2章 背景知识 | 第12-23页 |
| 2.1 约束满足问题 | 第12-13页 |
| 2.2 相容性技术 | 第13-17页 |
| 2.3 维持弧相容算法 | 第17-19页 |
| 2.4 启发式方法 | 第19-23页 |
| 2.4.1 变量顺序启发式 | 第20-21页 |
| 2.4.2 值顺序启发式 | 第21-23页 |
| 第3章 基于冲突的约束推理技术 | 第23-29页 |
| 3.1 基于状态的检索策略 | 第23-26页 |
| 3.2 基于上一次冲突的推理技术 | 第26-29页 |
| 第4章 基于冲突的启发式方法研究 | 第29-46页 |
| 4.1 基于实例化次数的约束求解方法研究 | 第29-38页 |
| 4.1.1 实例化次数启发式 | 第29-32页 |
| 4.1.2 MAC_Try 算法 | 第32-34页 |
| 4.1.3 实验结果及分析 | 第34-38页 |
| 4.2 基于回溯成功的约束推理技术研究 | 第38-46页 |
| 4.2.1 基于回溯成功的约束推理技术 | 第38-41页 |
| 4.2.2 MAC_BTS 算法 | 第41-43页 |
| 4.2.3 实验结果及分析 | 第43-46页 |
| 第5章 总结和展望 | 第46-48页 |
| 参考文献 | 第48-51页 |
| 作者简介及硕士期间的科研成果 | 第51-52页 |
| 致谢 | 第52页 |
