一种面向变量传播的弧一致性算法  

A Variable Transmission for the Arc Consistency Algorithm

作　　者：谢坤武[1] 

机构地区：[1]湖北民族学院信息工程学院,湖北恩施445000

出　　处：《湖北民族学院学报（自然科学版）》2007年第3期314-317,共4页Journal of Hubei Minzu University(Natural Science Edition)

基　　金：湖北省科技攻关资助项目(2004AA210B01)

摘　　要：在AC-3算法的基础上,提出了采用面向变量的约束传播机制新的弧一致性算法(Improved-AC3),算法(Improved-AC3)完全脱离附加的数据结构,使得程序的空间复杂度非常小,也避免了新算法在维护数据结构上的开销,是一种空间复杂度优先的通用弧一致性算法.新算法对于通用弧一致性算法的改进效果是明显的,是对现有弧一致性算法的提高和完善,使其实用性更好,应用前景更宽.Based on AC - 3 algorithm, the paper prerents of the variable - oriented constraint propagation mechanism for the new arc consistency,which algorithm （Improved -AC3 ） which completely out of additional data structure, making procedures space complexity, very small, and avoiding the expense of maintaining the new algorithm. This new algorithm is a generic are consistency algorithm with priority of space complexity. The new algorithm can effectively improve the generic are consistency algorithm and it has wider applicatiions.

关 键 词：人工智能 约束满足问题 弧一致性算法 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]