93 research outputs found
Decremental Strongly-Connected Components and Single-Source Reachability in Near-Linear Time
Computing the Strongly-Connected Components (SCCs) in a graph is
known to take only time using an algorithm by Tarjan from
1972[SICOMP 72] where , . For fully-dynamic graphs, conditional
lower bounds provide evidence that the update time cannot be improved by
polynomial factors over recomputing the SCCs from scratch after every update.
Nevertheless, substantial progress has been made to find algorithms with fast
update time for \emph{decremental} graphs, i.e. graphs that undergo edge
deletions.
In this paper, we present the first algorithm for general decremental graphs
that maintains the SCCs in total update time , thus only a
polylogarithmic factor from the optimal running time. Previously such a result
was only known for the special case of planar graphs [Italiano et al, STOC
2017]. Our result should be compared to the formerly best algorithm for general
graphs achieving total update time by Chechik et.al.
[FOCS 16] which improved upon a breakthrough result leading to total update time by Henzinger, Krinninger and Nanongkai [STOC 14,
ICALP 15]; these results in turn improved upon the longstanding bound of
by Roditty and Zwick [STOC 04].
All of the above results also apply to the decremental Single-Source
Reachability (SSR) problem, which can be reduced to decrementally maintaining
SCCs. A bound of total update time for decremental SSR was established
already in 1981 by Even and Shiloach [JACM 1981].
Using a well known reduction, we can maintain the reachability of pairs , in fully-dynamic graphs with update time
and query time for all ; this
generalizes an earlier All-Pairs Reachability where [{\L}\k{a}cki, TALG
2013].Comment: Accepted to STOC 1
Decremental Single-Source Reachability in Planar Digraphs
In this paper we show a new algorithm for the decremental single-source
reachability problem in directed planar graphs. It processes any sequence of
edge deletions in total time and explicitly
maintains the set of vertices reachable from a fixed source vertex. Hence, if
all edges are eventually deleted, the amortized time of processing each edge
deletion is only , which improves upon a previously
known solution. We also show an algorithm for decremental
maintenance of strongly connected components in directed planar graphs with the
same total update time. These results constitute the first almost optimal (up
to polylogarithmic factors) algorithms for both problems.
To the best of our knowledge, these are the first dynamic algorithms with
polylogarithmic update times on general directed planar graphs for non-trivial
reachability-type problems, for which only polynomial bounds are known in
general graphs
Fully Dynamic Single-Source Reachability in Practice: An Experimental Study
Given a directed graph and a source vertex, the fully dynamic single-source
reachability problem is to maintain the set of vertices that are reachable from
the given vertex, subject to edge deletions and insertions. It is one of the
most fundamental problems on graphs and appears directly or indirectly in many
and varied applications. While there has been theoretical work on this problem,
showing both linear conditional lower bounds for the fully dynamic problem and
insertions-only and deletions-only upper bounds beating these conditional lower
bounds, there has been no experimental study that compares the performance of
fully dynamic reachability algorithms in practice. Previous experimental
studies in this area concentrated only on the more general all-pairs
reachability or transitive closure problem and did not use real-world dynamic
graphs.
In this paper, we bridge this gap by empirically studying an extensive set of
algorithms for the single-source reachability problem in the fully dynamic
setting. In particular, we design several fully dynamic variants of well-known
approaches to obtain and maintain reachability information with respect to a
distinguished source. Moreover, we extend the existing insertions-only or
deletions-only upper bounds into fully dynamic algorithms. Even though the
worst-case time per operation of all the fully dynamic algorithms we evaluate
is at least linear in the number of edges in the graph (as is to be expected
given the conditional lower bounds) we show in our extensive experimental
evaluation that their performance differs greatly, both on generated as well as
on real-world instances
On Fully Dynamic Strongly Connected Components
We consider maintaining strongly connected components (SCCs) of a directed graph subject to edge insertions and deletions. For this problem, we show a randomized algebraic data structure with conditionally tight O(n^1.529) worst-case update time. The only previously described subquadratic update bound for this problem [Karczmarz, Mukherjee, and Sankowski, STOC\u2722] holds exclusively in the amortized sense.
For the less general dynamic strong connectivity problem, where one is only interested in maintaining whether the graph is strongly connected, we give an efficient deterministic black-box reduction to (arbitrary-pair) dynamic reachability. Consequently, for dynamic strong connectivity we match the best-known O(n^1.407) worst-case upper bound for dynamic reachability [van den Brand, Nanongkai, and Saranurak FOCS\u2719]. This is also conditionally optimal and improves upon the previous O(n^1.529) bound. Our reduction also yields the first fully dynamic algorithms for maintaining the minimum strong connectivity augmentation of a digraph
Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs
The fundamental model-checking problem, given as input a model and a specification, asks for the algorithmic verification of whether the model satisfies the specification. Two classical models for reactive systems are graphs and Markov decision processes (MDPs). A basic specification formalism in the verification of reactive systems is the strong fairness (aka Streett) objective, where given different types of requests and corresponding grants, the requirement is that for each type, if the request event happens infinitely often, then the corresponding grant event must also happen infinitely often. All omega-regular objectives can be expressed as Streett objectives and hence they are canonical in verification. Consider graphs/MDPs with n vertices, m edges, and a Streett objectives with k pairs, and let b denote the size of the description of the Streett objective for the sets of requests and grants. The current best-known algorithm for the problem requires time O(min(n^2, m sqrt{m log n}) + b log n). In this work we present randomized near-linear time algorithms, with expected running time O~(m + b), where the O~ notation hides poly-log factors. Our randomized algorithms are near-linear in the size of the input, and hence optimal up to poly-log factors
Decremental Single-Source Shortest Paths on Undirected Graphs in Near-Linear Total Update Time
In the decremental single-source shortest paths (SSSP) problem we want to
maintain the distances between a given source node and every other node in
an -node -edge graph undergoing edge deletions. While its static
counterpart can be solved in near-linear time, this decremental problem is much
more challenging even in the undirected unweighted case. In this case, the
classic total update time of Even and Shiloach [JACM 1981] has been the
fastest known algorithm for three decades. At the cost of a
-approximation factor, the running time was recently improved to
by Bernstein and Roditty [SODA 2011]. In this paper, we bring the
running time down to near-linear: We give a -approximation
algorithm with expected total update time, thus obtaining
near-linear time. Moreover, we obtain time for the weighted
case, where the edge weights are integers from to . The only prior work
on weighted graphs in time is the -time algorithm by
Henzinger et al. [STOC 2014, ICALP 2015] which works for directed graphs with
quasi-polynomial edge weights. The expected running time bound of our algorithm
holds against an oblivious adversary.
In contrast to the previous results which rely on maintaining a sparse
emulator, our algorithm relies on maintaining a so-called sparse -hop set introduced by Cohen [JACM 2000] in the PRAM literature. An
-hop set of a graph is a set of weighted edges
such that the distance between any pair of nodes in can be
-approximated by their -hop distance (given by a path
containing at most edges) on . Our algorithm can maintain
an -hop set of near-linear size in near-linear time under
edge deletions.Comment: Accepted to Journal of the ACM. A preliminary version of this paper
was presented at the 55th IEEE Symposium on Foundations of Computer Science
(FOCS 2014). Abstract shortened to respect the arXiv limit of 1920 character
Planar Reachability in Linear Space and Constant Time
We show how to represent a planar digraph in linear space so that distance
queries can be answered in constant time. The data structure can be constructed
in linear time. This representation of reachability is thus optimal in both
time and space, and has optimal construction time. The previous best solution
used space for constant query time [Thorup FOCS'01].Comment: 20 pages, 5 figures, submitted to FoC
- …