文件名称：基于AC-4的动态值启发式约束满足问题求解算法 (2011年)
文件大小：628KB
文件格式：PDF
更新时间：2024-06-14 04:27:38
工程技术 论文
通过对弧相容算法AC-4的研究,提出了基于AC-4的动态值启发式约束满足问题求解算法MAC-DMSV。算法充分利用AC-4在初始化阶段建立的计数器信息,选择计数最大者为优先实例化的值。将此值启发式加入MAC算法之中,在MAC的相容性检查时,更新计数器的值,实现了动态值启发式。实验结果表明,MAC-DMS V算法比MAC和BT + MPAC算法具有更高的求解效率。