%0 Journal Article
%T 一种改进的双向singleton弧相容算法
%A 刘春晖
%A 朱兴军
%A 孙吉贵
%A 姜珊珊
%J 吉林大学学报(工学版)
%P 666-670
%D 2008
%X 在现有相容性算法研究的基础上，提出了一种在约束网络中确立双向singleton弧相容的新算法——BiSAC-2，并给出了其正确性和完备性证明。该算法与原有算法BiSAC-1具有相同的化简问题能力，但BiSAC-2能够减少弧相容维护的次数，避免冗余约束传播过程的产生，从而可以快速地到达稳定点，进而实现高效的目的。对随机约束满足问题的测试结果表明，算法BiSAC-2比原始算法BiSAC-1具有更明显的性能优势。
%K 人工智能
%K 约束满足问题
%K 相容性技术
%K 双向singleton弧相容
%K 人工智能
%K 约束满足问题
%K 相容性技术
%K 双向singleton弧相容
%U http://xuebao.jlu.edu.cn/gxb/CN/Y2008/V38/I03/666