共 1 条
非二元约束满足问题求解
被引：14
作者：
孙吉贵
景沈艳
机构：
[1] 吉林大学计算机科学与技术学院,吉林大学符号计算与知识工程教育部重点实验室,复旦大学智能信息处理开放实验室长春,长春,上海
来源：
关键词：
约束满足问题;
非二元CSP求解;
约束传播;
弧相容;
正向检查;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
在约束满足问题 (CSP)的研究中 ,大部分工作集中在二元约束 ,但处理实际问题时 ,常常会遇到非二元约束的情况 .该文在概要地讨论了两类求解非二元约束问题方法的基础上 ,研究了一种将约束传播技术和一般弧相容回溯算法相结合的非二元约束求解方法 ,并在设计开发的约束求解工具“明月SOLVER1.0”中实现了该方法 ,以典型例子给出了实现系统的运行结果 .
引用
收藏
页码：1746 / 1752
页数：7
相关论文