%0 Journal Article
%T 基于序列的子问题相容性技术
%A 陈德泉 张永刚 辛 颖 刘文壮？
%J 计算机科学
%D 2015
%R 10.11896/j.issn.1002-137X.2015.07.007
%X 研究约束求解中的相容性技术,针对目前已有相容性的传播级别,提出一种新的相容性概念——基于序列的子问题相容性(ssac),并给出相应的实现算法。然后分析其时空、空间复杂性及正确性,证明ssac化简不改变原约束满足问题的解集,同时证明ssac的约束传播能力介于sac和ac之间。通过对随机问题和composed问题的测试表明,所提算法的效率是已有算法sac-sds和sac-3的2～3倍。
%K 约束满足
%K 相容性技术
%K ssac
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20150707&flag=1