34、基于符号调度的独立任务调度方法研究

基于符号调度的独立任务调度方法研究

1 引言

在确定性调度理论中，将具有整数执行时间的 N 个独立任务非抢占式地调度到 m 台相同的并行机器上，同时最小化总完成时间（即makespan）是一个基础且被广泛研究的问题，该问题被证明是强 NP 难问题。本文聚焦于任务仅有 k 种不同执行时间的受限情况，并探讨是否存在一个总完成时间不超过 D 的调度方案。

1.1 调度问题定义

调度问题 P 包含以下要素：
- k 个执行时间 (t_1, \ldots, t_k \in \mathbb{N})。
- 对应的任务需求 (N_1, \ldots, N_k \in \mathbb{N})。
- 机器数量 m。
- 总完成时间上限 D。

总需求 (N := \sum_{1\leq i\leq k} N_i)。一个调度方案 (S : {1, \ldots, k} \times {1, \ldots, m} \to \mathbb{N}) 若满足以下条件则被认为是有效的：
- 对于每个 (i \in {1, \ldots, k})，(\sum_{j=1}^{m} S(i, j) \geq N_i)。
- 对于每个 (j \in {1, \ldots, m})，(\sum_{i=1}^{k} t_i \cdot S(i, j) \leq D)。

调度算法的任务是判断是否存在针对问题 P 的有效调度方案 S。

1.2 现有算法及本文方法

Leung 提出的调度算法时间复杂度为 (O(\log m \cdot N^{2(k - 1)}))，空间复杂度为 (O(