Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Streaming Algorithms for Connectivity Augmentation
 
conference paper

Streaming Algorithms for Connectivity Augmentation

Jin, Ce
•
Kapralov, Michael  
•
Mahabadi, Sepideh
Show more
Bringmann, Karl
•
Grohe, Martin
Show more
July 1, 2024
Leibniz International Proceedings in Informatics, LIPIcs
51 International Colloquium on Automata, Languages, and Programming

We study the k-connectivity augmentation problem (k-CAP) in the single-pass streaming model. Given a (k − 1)-edge connected graph G = (V, E) that is stored in memory, and a stream of weighted edges (also called links) L with weights in {0, 1, . . ., W }, the goal is to choose a minimum weight subset L′ ⊆ L of the links such that G′ = (V, E ∪ L′) is k-edge connected. We give a (2 + ϵ)approximation algorithm for this problem which requires to store O(ϵ−1n log n) words. Moreover, we show the tightness of our result: Any algorithm with better than 2-approximation for the problem requires Ω(n2) bits of space even when k = 2. This establishes a gap between the optimal approximation factor one can obtain in the streaming vs the offline setting for k-CAP. We further consider a natural generalization to the fully streaming model where both E and L arrive in the stream in an arbitrary order. We show that this problem has a space lower bound that matches the best possible size of a spanner of the same approximation ratio. Following this, we give improved results for spanners on weighted graphs: We show a streaming algorithm that finds a (2t − 1 + ϵ)-approximate weighted spanner of size at most O(ϵ−1n1+1/t log n) for integer t, whereas the best prior streaming algorithm for spanner on weighted graphs had size depending on log W. We believe that this result is of independent interest. Using our spanner result, we provide an optimal O(t)-approximation for k-CAP in the fully streaming model with O(nk + n1+1/t) words of space. Finally we apply our results to network design problems such as Steiner tree augmentation problem (STAP), k-edge connected spanning subgraph (k-ECSS) and the general Survivable Network Design problem (SNDP). In particular, we show a single-pass O(t log k)-approximation for SNDP using O(kn1+1/t) words of space, where k is the maximum connectivity requirement.

  • Details
  • Metrics
Type
conference paper
DOI
10.4230/LIPIcs.ICALP.2024.93
Scopus ID

2-s2.0-85198379630

Author(s)
Jin, Ce

Massachusetts Institute of Technology

Kapralov, Michael  

École Polytechnique Fédérale de Lausanne

Mahabadi, Sepideh

Microsoft Research

Vakilian, Ali

Toyota Technological Institute at Chicago

Editors
Bringmann, Karl
•
Grohe, Martin
•
Puppis, Gabriele
•
Svensson, Ola
Date Issued

2024-07-01

Publisher

Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

Published in
Leibniz International Proceedings in Informatics, LIPIcs
ISBN of the book

9783959773225

Book part number

297

Article Number

93

Subjects

connectivity augmentation

•

streaming algorithms

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
THL4  
Event nameEvent acronymEvent placeEvent date
51 International Colloquium on Automata, Languages, and Programming

Tallinn, Estonia

2024-07-08 - 2024-07-12

Available on Infoscience
January 26, 2025
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/244718
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés