arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2408.12967cs.DScs.DM
收藏

带释放日期的极小化延迟作业数量的单机调度问题

Single-Machine Scheduling to Minimize the Number of Tardy Jobs with Release Dates

Matthias Kaul, Matthias Mnich, Hendrik Molter

AI总结:

本文从参数化复杂度角度研究了带释放日期的单机调度问题$1\mid r_j\mid\sum w_j U_j$,提出了固定参数可解和伪多项式XP算法,并证明了相关W[1]-hardness,几乎完整刻画了该问题的复杂度边界。

摘要:

我们研究基础调度问题 $1\mid r_j\mid\sum w_j U_j$:在单机上调度一组 $n$ 个带有权重、处理时间、释放日期和截止日期的作业,使得每个作业在其释放日期之后开始,并最大化在截止日期前完成执行的作业加权数量。问题 $1\mid r_j\mid\sum w_j U_j$ 推广了 Knapsack 和 Partition 问题,且无释放日期的简化设定已由 Hermelin 等人 [Annals of Operations Research, 2021] 从参数化复杂度角度进行了研究。\n我们的主要贡献是根据四个关键问题参数对 $1\mid r_j\mid\sum w_j U_j$ 进行了透彻的复杂度分析:作业的处理时间数量 $p_\\#$、权重数量 $w_\\#$、截止日期数量 $d_\\#$ 和释放日期数量 $r_\\#$。已知即使 $w_\\#+d_\\#+r_\\#$ 为常数,$1\mid r_j\mid\sum w_j U_j$ 也是弱 para-NP-hard 的;Heeger 和 Hermelin [ESA, 2024] 最近证明了即使 $r_\\#$ 为常数,以 $p_\\#$ 或 $w_\\#$ 为参数时该问题也是(弱)W[1]-hard 的。\n在算法方面,我们证明了以 $p_\\#$ 结合剩余三个参数 $w_\\#$、$d_\\#$ 和 $r_\\#$ 中的任意两个为参数时,$1\mid r_j\mid\sum w_j U_j$ 是固定参数可解的。我们进一步为参数 $r_\\#$ 和 $d_\\#$ 提供了伪多项式 XP 时间算法。作为这些算法的补充,我们证明了即使 $w_\\#$ 为常数,以 $d_\\#+r_\\#$ 为参数时 $1\mid r_j\mid\sum w_j U_j$ 也是(强)W[1]-hard 的。我们的结果几乎完整地描绘了以 $p_\\#$、$w_\\#$、$d_\\#$ 和 $r_\\#$ 为参数时 $1\mid r_j\mid\sum w_j U_j$ 的复杂度全貌,并扩展了 Hermelin 等人 [Annals of Operations Research, 2021] 针对无释放日期问题 $1\mid\mid\sum w_j U_j$ 的研究。

英文摘要:

We study the fundamental scheduling problem $1\mid r_j\mid\sum w_j U_j$: schedule a set of $n$ jobs with weights, processing times, release dates, and due dates on a single machine, such that each job starts after its release date and we maximize the weighted number of jobs that complete execution before their due date. Problem $1\mid r_j\mid\sum w_j U_j$ generalizes both Knapsack and Partition, and the simplified setting without release dates was studied by Hermelin et al. [Annals of Operations Research, 2021] from a parameterized complexity viewpoint. Our main contribution is a thorough complexity analysis of $1\mid r_j\mid\sum w_j U_j$ in terms of four key problem parameters: the number $p_\#$ of processing times, the number $w_\#$ of weights, the number $d_\#$ of due dates, and the number $r_\#$ of release dates of the jobs. $1\mid r_j\mid\sum w_j U_j$ is known to be weakly para-NP-hard even if $w_\#+d_\#+r_\#$ is constant, and Heeger and Hermelin [ESA, 2024] recently showed (weak) W[1]-hardness parameterized by $p_\#$ or $w_\#$ even if $r_\#$ is constant. Algorithmically, we show that $1\mid r_j\mid\sum w_j U_j$ is fixed-parameter tractable parameterized by $p_\#$ combined with any two of the remaining three parameters $w_\#$, $d_\#$, and $r_\#$. We further provide pseudo-polynomial XP-time algorithms for parameter $r_\#$ and $d_\#$. To complement these algorithms, we show that $1\mid r_j\mid\sum w_j U_j$ is (strongly) W[1]-hard when parameterized by $d_\#+r_\#$ even if $w_\#$ is constant. Our results provide a nearly complete picture of the complexity of $1\mid r_j\mid\sum w_j U_j$ for $p_\#$, $w_\#$, $d_\#$, and $r_\#$ as parameters, and extend those of Hermelin et al. [Annals of Operations Research, 2021] for the problem $1\mid\mid\sum w_j U_j$ without release dates.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑