负表约束的简单表缩减广泛弧相容算法

发布时间：2017-07-27 03:06

  本文关键词：负表约束的简单表缩减广泛弧相容算法

  更多相关文章： 约束满足问题 广泛弧相容 简单表缩减 负表约束

【摘要】：广泛弧相容算法(generalized arc consistency,简称GAC),是求解约束满足问题的核心方法.表约束理论上可以表示所有约束关系,在过去10年中,有很多应用于表约束的广泛弧相容算法被提出来.在这些算法中,表缩减算法的效率非常高.但是目前的表缩减算法只能应用于正表约束,无法直接应用于负表约束.首先,提出一种表缩减算法STR-N,可以直接应用于负表约束;然后,给出了STR-N的两个改进版本STR-N2和STR-NIC.实验结果显示,STR-N算法在负表约束上的求解效率具有明显的优势.
【作者单位】： 吉林大学计算机科学与技术学院;符号计算与知识工程教育部重点实验室(吉林大学);
【关键词】： 约束满足问题 广泛弧相容 简单表缩减 负表约束
【基金】：国家自然科学基金(61472158,61272207) 吉林省科技计划(20140101200JC)~~
【分类号】：TP18
【正文快照】： www.jos.org.cn/1000-9825/4874.htm英文引用格式:Li HB,Liang YC,Li ZS.Simple tabular reduction for generalized arc consistency on negative table constraints.Ruan Jian Xue Bao/Journal of Software,2016,27(11):2701?2711(in Chinese).http://www.jos.org.cn/1000-9

【相似文献】

中国硕士学位论文全文数据库 前1条

1 王瑞伟;表约束的相容性技术研究[D];吉林大学;2016年

，

本文编号：579508