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. Fully dynamic biconnectivity and transitive closure
 
conference paper

Fully dynamic biconnectivity and transitive closure

Henzinger, Monika R.  
•
King, Valerie
1995
Proceedings of the 1995 IEEE 36th Annual Symposium on Foundations of Computer Science

This paper presents an algorithm for the fully dynamic biconnectivity problem whose running time is exponentially faster than all previously known solutions. It is the first dynamic algorithm that answers biconnectivity queries in time O(log2 n) in a n-node graph and can be updated after an edge insertion or deletion in polylogarithmic time. Our algorithm is a Las-Vegas style randomized algorithm with the update time amortized update time O(log4 n). Only recently the best deterministic result for this problem was improved to O(Vn log2 n). We also give the first fully dynamic and a novel deletions-only transitive closure (i.e. directed connectivity) algorithms. These are randomized Monte Carlo algorithms. Let n be the number of nodes in the graph and let m be the average number of edges in the graph during the whole update sequence: The fully dynamic algorithms achieve (1) query time O(n/log n) and update time O(mVn log2 n+n); or (2) query time O(n/log n) and update time O[n.pow(m,(u-1)/u)].pow2(log(n)) = O[n.pow(m,0.58).pow2(log(n)], where u is the exponent for boolean matrix multiplication (currently u = 2.38). The deletions-only algorithm answers queries in time O(n/log n). Its amortized update time is O(n log2 n).

  • Details
  • Metrics
Type
conference paper
DOI
10.1109/SFCS.1995.492668
Scopus ID

2-s2.0-0029489872

Author(s)
Henzinger, Monika R.  
King, Valerie
Date Issued

1995

Publisher

IEEE

Published in
Proceedings of the 1995 IEEE 36th Annual Symposium on Foundations of Computer Science
Start page

664

End page

672

Subjects

Approximation theory

•

Boolean algebra

•

Data structures

•

Digital arithmetic

•

Graph theory

•

Monte Carlo methods

•

Query languages

•

Response time (computer systems)

•

Boolean matrix multiplication

•

Dynamic biconnectivity algorithms

•

n-node graph

•

Polylogarithmic time

•

Query time

•

Transitive closure

•

Algorithms

Editorial or Peer reviewed

REVIEWED

Written at

OTHER

EPFL units
LTAA  
Event place
Available on Infoscience
January 18, 2007
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/239599
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