《计算机学报》文章摘要 全文下载 | |
文章题目 | 非二元约束满足问题求解 |
作者 | 孙吉贵 景沈艳 |
作者单位 | (吉林大学计算机科学与技术学院 长春 130012) (吉林大学符号计算与知识工程教育部重点实验室 长春 130012) (复旦大学智能信息处理开放实验室 上海 200433) |
发表年份 | 2003 |
发表月份 | 12期(页码:1746-1752) |
文章摘要 | 摘要 在约束满足问题(CSP)的研究中,大部分工作集中在二元约束,但处理实际问题时,常常会遇到非二元约束的情况.该文在概要地讨论了两类求解非二元约束问题方法的基础上,研究了一种将约束传播技术和一般弧相容回溯算法相结合的非二元约束求解方法,并在设计开发的约束求解工具“明月SOLVER1.0”中实现了该方法,以典型例子给出了实现系统的运行结果. 关键词 约束满足问题;非二元CSP求解;约束传播;弧相容;正向检查 中图法分类号 TP301 |