| 提要 | 第1-7页 |
| 第1章 绪论 | 第7-10页 |
| ·研究背景 | 第7-8页 |
| ·研究现状 | 第8页 |
| ·本文主要工作 | 第8-10页 |
| 第2章 约束满足和相容性技术 | 第10-15页 |
| ·约束满足问题 | 第10-11页 |
| ·约束满足 | 第10页 |
| ·约束求解 | 第10-11页 |
| ·相容性技术 | 第11-15页 |
| ·弧相容性技术 | 第11-13页 |
| ·路径相容性技术 | 第13-14页 |
| ·singleton 弧相容性技术 | 第14页 |
| ·对偶相容性技术 | 第14-15页 |
| 第3章 基于 FFP 和子问题的相容性算法 | 第15-26页 |
| ·基于FFP 的相容性算法 | 第15-18页 |
| ·最先失败原则 | 第15页 |
| ·最先失败原则的约束传播算法 | 第15-17页 |
| ·实验结果 | 第17-18页 |
| ·基于子问题的相容性技术 | 第18-26页 |
| ·子问题的singleton 弧相容技术 | 第18-22页 |
| ·实验结果 | 第22-26页 |
| 第4章 优化的相容性技术 | 第26-42页 |
| ·值传播的相容性技术 | 第26-34页 |
| ·多值传播定理 | 第26-27页 |
| ·多值传播的 SAC 算法 | 第27-30页 |
| ·实验结果 | 第30-34页 |
| ·基于完全独立相容的约束传播算法 | 第34-42页 |
| ·完全独立相容性技术 | 第34-36页 |
| ·SAC-ESC 算法 | 第36-38页 |
| ·实验结果 | 第38-42页 |
| 第5章 基于预处理的约束求解算法 | 第42-56页 |
| ·基于SAC 的约束求解算法 | 第42-48页 |
| ·MPAC 和MPAC*算法 | 第42-45页 |
| ·复杂性与正确性分析 | 第45-46页 |
| ·实验结果 | 第46-48页 |
| ·基于预处理的值启发式求解算法 | 第48-56页 |
| ·最大选择概率 MPV | 第49-50页 |
| ·MAC_MPV 算法 | 第50-53页 |
| ·实验结果 | 第53-56页 |
| 第6章 改进的双向 singleton 弧相容算法 | 第56-72页 |
| ·算法 BiSAC-2 | 第56-61页 |
| ·BiSAC-2 算法 | 第56-59页 |
| ·实验结果 | 第59-61页 |
| ·算法 BiSAC-DF | 第61-67页 |
| ·BiSAC-DF 算法 | 第61-63页 |
| ·复杂性与正确性分析 | 第63-65页 |
| ·实验结果 | 第65-67页 |
| ·算法 BiSAC-DP | 第67-72页 |
| ·BiSAC-DP 算法 | 第67-68页 |
| ·复杂性与正确性分析 | 第68-69页 |
| ·实验结果 | 第69-72页 |
| 第7章 总结与展望 | 第72-73页 |
| 参考文献 | 第73-77页 |
| 攻读硕士期间完成的论文 | 第77-78页 |
| 致谢 | 第78-79页 |
| 摘要 | 第79-81页 |
| Abstract | 第81-82页 |