非二元约束满足问题求解

作     者：孙吉贵 景沈艳 

作者机构：吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 复旦大学智能信息处理开放实验室上海200433 

基　　金：国家自然科学基金 (60 0 730 39 60 2 730 80 ) 吉林省科技发展计划(2 0 0 2 0 30 6) 吉林大学创新基金资助 

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：2003年第26卷第12期

页      码：1746-1752页

摘      要：在约束满足问题 (CSP)的研究中 ,大部分工作集中在二元约束 ,但处理实际问题时 ,常常会遇到非二元约束的情况 .该文在概要地讨论了两类求解非二元约束问题方法的基础上 ,研究了一种将约束传播技术和一般弧相容回溯算法相结合的非二元约束求解方法 ,并在设计开发的约束求解工具“明月SOLVER1.0”中实现了该方法 ,以典型例子给出了实现系统的运行结果 .

主 题 词：非二元约束满足问题 对偶图法 隐藏变量法 启发式搜索算法 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 07[理学] 070105[070105] 0701[理学-数学类] 

核心收录：

D　O　I：10.3321/j.issn:0254-4164.2003.12.020

馆 藏 号：203541162...