路径上带有时间窗的不可分割流问题的近似性研究

On the Approximability of Unsplittable Flow on a Path with Time Windows

摘要 Abstract

在路径上的带时间窗不可分割流问题(twUFP)中,我们考虑一个资源,其可用量在给定的时间间隔内变化(建模为给定路径 $G$ 的边容量),以及一组任务。每个任务由需求(所考虑资源的需求)、利润、整数处理时间和时间窗来表征。我们的目标是计算一个最大利润的任务子集,并在各自的时窗内非抢占式地调度它们,使得每条边 $e$ 上所使用任务的总需求不超过边 $e$ 的容量。我们证明了twUFP问题是$\mathsf{APX}$-难解的,这与没有时间窗的问题设置(即路径上的不可分割流问题UFP)形成对比,后者最近发现了一个多项式时间近似方案(PTAS)[Grandoni, M\"omke, Wiese, STOC 2022]。然后,我们给出了在资源增强条件下twUFP的一个拟多项式时间$2+\varepsilon$近似算法。如果所有任务的时间窗都相同,则该近似比可以改进到$1+\varepsilon$。即使在这种特殊情况下,$\mathsf{APX}$-难解性仍然成立,因此排除了在没有资源增强的情况下存在PTAS(甚至QPTAS,除非$\mathsf{NP}\subseteq\mathrm{DTIME}(n^{\mathrm{poly}(\log n)})$)。

In the Time-Windows Unsplittable Flow on a Path problem (twUFP) we are given a resource whose available amount changes over a given time interval (modeled as the edge-capacities of a given path $G$) and a collection of tasks. Each task is characterized by a demand (of the considered resource), a profit, an integral processing time, and a time window. Our goal is to compute a maximum profit subset of tasks and schedule them non-preemptively within their respective time windows, such that the total demand of the tasks using each edge $e$ is at most the capacity of $e$. We prove that twUFP is $\mathsf{APX}$-hard which contrasts the setting of the problem without time windows, i.e., Unsplittable Flow on a Path (UFP), for which a PTAS was recently discovered [Grandoni, M\"omke, Wiese, STOC 2022]. Then, we present a quasi-polynomial-time $2+\varepsilon$ approximation for twUFP under resource augmentation. Our approximation ratio improves to $1+\varepsilon$ if all tasks' time windows are identical. Our $\mathsf{APX}$-hardness holds also for this special case and, hence, rules out such a PTAS (and even a QPTAS, unless $\mathsf{NP}\subseteq\mathrm{DTIME}(n^{\mathrm{poly}(\log n)})$) without resource augmentation.