| 一种基于环切割的约束满足问题求解算法 |
| |
| 引用本文： | 李占山,李宏博,张永刚,王孜文.一种基于环切割的约束满足问题求解算法[J].计算机学报,2011,34(8):1528-1535. |
| |
| 作者姓名： | 李占山 李宏博 张永刚 王孜文 |
| |
| 作者单位： | 1. 吉林大学符号计算与知识工程教育部重点实验室 长春 130012
2. 吉林大学计算机科学与技术学院 长春 130012 |
| |
| 基金项目： | 国家自然科学基金，吉林省自然科学资金项目 |
| |
| 摘 要： | 该文首先给出一种无环约束满足问题的无回溯搜索算法Tree_Search,然后将环切割思想嵌入到目前最流行的MAC3rm算法中,给出一种新算法CCS.CCS将原同溯搜索过程分为两部分:第1部分通过回溯搜索求解环切割集中变量,将原问题化简成一个满足弧相容的无环问题；第2部分通过无回溯的Tree_Search算法求解化简后的...
|
| 关 键 词： | 弧相容 无回溯搜索 环切割 MAC3 rm |
An Approach of Solving Constraint Satisfaction Problem Based on Cycle-Cut |
| |
| LI Zhan-Shan,LI Hong-Bo,ZHANG Yong-Gang,WANG Zi-Wen.An Approach of Solving Constraint Satisfaction Problem Based on Cycle-Cut[J].Chinese Journal of Computers,2011,34(8):1528-1535. |
| |
| Authors: | LI Zhan-Shan LI Hong-Bo ZHANG Yong-Gang WANG Zi-Wen |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
