吉林大学学报(工学版) ›› 2013, Vol. 43 ›› Issue (06): 1615-1620.doi: 10.7964/jdxbgxb201306029

• 论文 • 上一篇    下一篇

结合Survivors-first学习型值排序的自适应分支求解

王海燕1,2,3, 欧阳丹彤1,2, 张永刚1,2, 张良1,2   

  1. 1. 吉林大学 计算机科学与技术学院, 长春 130012;
    2. 吉林大学 符号计算与知识工程教育部重点实验室, 长春 130012;
    3. 吉林师范大学 计算机学院, 吉林 四平 136000
  • 收稿日期:2012-09-29 出版日期:2013-11-01 发布日期:2013-11-01
  • 通讯作者: 张永刚(1975-),男,副教授,博士.研究方向:约束推理,约束求解.E-mail:zhangyg@jlu.edu.cn E-mail:zhangyg@jlu.edu.cn
  • 作者简介:王海燕(1980-),女,讲师,博士研究生.研究方向:约束程序设计.E-mail:jlsdwhy_0820@sina.cn
  • 基金资助:

    国家自然科学基金项目(61133011,60973089,61003101,61170092, 61170314, 41172294).

Adaptive branching constraint solving with survivors-first learning value ordering heuristics

WANG Hai-yan1,2,3, OUYANG Dan-tong1,2, ZHANG Yong-gang1,2, ZHANG Liang1,2   

  1. 1. College of Computer Science and Technology, Jilin University, Changchun 130012, China;
    2. Key Laboratory of Symbolic Computation and Knowledge Engineering for Ministry of Education, Jilin University, Changchun 130012, China;
    3. College of Computer, Jilin Normal University, Siping 136000, China
  • Received:2012-09-29 Online:2013-11-01 Published:2013-11-01

RICH HTML

0   

PDF (PC)

367

摘要：

针对单一的自适应分支启发式无法充分发挥自适应约束求解的优势这一问题,将自适应分支策略与学习型值启发式Survivors-first相结合,提出了AdaptBranchsurv算法。最后,针对几类典型的Benchmark问题进行测试,结果表明:AdaptBranchsurv算法能显著提高约束求解的效率。

关键词: 人工智能, 约束满足问题, 自适应约束求解, 自适应分支, 学习型值排序启发式

Abstract:

The separate adaptive branching heuristics can not give full play to the advantages of adaptive constraint solving's expertise.To overcome this shortcoming,a new algorithm,AdaptBranchsurv,is proposed, which combines the Survivors-first learning value ordering heuristics with adaptive branching scheme.The experimental results of some typical Benchmark problems show that the proposed algorithm AdaptBranchsurv can significantly improve the efficiency of constraint solving.

Key words: artificial intelligence, constraint satisfaction problems, adaptive constraint solving, adaptive branching, learning value ordering heuristics

中图分类号: 

  • TP31

[1] 王海燕,郭劲松,欧阳丹彤,等.基于比特位操作的自适应约束传播算法[J].吉林大学学报:工学版,2012, 42(5): 1219-1224. Wang Hai-yan,Guo Jin-song,Ouyang Dan-tong,et al.Adaptive propagation algorithm based on bitwise operations[J].Journal of Jilin University(Engineering and Technology Edition),2012,42(5):1219-1224.

[2] Balafoutis T,Paparrizou A,Stergiou K.Experimental evaluation of branching schemes for the CSP[C]//Proceedings of the TRICS Workshop at CP-2010,St Andrews, Scotland,2010:1-12.

[3] Balafoutis T,Stergiou K.Adaptive branching for constraint satisfaction problems[C]//Proceedings of ECAI,Lisbon, Portugal,2010:855-860.

[4] Zhang Z,Epstein S L.Learned value-ordering heuristics for constraint satisfaction[C]//Proceedinigs of STAIR-08 Workshop at AAAI-2008,Chicago,Illinois,2008:154-161.

[5] Frost D,Dechter R.Look-Ahead value ordering for constraint satisfaction problems[C]//Proceedings of IJCAI,Montréal,Québec,Canada,1995:572-578.

[6] Stergiou K. Heuristics for dynamically adapting propagation in constraint satisfaction problems[J].AI Communications, 2009,22(3):125-141.

[7] Boussemart F,Heremy F,Lecoutre C,et al.Boosting systematic search by weighting constraints[C]//Proceedings of ECAI,Valencia, Spain,2004: 482-486.

[8] Grimes D,Wallace R J.Sampling strategies and variable selection in weighted degree heuristics[C]//Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming,Berlin,Heidelberg,2007:831-838.

[9] Likitvivatanavong C,Zhang Y L,Bowen J, et al. Arc consistency during search[C]//Proceedings of the 20th International Joint Conference on Artifical Intelligence,Hyderabad, India,2007:137-142.
[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.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
版权所有 © 《吉林大学学报(工学版)》编辑部
地址：长春市人民大街5988号　电话：+86-431-85095297　传真：+86-431-85094074　E-mail: xbgxb@jlu.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发