基于启发式的约束满足问题研究

摘要	第1-6页
Abstract	第6-10页
第1章 绪论	第10-13页
·研究背景及现状	第10-11页
·本文的主要工作	第11-13页
第2章 约束满足问题	第13-20页
·约束满足问题	第13-15页
·约束满足问题和约束图	第13-14页
·约束满足问题求解方法	第14-15页
·相容性技术	第15-20页
·弧相容	第15-17页
·singleton弧相容	第17-18页
·路径相容	第18页
·向singleton弧相容	第18-20页
第3章 启发式在约束满足问题中的应用	第20-22页
·启发式简介	第20页
·启发式应用举例	第20-22页
第4章 基于动态值启发式的BT-DVH算法	第22-31页
·约束满足问题的回溯法求解过程	第22-25页
·复杂性和正确性分析	第25-26页
·实验结果	第26-31页
·随机约束满足问题测试	第27-29页
·标准库问题测试	第29-31页
第5章 基于AC-4的MAC-DMSV算法	第31-38页
·AC-4算法简介	第31-32页
·MAC-DMSV算法	第32-34页
·时间和空间复杂度分析	第34-35页
·实验结果	第35-38页
·随机约束满足问题测试	第35-37页
·标准库问题测试	第37-38页
第6章 结论	第38-40页
参考文献	第40-43页
作者简介及在学期间所取得的科研成果	第43-44页
致谢	第44页