基于自适应约束传播的约束求解方法研究

项目名称： 基于自适应约束传播的约束求解方法研究

项目编号： No.61170314

项目类型： 面上项目

立项/批准年度： 2012

项目学科： 自动化技术、计算机技术

项目作者： 张永刚

作者单位： 吉林大学

项目金额： 52万元

中文摘要： 针对物流、电力、通讯、交通和人力资源管理等领域广泛存在的大规模约束满足问题，建立高效而又具有自适应特性的约束求解方法是人工智能领域中的前沿课题。本课题在对约束传播和约束求解已有多年研究工作基础上，充分考虑问题本身固有特性，采用静态探查和动态探查两种方式，获取单个约束在应用多种不同约束传播方法后发生变量论域值删除以及论域清空等有用信息，提出约束传播级别的启发式策略，进而形成以自适应约束传播为主要特征的一系列约束求解方法。由于我们将建立的求解方法是以适应问题固有特性为基本原则，基于此，尝试把这一系列方法应用于时间表调度等实际应用比较广泛而又公认难解的问题，设计面向具体问题的全局约束，探索求解具有较大规模应用领域问题的高效算法。

中文关键词： 约束满足问题；自适应约束传播；启发式；；

英文摘要：

英文关键词： constraint satisfaction problem；adaptive constraint propagation；heuristic；；