【摘要】约束满足问题(ConstraintSatisfactionProblem,CSP)作为一种抽象模型可以对现实世界中的很多问题进行建模求解，被广泛应用于调度、规划、网络以及生物信息学等诸多领域，得到了越来越多的重视和研究。约束满足问题主要由三部分组成：一个有限的变量集合，一个对应各变量的有限论域集合以及一个说明变量之间关系的约束集合。求解一个约束满足问题要么是为所有变量取其对应论域中的值进行 […]

【摘要】约束满足问题（ConstraintSatisfactionProblem）是人工智能领域的重要组成部分。它将一类现实中问题如计划调度、资源分配、生物信息等抽象为由变量、值域和约束关系三部分组成的模型，并通过计算最终得到一个满足所有约束条件的解,继而实现了一种由现实问题转化为抽象符号问题并将其加以解决的求解方式。解决约束满足问题一般都是通过回溯算法完成的，其中包括了相容性技术、启发式及回溯机 […]