跳至主内容
框架 无框架

CP 优化器中区间变量的基本约束条件
上一页 下一页
优先顺序约束
逻辑约束
优先顺序约束

本部分描述调度中的常见约束,即优先顺序约束。 非正式地讲,这些约束条件限制了区间变量在解决方案中的相对位置。 例如,优先级约束可以模拟这样一个事实,即活动 "a必须在活动 "b开始之前结束(可选择延迟时间最小为 "z)。 如果优先级约束的一个或两个区间变量都不存在,则系统认为优先级为真,因此不会影响进度。

更正式地说,关系TC(a_underscore.png, 'b_underscore.png,z) 在一对固定区间 a、b 上的语义,以及对取决于约束类型TC的值z 的语义,如表 1 所示。

int_var6.png
逻辑约束

区间变量的存在状态可以通过逻辑约束进一步限制。 存在约束条件 presenceOf(a)规定,给定区间变量必须存在。 当然,这种约束也可用于逻辑约束中;例如,可能有两个可选区间ab,但如果区间a存在,那么区间b也必须存在。 这可以通过约束条件presenceOf(a)'rArr.pngpresenceOf(b) 来模拟。

固定区间 "a_underscore.png的存在约束语义如下

presenceOf(a_underscore.png) 'hArr.pngx(a_underscore.png)

上一页 下一页