咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >一个基于最小冲突修补的动态约束满足求解算法 收藏

一个基于最小冲突修补的动态约束满足求解算法

A Mini-Conflict Repair Based Algorithm for Solving Dynamic Constraint Satisfaction Problems

作     者:孙吉贵 高健 张永刚 Sun Jigui;Gao Jian;Zhang Yonggang

作者机构:吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 

出 版 物:《计算机研究与发展》 (JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT)

年 卷 期:2007年第44卷第12期

页      面:2078-2084页

核心收录:

学科分类:12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 081104[工学-模式识别与智能系统] 08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术(可授工学、理学学位)] 

基  金:国家自然科学基金(60473003) 高等学校博士学科点专项科研项目(20050183065) 教育部跨世纪优秀人才培养计划 

主  题:最小冲突修补 动态约束满足问题 禁忌搜索 分支定界 解重用 

摘      要:约束满足问题是人工智能中一个重要的研究方向,近年来,对动态变化的约束满足问题的研究逐渐成为该领域的热点.在目前该领域最流行的LC算法基础上,引入禁忌搜索策略,提出了一个基于最小冲突修补的算法Tabu_LC.算法在每次冲突调整时将所有冲突变量看成一个整体,并采用分支定界搜索策略求解冲突变量组成的子问题,极大地提高了求解效率.同时,在约束求解系统 明月1.0 架构下给出了算法的具体实现,并针对大量随机问题进行了对比实验.结果表明,Tabu_LC算法在求解效率和解的质量上都明显优于LC算法.

读者评论 与其他读者分享你的观点

用户名:未登录
我的评分