| 基于实例化次数的约束求解方法研究 |
| |
| 引用本文： | 李占山,张乾,张良.基于实例化次数的约束求解方法研究[J].计算机研究与发展,2015,52(5). |
| |
| 作者姓名： | 李占山 张乾 张良 |
| |
| 作者单位： | 1. 吉林大学计算机科学与技术学院 长春 130012
2. 符号计算与知识工程教育部重点实验室(吉林大学) 长春 130012 |
| |
| 基金项目： | 国家自然科学基金项目，吉林省自然科学基金项目，教育部高等学校博士学科点专项科研基金项目 |
| |
| 摘 要： | 启发式是约束满足问题领域的重要研究课题,有效的启发式方法可以极大地提高问题的求解效率.在求解约束满足问题时,发现变量实例化失败次数与值实例化成功次数反映了变量和值与已实例化集合之间的关系,将实例化次数加以利用可以对问题求解效率有很大的影响.据此,提出了实例化次数的权值统计方法,并将其与现有启发式方法相结合,提出了实例化次数启发式及其相应的约束求解算法MAC_Try,并证明了其在一个分支上的最坏时间复杂度是O(ned3).大量实验结果表明,新的MAC_Try方法在求解效率上明显优于国际上流行的MAC3rm方法.
|
| 关 键 词： | 人工智能 约束满足问题 启发式 变量实例化失败次数 值实例化成功次数 |
Constraint Solving Based on the Number of Instantiation |
| |
| Li Zhanshan,Zhang Qian,Zhang Liang.Constraint Solving Based on the Number of Instantiation[J].Journal of Computer Research and Development,2015,52(5). |
| |
| Authors: | Li Zhanshan Zhang Qian Zhang Liang |
| |
| Abstract: | |
| |
| Keywords: | artificial intelligence constraint satisfaction problem (CSP) heuristic failed number of variable instantiation successful number of value assigning |
| 本文献已被 万方数据 等数据库收录！ |
