论文部分内容阅读
在AC-3算法的基础上,提出了采用面向变量的约束传播机制新的弧一致性算法(IAC3),算法(IAC3)引入了一个小型的附加数据结构,使得新算法的时间复杂度降低了一个幂次为O(ed2).以小的空间代价换取了显著时间效率.新算法对于通用弧一致性算法的改进效果是明显的,是对现有弧一致性算法的提高和完善,使其实用性更好,应用前景更宽.