弧一致性(Arc Consistency, AC) 是约束满足问题(CSP)中的一个重要概念。在 CSP 的背景下,一致性主要关注如何确保变量的取值与约束的要求相一致。弧一致性主要关注二元约束,也就是涉及两个变量的约束。 定义…
提出用于强制执行弧一致性的有效算法一直被认为是约束推理社区的核心问题。 第一个原因是弧一致性是可能在所有求解器中使用的基本传播机制。 第二个原因是,允许提高电弧一致性效率的新思想通常可以应用于实现其他局部一致性的算法。 这就是为什么我花了一些时间来介绍已经引入的主要算法,因为我们知道所涉及的技术可以用...
弧一致性符号ADD算法及在CSP求解中的应用
应用GetAC 算法进行预处理,得到新的满足弧一致性的问题 P,P.BC 和P.UC分别表示二元约束和一元约束的 ADD。设 未实例化 的变量集合 F ,初始时 F 为变 量集 。对 P 的递 归 · 24 6 · 求解 过程 如下 : 1.int BT (CS P P .F ) 2.{ 3. if(F= 一 ) return 1;//返回 l ...
最后 将弧一致性的 符号 ADD 算法嵌入到 BT 搜索 算法中 来实现对CSP的 求解。 对标准库中 的测 试用 例以 及随机生成的 测 试用 例 进行了 实验仿真, 结 果表明 ,该 算法求解CSP的时间 既优于 带 弧一 致性维护 的回跳算法MAC3+BJ和MAC2001+BJ, 也优于采用 传统数据结构进行预处理的 CSP 求解...
发生在X3身上的事也有可能发生在其他对X1有约束的变量身上，所以有必要检查与X1相关联的所有弧的一致性...
问数独为CSP (弧一致性)EN我之前做安卓课程设计找到课本上有一个数独游戏，当时玩的时候发现太费时间了...
问AC-1、AC-2和AC-3算法(弧一致性)EN哈希算法也叫散列算法, 不过英文单词都是 Hash, 简单一句话...
约束满足问题(CSP)是人工-智能领域中一个重要的研究课题,弧一致性(AC)技术是提高约束满足问题求解效率的一种有效技术.对传统弧一致性技术进行了改进,给出了弧一致性的符号代数决策图(ADD)算法并将其应用于CSP求解.传统弧一致性技术在压缩问题的搜索空间时,一次只能处理一...
一种面向变量传播的弧一致性算法 维普资讯 http://www.cqvip.com