| 非二元约束满足问题求解 |
| |
| 引用本文： | 孙吉贵,景沈艳.非二元约束满足问题求解[J].计算机学报,2003,26(12):1746-1752. |
| |
| 作者姓名： | 孙吉贵 景沈艳 |
| |
| 作者单位： | 吉林大学计算机科学与技术学院,长春,130012;吉林大学符号计算与知识工程教育部重点实验室,长春,130012;复旦大学智能信息处理开放实验室,上海,200433 |
| |
| 基金项目： | 国家自然科学基金 (60 0 730 39,60 2 730 80 )，吉林省科技发展计划(2 0 0 2 0 30 6)，吉林大学创新基金资助 |
| |
| 摘 要： | 在约束满足问题(CSP)的研究中，大部分工作集中在二元约束，但处理实际问题时，常常会遇到非二元约束的情况．该文在概要地讨论了两类求解非二元约束问题方法的基础上，研究了一种将约束传播技术和一般弧相容回溯算法相结合的非二元约束求解方法，并在设计开发的约束求解工具“明月SOLVER1.0”中实现了该方法，以典型例子给出了实现系统的运行结果．
|
| 关 键 词： | 非二元约束满足问题 对偶图法 隐藏变量法 启发式搜索算法 |
| 修稿时间： | 2001年7月9日 |
Solving Non-Binary Constraint Satisfaction Problem |
| |
| SUN Ji-Gui Jing Shen-Yan.Solving Non-Binary Constraint Satisfaction Problem[J].Chinese Journal of Computers,2003,26(12):1746-1752. |
| |
| Authors: | SUN Ji-Gui Jing Shen-Yan |
| |
| Abstract: | |
| |
| Keywords: | constraint satisfaction problems non-binary CSPs solving constraint propagation arc consistency forward checking |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
