Xpress-Kalis入门.pptVIP

Xpress-Kalis入门 林森科技 2007.6 概述 约束规划的基本概念 建模基础 约束 枚举 约束规划的基本概念 一个约束规划（CP）问题由带有域的决策变量和在这些变量上的约束来定义。问题的定义通常由分支策略（也指枚举或者搜索策略）完成。 针对不同的约束采用不同的策略 约束传播：无论何时变量域被修改，即触发这个变量上所有约束的一个重求值 约束传播示例 建模 用Xpress-Kalis创建和求解简单CP模型 理解和分析软件产生的输出 扩展带有数据处理的模型 定义一个目标函数 修改缺省分支策略 模型示例 考虑下面的问题：我们希望在三个时间空挡（从1到3）安排四个会议A,B,C和D。由同一部分人参加的会议，不能在同一时间举行，即：会议A不能与会议B或者D在同一时间，会议B不能与会议C或者D在同一时间。 为了更加正式，我们可以象下面那样写出这个问题，这里planm（）表示会议m的时间空挡――这些是我们问题的决策变量。 通用结构 使用Kalis约束求解器 定义决策变量队列 设置变量的域 定义约束 使用函数cp_find_next_sol 求解问题 模型示例 一个科技大学需要在学期末用几个可选择的模块为课程编排考试时间。每一场考试时间为2小时。考试在两天内完成，每天的考试时间段为：8:00–10:00, 10:15–12:15, 14:00–16:00, 和1