基于AC-4的动态值启发式约束满足问题求解算法

吉林大学学报(工学版) ›› 2011, Vol. 41 ›› Issue (05): 1378-1382.

基于AC-4的动态值启发式约束满足问题求解算法

李占山^1,2,王孜文^1,2,艾阳^1,2,李宏博^1,2

1.吉林大学符号计算与知识工程教育部重点实验室, 长春 130012|2.吉林大学计算机科学与技术学院, 长春 130012

收稿日期:2010-08-14 出版日期:2011-09-01 发布日期:2011-09-01
通讯作者: 王孜文(1985-),男,硕士研究生.研究方向:约束求解. E-mail:wang_ziwen@qq.com
作者简介:李占山(1966-),男,教授.研究方向:模型诊断,约束求解,智能规划与调度.E-mail:zslizsli@163.com
基金资助:
国家自然科学基金项目（60773097,60873148,60973089）；吉林省科技发展计划项目（20071106）.

AC-4 based dynamic value ordering heuristic algorithm for solving constraint satisfaction problems

LI Zhan-shan^1,2, WANG Zi-wen^1,2, AI Yang^1,2, LI Hong-bo^1,2

1.Key Laboratory of Symbolic Computation and Knowledge Engineering for Ministry of Education, Jilin University, Changchun 130012,China|2.College of Computer Science and Technology, Jilin University, Changchun 130012,China

Received:2010-08-14 Online:2011-09-01 Published:2011-09-01

摘要/Abstract

摘要：

通过对弧相容算法AC-4的研究,提出了基于AC-4的动态值启发式约束满足问题求解算法MAC-DMSV。算法充分利用AC-4在初始化阶段建立的计数器信息,选择计数最大者为优先实例化的值。将此值启发式加入MAC算法之中,在MAC的相容性检查时,更新计数器的值,实现了动态值启发式。实验结果表明,MAC-DMSV算法比MAC和BT+MPAC算法具有更高的求解效率。

关键词: 人工智能, 动态值排序, 约束满足问题

Abstract:

By studying the arc consistency algorithm, AC-4, a dynamic value ordering heuristic algorithm, MAC-DMSV, is proposed for solving constraint satisfaction problems based on AC-4. This algorithm uses the counter information created in the initialization of the AC-4 algorithm, and chooses the biggest counter value as the prior instantiation value. Then the ordering heuristic of this value is added to MAC, and the values of the counters are updated when checking the consistency. So the dynamic value ordering heuristic can be realized. The algorithm is tested by random problems and benchmark, and results show that the efficiency of MAC-DMSV is higher than that of MAC and BT+MPAC.

Key words: artificial intelligence, dynamic value ordering, constraint satisfaction problems

中图分类号:

TP18

李占山^1,2,王孜文^1,2,艾阳^1,2,李宏博^1,2. 基于AC-4的动态值启发式约束满足问题求解算法[J]. 吉林大学学报(工学版), 2011, 41(05): 1378-1382.

LI Zhan-shan, WANG Zi-wen, AI Yang, LI Hong-bo. AC-4 based dynamic value ordering heuristic algorithm for solving constraint satisfaction problems[J]. 吉林大学学报(工学版), 2011, 41(05): 1378-1382.

参考文献

相关文章 15

[1]	董飒, 刘大有, 欧阳若川, 朱允刚, 李丽娜. 引入二阶马尔可夫假设的逻辑回归异质性网络分类方法[J]. 吉林大学学报(工学版), 2018, 48(5): 1571-1577.
[2]	顾海军, 田雅倩, 崔莹. 基于行为语言的智能交互代理[J]. 吉林大学学报(工学版), 2018, 48(5): 1578-1585.
[3]	王旭, 欧阳继红, 陈桂芬. 基于垂直维序列动态时间规整方法的图相似度度量[J]. 吉林大学学报(工学版), 2018, 48(4): 1199-1205.
[4]	张浩, 占萌苹, 郭刘香, 李誌, 刘元宁, 张春鹤, 常浩武, 王志强. 基于高通量数据的人体外源性植物miRNA跨界调控建模[J]. 吉林大学学报(工学版), 2018, 48(4): 1206-1213.
[5]	黄岚, 纪林影, 姚刚, 翟睿峰, 白天. 面向误诊提示的疾病-症状语义网构建[J]. 吉林大学学报(工学版), 2018, 48(3): 859-865.
[6]	李雄飞, 冯婷婷, 骆实, 张小利. 基于递归神经网络的自动作曲算法[J]. 吉林大学学报(工学版), 2018, 48(3): 866-873.
[7]	刘杰, 张平, 高万夫. 基于条件相关的特征选择方法[J]. 吉林大学学报(工学版), 2018, 48(3): 874-881.
[8]	王旭, 欧阳继红, 陈桂芬. 基于多重序列所有公共子序列的启发式算法度量多图的相似度[J]. 吉林大学学报(工学版), 2018, 48(2): 526-532.
[9]	杨欣, 夏斯军, 刘冬雪, 费树岷, 胡银记. 跟踪-学习-检测框架下改进加速梯度的目标跟踪[J]. 吉林大学学报(工学版), 2018, 48(2): 533-538.
[10]	刘雪娟, 袁家斌, 许娟, 段博佳. 量子k-means算法[J]. 吉林大学学报(工学版), 2018, 48(2): 539-544.
[11]	曲慧雁, 赵伟, 秦爱红. 基于优化算子的快速碰撞检测算法[J]. 吉林大学学报(工学版), 2017, 47(5): 1598-1603.
[12]	李嘉菲, 孙小玉. 基于谱分解的不确定数据聚类方法[J]. 吉林大学学报(工学版), 2017, 47(5): 1604-1611.
[13]	邵克勇, 陈丰, 王婷婷, 王季驰, 周立朋. 无平衡点分数阶混沌系统全状态自适应控制[J]. 吉林大学学报(工学版), 2017, 47(4): 1225-1230.
[14]	王生生, 王创峰, 谷方明. OPRA方向关系网络的时空推理[J]. 吉林大学学报(工学版), 2017, 47(4): 1238-1243.
[15]	马淼, 李贻斌. 基于多级图像序列和卷积神经网络的人体行为识别[J]. 吉林大学学报(工学版), 2017, 47(4): 1244-1252.

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed