论文部分内容阅读
在现有相容性算法研究的基础上，提出了一种在约束网络中确立双向singleton弧相容的新算法——BiSAC-2，并给出了其正确性和完备性证明。该算法与原有算法BiSAC-1具有相同的化简问题能力，但BiSAC-2能够减少弧相容维护的次数，避免冗余约束传播过程的产生，从而可以快速地到达稳定点，进而实现高效的目的。对随机约束满足问题的测试结果表明，算法BiSAC-2比原始算法BiSAC-1具有更明显的性能优势。