| 基于AC与LmaxRPC的自适应约束传播求解算法 |
| |
| 引用本文： | 王海燕,欧阳丹彤,张永刚,杨明明. 基于AC与LmaxRPC的自适应约束传播求解算法[J]. 湖南大学学报(自然科学版), 2013, 40(7): 86-91 |
| |
| 作者姓名： | 王海燕 欧阳丹彤 张永刚 杨明明 |
| |
| 作者单位： | 1. 吉林大学计算机科学与技术学院,吉林长春130012;吉林大学符号计算与知识工程教育部重点实验室,吉林长春130012;吉林师范大学计算机学院,吉林四平136000
2. 吉林大学计算机科学与技术学院,吉林长春130012;吉林大学符号计算与知识工程教育部重点实验室,吉林长春130012 |
| |
| 基金项目： | 国家自然科学基金资助项目，吉林省科技发展计划项目，国家教育部博士点专项基金资助项目 |
| |
| 摘 要： | 在现有自适应约束求解方法基础上,提出一种新的自适应约束传播求解算法ADAPTAC-LmaxRPC.该算法能根据约束的不同特性,在传播能力强但开销高的LmaxRPC与传播能力弱却开销低的AC之间自适应地切换进行约束传播.多个Benchmark实例类上的测试实验数据表明,ADAPTAC-LmaxRPC算法有效地平衡了求解效率和算法开销之间的矛盾,大幅度提高了约束求解的效率.
|
| 关 键 词： | 人工智能 约束程序 约束满足问题 自适应约束求解 约束传播 |
Adaptive Constraint Propagation Solving Based on AC and LmaxRPC |
| |
| WANG Hai-yan,OUYANG Dan-tong,ZHANG Yong-gang,YANG Ming-ming. Adaptive Constraint Propagation Solving Based on AC and LmaxRPC[J]. Journal of Hunan University(Naturnal Science), 2013, 40(7): 86-91 |
| |
| Authors: | WANG Hai-yan OUYANG Dan-tong ZHANG Yong-gang YANG Ming-ming |
| |
| Abstract: | On the basis of the current adaptive constraint solving algorithms, this paper proposed a new adaptive constraint propagation solving algorithm ADAPTAC-LmaxRPC, which adaptively switches between enforcing a strong and expensive local consistency LmaxRPC and a weak but more cheaper one AC according to the activity of individual constraints. Test data from several Benchmark instances shows that ADAPTAC-LmaxRPC balances the contradiction between the constraint solving efficiency and algorithm cost effectively, and it improves the efficiency of constraint solving substantially. |
| |
| Keywords: | artificial intelligence constraint programming constraint satisfaction problem adaptive constraint solving constraint propagation |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《湖南大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《湖南大学学报(自然科学版)》下载全文 |
