22、时间表格析取推理与矩阵模型中的不确定数据依赖约束

时间表格析取推理与矩阵模型中的不确定数据依赖约束

1. 时间表格析取推理

在资源受限项目调度问题中，时间表格析取推理（TTDR）是一种重要的过滤规则。下面将详细介绍其算法、改进以及实验结果。

1.1 时间表格析取过滤算法

时间表格析取过滤算法（Algorithm 2）用于更新任务的开始时间。以下是该算法的具体内容：

Algorithm 2. Time-Table Disjunctive filtering algorithm
Input: sets of tasks T , Pushing ⊆Tf and Pushed ⊆Tf, capacity C
Input: an array s′ initially mapping i to si
Output: array s′ with updated starting times
1 TT ←initializeTimeTable(T )
2 for if ∈Pushing do
3
gap ←C −ci −consumption(i, TT)
4
for jf ∈Pushed −{if} do
5
if moi(i) ⊆[s(j), e(j)[ then
6
if cj > gap then
7
s′
j ←max(s′
j, e(i))

该算法的流程如下：
1. 初始化时间表格 TT 。
2. 遍历所有推动任务 if 。
3. 计算每个推动任务的允许间隙 gap 。
4