期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种维持约束网络相容性的双向传播策略
1
作者
李晓
司怀伟
+2 位作者
郭
宗
沂
李东雨
谭国真
《计算机工程》
CAS
CSCD
北大核心
2020年第4期46-52,共7页
约束满足问题是经典NP-hard问题,其基本算法是递归形式的回溯算法和弧一致性算法.将弧相容与回溯搜索结合,可以有效降低解空间大小.针对弧相容的维持问题,提出一种新的基于时序计数的传播方案,用于增量更新约束子网.将accumulateRevisio...
约束满足问题是经典NP-hard问题,其基本算法是递归形式的回溯算法和弧一致性算法.将弧相容与回溯搜索结合,可以有效降低解空间大小.针对弧相容的维持问题,提出一种新的基于时序计数的传播方案,用于增量更新约束子网.将accumulateRevision和pushRevison作为双向修订的主要方法,以减少修订次数和域过滤变量的数量.实验结果表明,与经典的基于关系的方案和基于变量的传播方案相比,该方案的整体求解速度明显提高,且具有较少的修订时间.
展开更多
关键词
人工智能
约束网络
弧相容
启发式传播
传播策略
下载PDF
职称材料
题名
一种维持约束网络相容性的双向传播策略
1
作者
李晓
司怀伟
郭
宗
沂
李东雨
谭国真
机构
大连理工大学电子信息与电气工程学部
出处
《计算机工程》
CAS
CSCD
北大核心
2020年第4期46-52,共7页
基金
国家自然科学基金青年基金(61602084)
国家自然科学基金辽宁省联合基金重点支持项目(U1808206)
辽宁省博士科研启动基金(201601041)。
文摘
约束满足问题是经典NP-hard问题,其基本算法是递归形式的回溯算法和弧一致性算法.将弧相容与回溯搜索结合,可以有效降低解空间大小.针对弧相容的维持问题,提出一种新的基于时序计数的传播方案,用于增量更新约束子网.将accumulateRevision和pushRevison作为双向修订的主要方法,以减少修订次数和域过滤变量的数量.实验结果表明,与经典的基于关系的方案和基于变量的传播方案相比,该方案的整体求解速度明显提高,且具有较少的修订时间.
关键词
人工智能
约束网络
弧相容
启发式传播
传播策略
Keywords
artificial intelligence
constraint network
Arc Consistency(AC)
heuristic propagation
propagation strategy
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种维持约束网络相容性的双向传播策略
李晓
司怀伟
郭
宗
沂
李东雨
谭国真
《计算机工程》
CAS
CSCD
北大核心
2020
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部