约束满足问题求解途径之比较与分析shiftleftcom.PDF

维普资讯 计算机科学 1998Vo1．25№ 1 一 12 约束满足问题求解途径之比较与分析 TheCompa~sonandAnalystsofSolvingApproachstoConstrainSatisfactionproblems 陈 源 史忠植 O (中国科学院计算技术研究 吾 开放实验室 北京100080) 擒 蔓 奉文从逻辑、由动机理话、代数方法、连接土叉框架和遗传算法的庸度苯八地埠讨7CSP 同矗的不再表示疆架和术■风l苑，详-分析和讨诗 ，不同表示和采■方法的特点吐殪它^=n之 阍的 在雕和可*的对台。!舞最i 关羹宇 鞯 鼍‘ 时机’整美楚兰 连接主叉，遗侍算法 P ’ = 人工智能和计算机荤车学领域 中的许多问随都能 取相应拘学习策略，GENET可能跳出局部极小点。 看作一类约束满足问嚣 (CSP)，CSP问题由～组变 R[vin则将CSP可『疆转化为一个等价的整数规划问 量 x】，x”…， 对血于各个变量 的值域 R1， ，…， 题 ，通过传教方法求 出解 的数 目，井对一些 cSP阗 R 和一组约柬条件 c}．一．·，C 组成 。其中每个约束 西算法的时间复杂靡上界给出了冕好的结果．De B(xl1，X ，一一；‰)是售卡尔积 x… R韵 一个 KIeer肚真值雏护系统 ATMS的框莱研究了CSP 子集．它指定了相容的变量元组值。ESP问题的一个 间题的求解，特别是它与一般CSp概念t弧、节点、k 解就是满足所有鲥束的一种变量赋值方案。CSP问 一 致性、有向k一致性的联系和对应 其它的方法包 题的求解就是找到所有变蠹的一个盛多个赋值，使 括用遗传算挂 和爬山法等局部搜索珐来求解 CsP 约束得到满足。CSP伺飚广泛地应用于计算机视觉． 最常见扮饿击是选取未被满足的约束个数作为目标 电路设计与分析 ．故障诊断推理，信念维护，任务调 函数，目标函数为零时 ，即求得一个解。 度．科学实验规划．CAD系统和 自然语言理解等领 下面我们将从逻辑 ．自动机．整数线性规划，连 域 。 接主义框架和遗传算法 的角度探讨 CSP问题的不 一 般情况下， 题的握解是一个NP完垒 同表示和求解风范，以及不 同实现方法的特点和它 问题 。经典的CSP问题 的求解方法是基于树 的搜索 们之间的联系和交叉 。 算法．在此基础上人们提出了各种改进方苦，包括弧 1．约束满足伺艇的逻辑方法 一 致性，路径一致性 ，前向检查，回跳 ．向后标记以及 一 些变量赋值次序和变量值选择的启发式策略。这 CSP问题可以甩一阶逻辑定理证明，命题逻辑 些方j击基本上从元结构 (约束图的拓扑结构)，宏观 定理汪明(SAT)。Prolog方法，约束逻辑程序设计语 结构(约束之间的关系)以及微观结构 (一个变量不 言CLP以及命题逻辑的横型创建等不同的逻辑框 同值之间的关系)三方面出发 ．试图j苗过缩小搜索空 槊加以刻画 ，在不同的逻辑框架内，使用各种标准和 间和寻找最佳攫索路径来提高CSP问题的求解效 非标准 的方法进行 CSP问题求解 。 率。 1．1 csP问题的一阶谓词连辑框架 从逻辑角度，可以将CSP问题表示成一组等价 CSP问题可以严格地用一阶谓词逻辑公式描述 的一阶谓词公式或命 题公式，通过定理证明方珐或 如 下 模型色建寻找 问题的解 。Vem