期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于关联约束非二元弧一致性的约束满足问题求解
被引量:
1
1
作者
袁际军
单汨源
王克喜
《计算机科学》
CSCD
北大核心
2008年第5期158-162,共5页
弧一致性算法在二元约束满足问题中取得了成功的应用,但并不能被有效泛化至预处理非二元约束满足问题(NCSP)。本文提出了处理NCSP的关联约束非二元弧一致性算法。通过随机NCSP生成器产生问题实例,分别采用关联约束非二元孤一致性算法和...
弧一致性算法在二元约束满足问题中取得了成功的应用,但并不能被有效泛化至预处理非二元约束满足问题(NCSP)。本文提出了处理NCSP的关联约束非二元弧一致性算法。通过随机NCSP生成器产生问题实例,分别采用关联约束非二元孤一致性算法和非二元孤一致性算法进行预处理,并对预处理后的问题实例应用回溯算法进行求解。对比分析采用两种预处理算法和不采用预处理下回溯算法的求解性能,仿真实验结果表明关联约束非二元孤一致性算法可以有效地别除冗余的约束元组和变量域值,使关联约束非二元弧一致性回溯算法具有更良好的鲁棒性。
展开更多
关键词
非二元约束满足问题
回溯算法
关联约束非二元弧一致性
随机
ncsp
生成器
下载PDF
职称材料
题名
基于关联约束非二元弧一致性的约束满足问题求解
被引量:
1
1
作者
袁际军
单汨源
王克喜
机构
湖南大学工商管理学院
出处
《计算机科学》
CSCD
北大核心
2008年第5期158-162,共5页
基金
国家自然科学基金项目(70671037)
高等学校博士学科点专项科研基金项目(20050532005)
文摘
弧一致性算法在二元约束满足问题中取得了成功的应用,但并不能被有效泛化至预处理非二元约束满足问题(NCSP)。本文提出了处理NCSP的关联约束非二元弧一致性算法。通过随机NCSP生成器产生问题实例,分别采用关联约束非二元孤一致性算法和非二元孤一致性算法进行预处理,并对预处理后的问题实例应用回溯算法进行求解。对比分析采用两种预处理算法和不采用预处理下回溯算法的求解性能,仿真实验结果表明关联约束非二元孤一致性算法可以有效地别除冗余的约束元组和变量域值,使关联约束非二元弧一致性回溯算法具有更良好的鲁棒性。
关键词
非二元约束满足问题
回溯算法
关联约束非二元弧一致性
随机
ncsp
生成器
Keywords
non-binary constraint satisfaction problem
,
backtracking
,
associated constraint based non-binary arc-con-sistency
,
random ncsp generator
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
TB21 [一般工业技术—工程设计测绘]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于关联约束非二元弧一致性的约束满足问题求解
袁际军
单汨源
王克喜
《计算机科学》
CSCD
北大核心
2008
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部