Decremental APSP in unweighted digraphs versus an adaptive adversary

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Dokumenter

  • Fulltext

    Forlagets udgivne version, 982 KB, PDF-dokument

Given an unweighted digraph G = (V,E), undergoing a sequence of edge deletions, with m = |E|, n = |V |, we consider the problem of maintaining all-pairs shortest paths (APSP). Whilst this problem has been studied in a long line of research [ACM'81, FOCS'99, FOCS'01, STOC'02, STOC'03, SWAT'04, STOC'13] and the problem of (1 + ∈)-approximate, weighted APSP was solved to near-optimal update time Õ(mn) by Bernstein [STOC'13], the problem has mainly been studied in the context of an oblivious adversary which fixes the update sequence before the algorithm is started. In this paper, we make significant progress on the problem for an adaptive adversary which can perform updates based on answers to previous queries: ▪ We first present a deterministic data structure that maintains the exact distances with total update time Õ(n3)1. ▪ We also present a deterministic data structure that maintains (1 + ∈)-approximate distance estimates with total update time Õ(√mn2/∈) which for sparse graphs is Õ(n2+1/2/∈). ▪ Finally, we present a randomized (1 + ∈)-approximate data structure which works against an adaptive adversary; its total update time is Õ(m2/3n5/3+n8/3/(m1/3∈2)) which for sparse graphs is Õ(n2+1/3/∈2). Our exact data structure matches the total update time of the best randomized data structure by Baswana et al. [STOC'02] and maintains the distance matrix in near-optimal time. Our approximate data structures improve upon the best data structures against an adaptive adversary which have Õ(mn2) total update time [JACM'81, STOC'03].

OriginalsprogEngelsk
Titel48th International Colloquium on Automata, Languages, and Programming, ICALP 2021
RedaktørerNikhil Bansal, Emanuela Merelli, James Worrell
ForlagSchloss Dagstuhl - Leibniz-Zentrum für Informatik
Publikationsdato2021
Sider1-20
Artikelnummer64
ISBN (Elektronisk)9783959771955
DOI
StatusUdgivet - 2021
Begivenhed48th International Colloquium on Automata, Languages, and Programming, ICALP 2021 - Virtual, Glasgow, Storbritannien
Varighed: 12 jul. 202116 jul. 2021

Konference

Konference48th International Colloquium on Automata, Languages, and Programming, ICALP 2021
LandStorbritannien
ByVirtual, Glasgow
Periode12/07/202116/07/2021
SponsorScottish Informatics and Computer Science Alliance (SICSA), University of Glasgow
NavnLeibniz International Proceedings in Informatics, LIPIcs
Vol/bind198
ISSN1868-8969

Bibliografisk note

Funding Information:
Funding Jacob Evald: The author is supported by the Starting Grant 7027-00050B from the Independent Research Fund Denmark under the Sapere Aude research career programme. Viktor Fredslund-Hansen: The author is supported by the Starting Grant 7027-00050B from the Independent Research Fund Denmark under the Sapere Aude research career programme. Maximilian Probst Gutenberg: Supported by Rasmus Kyng’s Start-up Grant at ETH. Work done while at BARC, supported by Thorup’s Investigator Grant No. 16582.

Publisher Copyright:
© 2021 Jacob Evald, Viktor Fredslund-Hansen, Maximilian Probst Gutenberg, and Christian Wulff-Nilsen.

ID: 299757847