基于树分解技术的约束满足问题算法研究-控制理论与控制工程专业论文.docxVIP

III III 摘 要 摘 要 约束满足问题(Constraint Satisfaction Problem-CSP)是人工智能中的一个重要研究 领域，是近年来很多学者所研究的一个非常活跃的内容和方向。实践证明，在我们周 围的世界里，“约束”广泛的存在于生活和科研的各个领域当中，比如地图着色问题、 生产调度问题、产品配置、路由选择、物流规划、人力资源管理问题等等。但在实际 应用的时候，常常会遇到约束条件过多的情况，这种情况往往会使得问题无解。此时 需要求出一个最优解使其最好的满足所有约束，即代价最少。因此研究者们便提出了 加权约束满足问题(Weighted Constraint Satisfaction Problem, WCSP)的概念。CSP 是 WCSP 的一个特例。对于经典 CSP 的求解是 NP 难的，因为在对 CSP 的求解时产生 结果的阶段往往因过度回溯而陷入困境。减少回溯次数甚至实现无回溯搜索变得意义 重大。而对 WCSP 的求解也是 NP 难的，在利用单纯遗传算法(GA)对 WCSP 的求解 时，由于 WCSP 自身的结构特点使得遗传算法向最优解收敛的速度低，对最优解的 搜索能力不强。鉴于此，本文针对 CSP 与 WCSP 的求解进行了研究，取得的主要成 果如下： （1）ZBDD 是描述和操作稀疏二进制向量的一种高效技术，是 OBDD 的一种扩 展形式，其更适用于高效的处理组合集合问题。以零压缩二叉决策图（ZBDD）作为 存储结构，基于树分解思想给出了 CSP 的一种新的求解方法。通过对 CSP 的 ZBDD 描述，将 CSP 的求解转变成对组合集合的交、并、补等基本操作，在一次操作内实 现多条约束的并行处理，大大的提高了算法的效率。 （2）给出了基于弧相容的 ZBDD 符号求解方法，首先提出的是一种求解最小环 切割集的 Get_CutSet 算法，来构造原 CSP 的树形结构并实现无回溯搜索，该算法能 够找到目前最小的环切割集。并且在单弧相容（Singleton AC）的基础之上提出了比 弧相容强度更大的环相容（LC）的概念；然后通过环相容技术对环切割集中的变量 进行实例化，得到原问题的局部解，并证明了该局部解一定可以扩展为原 CSP 的一 个解；若原问题无解，则环相容技术在环切割上也找不到局部解。最终实现了对经典 CSP 的无回溯搜索的 ZCS+BTF 符号算法 （3）结合树分解技术对遗传算法进行了改进，给出了 RCGA 算法。首先把 WCSP 的约束图分割为若干最小相关的子图，进而重新确定变量序进行编码，实验表明本文 所提出的 RCGA 算法能够使父代的优点更好的遗传给下一代，有效的提高了向最优 解收敛的速度，并增强了对最优解的搜索能力，整体性能明显优于单纯 GA 算法。 关键词：树分解(TD)；约束满足问题(CSP)；零压缩二叉决策图（ZBDD）；弧相容(AC)； 加权约束满足问题(WCSP)；环切割集；遗传算法(GA) Ab Abstract II II Abstract Constraint satisfaction problem (CSP) is an important area of the artificial intelligence, CSP is a very active content and direction in recent years of many scholars studied. The practice has proved that, in the real world around us, the “constraints”which exists in all areas of our life, for example, the map coloring problem, production scheduling, product configuration, routing, logistics planning, human resource management issues and so on. So study CSP have a very large practical value. When in actual applications, often encounter constraints excessive situation that often makes the problem has no solution. Then it needs to find an optimal solution to best meet all the constraints, which costs the least. Therefor