期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
一种维持约束网络相容性的双向传播策略
1
作者 李晓 司怀伟 +2 位作者 李东雨 谭国真 《计算机工程》 CAS CSCD 北大核心 2020年第4期46-52,共7页
约束满足问题是经典NP-hard问题,其基本算法是递归形式的回溯算法和弧一致性算法.将弧相容与回溯搜索结合,可以有效降低解空间大小.针对弧相容的维持问题,提出一种新的基于时序计数的传播方案,用于增量更新约束子网.将accumulateRevisio... 约束满足问题是经典NP-hard问题,其基本算法是递归形式的回溯算法和弧一致性算法.将弧相容与回溯搜索结合,可以有效降低解空间大小.针对弧相容的维持问题,提出一种新的基于时序计数的传播方案,用于增量更新约束子网.将accumulateRevision和pushRevison作为双向修订的主要方法,以减少修订次数和域过滤变量的数量.实验结果表明,与经典的基于关系的方案和基于变量的传播方案相比,该方案的整体求解速度明显提高,且具有较少的修订时间. 展开更多
关键词 人工智能 约束网络 弧相容 启发式传播 传播策略
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部