English

Set Cover with Delay -- Clairvoyance is not Required

Data Structures and Algorithms 2020-06-24 v3

Abstract

In most online problems with delay, clairvoyance (i.e. knowing the future delay of a request upon its arrival) is required for polylogarithmic competitiveness. In this paper, we show that this is not the case for set cover with delay (SCD) -- specifically, we present the first non-clairvoyant algorithm, which is O(lognlogm)O(\log n \log m)-competitive, where nn is the number of elements and mm is the number of sets. This matches the best known result for the classic online set cover (a special case of non-clairvoyant SCD). Moreover, clairvoyance does not allow for significant improvement - we present lower bounds of Ω(logn)\Omega(\sqrt{\log n}) and Ω(logm)\Omega(\sqrt{\log m}) for SCD which apply for the clairvoyant case. In addition, the competitiveness of our algorithm does not depend on the number of requests. Such a guarantee on the size of the universe alone was not previously known even for the clairvoyant case - the only previously-known algorithm (due to Carrasco et al.) is clairvoyant, with competitiveness that grows with the number of requests. For the special case of vertex cover with delay, we show a simpler, deterministic algorithm which is 33-competitive (and also non-clairvoyant).

Cite

@article{arxiv.1807.08543,
  title  = {Set Cover with Delay -- Clairvoyance is not Required},
  author = {Yossi Azar and Ashish Chiplunkar and Shay Kutten and Noam Touitou},
  journal= {arXiv preprint arXiv:1807.08543},
  year   = {2020}
}

Comments

23 pages, 3 figures

R2 v1 2026-06-23T03:10:38.361Z