%0 Journal Article
%T 负表约束的简单表缩减广泛弧相容算法
%A 李占山
%A 李宏博
%A 梁艳春
%J -
%D 2016
%R 10.13328/j.cnki.jos.004874
%X 广泛弧相容算法（generalized arc consistency，简称GAC），是求解约束满足问题的核心方法.表约束理论上可以表示所有约束关系，在过去10年中，有很多应用于表约束的广泛弧相容算法被提出来.在这些算法中，表缩减算法的效率非常高.但是目前的表缩减算法只能应用于正表约束，无法直接应用于负表约束.首先，提出一种表缩减算法STR-N，可以直接应用于负表约束；然后，给出了STR-N的两个改进版本STR-N2和STR-NIC.实验结果显示，STR-N算法在负表约束上的求解效率具有明显的优势
%K 约束满足问题 广泛弧相容 简单表缩减 负表约束
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=4874&flag=1