English

Revoke vs. Restart in Unweighted Throughput Scheduling

Data Structures and Algorithms 2025-10-20 v1

Abstract

We study the unweighted throughput scheduling problem on a single machine in the preemption-revoke model, where a running job may be aborted at any time, but all progress is permanently lost and the job cannot be restarted. Each job Ji=(ri,pi,si)J_i=(r_i,p_i,s_i) is defined by a release time rir_i, a processing time pip_i, and a slack sis_i, and must start no later than ri+sir_i+s_i to be feasible. We prove that no deterministic online algorithm can achieve a constant competitive ratio. The lower bound is established via an adversarial construction: starting from a three-job instance where ALG\textsf{ALG} completes at most one job while OPT\textsf{OPT} completes all three, we iteratively nest such constructions. By induction, for every k3k\ge 3, there exists an instance where ALG\textsf{ALG} completes at most one job, while OPT\textsf{OPT} completes at least kk jobs. Thus, the competitive ratio can be forced to 1/k1/k, and hence made arbitrarily close to zero. Our result stands in sharp contrast to the preemption-restart model, where Hoogeveen, Potts, and Woeginger (2000) gave a deterministic 1/21/2-competitive algorithm.

Keywords

Cite

@article{arxiv.2510.15318,
  title  = {Revoke vs. Restart in Unweighted Throughput Scheduling},
  author = {Changdao He},
  journal= {arXiv preprint arXiv:2510.15318},
  year   = {2025}
}

Comments

10 pages, 6 figures

R2 v1 2026-07-01T06:42:33.572Z