基于序列的子问题相容性技术

研究约束求解中的相容性技术,针对目前已有相容性的传播级别,提出一种新的相容性概念——基于序列的子问题相容性(ssac),并给出相应的实现算法。然后分析其时空、空间复杂性及正确性,证明ssac化简不改变原约束满足问题的解集,同时证明ssac的约束传播能力介于sac和ac之间。通过对随机问题和composed问题的测试表明,所提算法的效率是已有算法sac-sds和sac-3的2～3倍。