基于AC与LmaxRPC的自适应约束传播求解算法 |
| |
作者姓名: | 王海燕 欧阳丹彤 张永刚 杨明明 |
| |
作者单位: | 1. 吉林大学计算机科学与技术学院,吉林长春130012;吉林大学符号计算与知识工程教育部重点实验室,吉林长春130012;吉林师范大学计算机学院,吉林四平136000 2. 吉林大学计算机科学与技术学院,吉林长春130012;吉林大学符号计算与知识工程教育部重点实验室,吉林长春130012 |
| |
基金项目: | 国家自然科学基金资助项目,吉林省科技发展计划项目,国家教育部博士点专项基金资助项目 |
| |
摘 要: | 在现有自适应约束求解方法基础上,提出一种新的自适应约束传播求解算法ADAPTAC-LmaxRPC.该算法能根据约束的不同特性,在传播能力强但开销高的LmaxRPC与传播能力弱却开销低的AC之间自适应地切换进行约束传播.多个Benchmark实例类上的测试实验数据表明,ADAPTAC-LmaxRPC算法有效地平衡了求解效率和算法开销之间的矛盾,大幅度提高了约束求解的效率.
|
关 键 词: | 人工智能 约束程序 约束满足问题 自适应约束求解 约束传播 |
本文献已被 万方数据 等数据库收录! |
| 点击此处可从《湖南大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《湖南大学学报(自然科学版)》下载全文 |
|