Communication Dans Un Congrès Année : 2025

Incremental Reachability Index

Résumé

We study the reachability problem in append-only DAGs: given two nodes u and v, is there a path from u to v? While the problem is linear in general, it can be answered faster by using a precomputed index, which gives a compressed representation of the transitive closure of the graph. Index algorithms are evaluated on three dimensions: the query time that the algorithm needs to answer whether there is a path from one node to another, the memory that the index uses per node, and the indexing time that is required to update the index when a node is added to the graph. In this paper, we combine Jagadish's static index [Jag90] with Felsner's online chain-decomposition algorithm [Fel97] to create an incremental index: data associated with a node is immutable, guaranteeing that queries are answered properly even if new nodes are inserted while the query is processed. Its query time is constant, but its index size is heavily dependent on the graph width, and as such is not competitive with recent indexing algorithms (2-hop, tree-chain, ...). We also propose a version of that incremental algorithm with a much lighter index. In the most compressed version, the query time becomes O(log n). However, constant-time queries can be retained depending on the desired time/memory trade-off.

Fichier principal
Vignette du fichier
Incremental Reachability Index.pdf (937.29 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
Licence

Dates et versions

hal-04929088 , version 1 (04-02-2025)
hal-04929088 , version 2 (22-05-2025)

Licence

Identifiants

  • HAL Id : hal-04929088 , version 2

Citer

Laurent Bulteau, Pierre-Yves David, Florian Horn, Euxane Tran-Girard. Incremental Reachability Index. 23rd Symposium on Experimental Algorithms (SEA 2025), Jul 2025, Venice, Italy. ⟨hal-04929088v2⟩
1534 Consultations
804 Téléchargements

Partager

  • More