Optimal Decremental Connectivity in Non-Sparse Graphs

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

Dokumenter

  • Fulltext

    Forlagets udgivne version, 780 KB, PDF-dokument

We present a dynamic algorithm for maintaining the connected and 2-edge-connected components in an undirected graph subject to edge deletions. The algorithm is Monte-Carlo randomized and processes any sequence of edge deletions in O(m + npoly log n) total time. Interspersed with the deletions, it can answer queries whether any two given vertices currently belong to the same (2-edge-)connected component in constant time. Our result is based on a general Monte-Carlo randomized reduction from decremental c-edge-connectivity to a variant of fully-dynamic c-edge-connectivity on a sparse graph. For non-sparse graphs with Ω(npoly log n) edges, our connectivity and 2-edge-connectivity algorithms handle all deletions in optimal linear total time, using existing algorithms for the respective fully-dynamic problems. This improves upon an O(mlog(n2/m) + npoly log n)-time algorithm of Thorup [J.Alg. 1999], which runs in linear time only for graphs with Ω(n2) edges. Our constant amortized cost for edge deletions in decremental connectivity in non-sparse graphs should be contrasted with an Ω(log n/log log n) worst-case time lower bound in the decremental setting [Alstrup, Husfeldt, and Rauhe FOCS’98] as well as an Ω(log n) amortized time lower-bound in the fully-dynamic setting [Patrascu and Demaine STOC’04].

OriginalsprogEngelsk
Titel50th International Colloquium on Automata, Languages, and Programming, ICALP 2023
RedaktørerKousha Etessami, Uriel Feige, Gabriele Puppis
ForlagSchloss Dagstuhl - Leibniz-Zentrum für Informatik
Publikationsdato2023
Sider1-17
Artikelnummer6
ISBN (Elektronisk)9783959772785
DOI
StatusUdgivet - 2023
Begivenhed50th International Colloquium on Automata, Languages, and Programming, ICALP 2023 - Paderborn, Tyskland
Varighed: 10 jul. 202314 jul. 2023

Konference

Konference50th International Colloquium on Automata, Languages, and Programming, ICALP 2023
LandTyskland
ByPaderborn
Periode10/07/202314/07/2023
SponsorDeepL, et al., Paderborn Center for Parallel Computing (PC2), REPLY, SFB 901, Stiebel Eltron
NavnLeibniz International Proceedings in Informatics, LIPIcs
Vol/bind261
ISSN1868-8969

Bibliografisk note

Funding Information:
Funding Anders Aamand: Supported by Thorup’s VILLUM Investigator Grant 16582 and by a DFF-International Postdoc Grant 0164-00022B from the Independent Research Fund Denmark. Adam Karczmarz: Partially supported by the ERC CoG grant TUgbOAT no 772346. Peter M. R. Rasmussen: Supported by Thorup’s VILLUM Investigator Grant 16582. Mikkel Thorup: Supported by Investigator Grant 16582, Basic Algorithms Research Copenhagen (BARC), from the VILLUM Foundation.

Publisher Copyright:
© Anders Aamand, Adam Karczmarz, Jakub Łącki, Nikos Parotsidis, Peter M. R. Rasmussen, and Mikkel Thorup.

ID: 382560858