非二元约束满足问题的E-GENET求解原理
来源期刊:东北大学学报(自然科学版)2005年第9期
论文作者:冯欣 唐立新 梁浩锋
文章页码:844 - 847
关键词:约束满足问题;E-GENET网;离散拉格朗日方法;启发式修补方法;
摘 要:通过E-GENET的重定义,将非二元约束满足问题(NB-CSPs)转化为整数最小化问题,提出一类非二元变量约束关系的离散拉格朗日搜索模式(NB-LSDL)与算法,实现了基于NB-LSDL的E-GENET重构,为求解一般约束CSPs的最小冲突启发式修补方法提供新的理论依据,扩展了E-GENET处理问题的技术与手段.实验结果显示了方法的可行性与有效性.
冯欣,唐立新,梁浩锋
摘 要:通过E-GENET的重定义,将非二元约束满足问题(NB-CSPs)转化为整数最小化问题,提出一类非二元变量约束关系的离散拉格朗日搜索模式(NB-LSDL)与算法,实现了基于NB-LSDL的E-GENET重构,为求解一般约束CSPs的最小冲突启发式修补方法提供新的理论依据,扩展了E-GENET处理问题的技术与手段.实验结果显示了方法的可行性与有效性.
关键词:约束满足问题;E-GENET网;离散拉格朗日方法;启发式修补方法;