论文部分内容阅读
约束满足问题在人工智能领域有着广泛的应用．研究了约束满足问题的粗粒度维持弧相容求解算法，发现在求解过程中，对于指向已赋值变量的弧存在无效的修正检查，证明了这类修正检查是冗余的．提出一种方法避免这类冗余的修正检查，给出改进后的粗粒度弧相容算法的基本框架AC3_frame_ARR，该改进框架可用于改进所有粗粒度弧相容算法．实验结果表明，经过AC3_flame_ARR改进后的算法最多可以节省80％的修正检查次数和40％的求解耗时．