Transitive-Closure Spanners

@article{Bhattacharyya2008TransitiveClosureS,
title={Transitive-Closure Spanners},
author={Arnab Bhattacharyya and Elena Grigorescu and Kyomin Jung and Sofya Raskhodnikova and David P. Woodruff},
journal={SIAM J. Comput.},
year={2008},
volume={41},
pages={1380-1425}
}
• Published 12 August 2008
• Computer Science, Mathematics
• SIAM J. Comput.
Given a directed graph $G = (V,E)$ and an integer $k \geq 1$, a $k$-transitive-closure-spanner ($k$-TC-spanner) of $G$ is a directed graph $H = (V, E_H)$ that has (1) the same transitive-closure as $G$ and (2) diameter at most $k$. These spanners were implicitly studied in the context of circuit complexity, data structures, property testing, and access control, and properties of these spanners have been rediscovered over the span of 20 years. We abstract the common task implicitly tackled in…

Figures and Tables from this paper

• Mathematics, Computer Science
FSTTCS
• 2010
This work studies the computational problem of finding the sparsest spanners of a given directed graph, which it is referred to as DIRECTED $k-SPANNER (resp.,$k$-TC-spanner) and improves all known approximation algorithms for these problems for$k\geq 3$. • Mathematics, Computer Science ICALP • 2019 The study of graph spanners with respect to the$\ell_p$-norm of their degree vector is initiated, thus simultaneously modeling the number of edges and the maximum degree, and precise upper bounds for all ranges of$p$and stretch$t$are given. • Mathematics, Computer Science Combinatorica • 2014 The dimension of a poset G is the smallest d such that G can be embedded into a d-dimensional directed hypergrid via an order-preserving embedding and a nearly tight lower bound on the size of Steiner 2-TC-spanners of d- dimensional directed hypergrids is presented. • Mathematics, Computer Science Comb. • 2014 The dimension of a poset G is the smallest d such that G can be embedded into a d-dimensional directed hypergrid via an order-preserving embedding and a nearly tight lower bound on the size of Steiner 2-TC-spanners of d- dimensional directed hypergrids is presented. • Mathematics SEA² • 2019 A 0--1 integer linear program (ILP) of size$O(|E||V|^2)$is formulated for the more general minimum \emph{pairwise spanner problem}, which resolves an open question by Sigurd and Zachariasen on whether this problem admits a useful polynomial-size ILP. • Computer Science, Mathematics DISC • 2018 This work considers spanner constructions in the congested clique model, and shows a randomized construction and a deterministic construction of a$O(k)-spanner with $\widetilde{O}(n^{1+1/k})$ edges in $O(\log k)$ rounds.
• Mathematics, Computer Science
APPROX-RANDOM
• 2010
Tight upper and lower bounds on the size of the sparsest 2-TC-spanners of the directed hypercube and hypergrid are presented, implying tighter lower bounds for local monotonicity reconstructors that nearly match the known upper bounds.
• Computer Science, Mathematics
SODA
• 2018
A new connection between extremal graph sparsification results and classical Steiner Network Design problems is made and an efficient algorithm is designed that can always compute a preserver of existentially optimal size is designed.
• Computer Science, Mathematics
ArXiv
• 2018
It is shown that $3-hopsets require exponentially fewer shortcuts per node than any previously described distance oracle while incurring only a quadratic increase in the query decoding time, and actually offer a speedup when compared to simple oracles based on a direct application of$2-hopset.
• Mathematics, Computer Science
• 2010
An approximation algorithm with O( √ n log n) ratio is described, which improves all known approximation algorithms for k > 4 by Ω̃(n).

References

SHOWING 1-10 OF 81 REFERENCES

• Mathematics, Computer Science
FSTTCS
• 2010
This work studies the computational problem of finding the sparsest spanners of a given directed graph, which it is referred to as DIRECTED $k-SPANNER (resp.,$k$-TC-spanner) and improves all known approximation algorithms for these problems for$k\geq 3$. • Mathematics, Computer Science Comb. • 2014 The dimension of a poset G is the smallest d such that G can be embedded into a d-dimensional directed hypergrid via an order-preserving embedding and a nearly tight lower bound on the size of Steiner 2-TC-spanners of d- dimensional directed hypergrids is presented. • Mathematics, Computer Science APPROX-RANDOM • 2010 Tight upper and lower bounds on the size of the sparsest 2-TC-spanners of the directed hypercube and hypergrid are presented, implying tighter lower bounds for local monotonicity reconstructors that nearly match the known upper bounds. • Mathematics, Computer Science Theor. Comput. Sci. • 2005 • Mathematics, Computer Science IPCO • 2001 The technique introduced in the paper enables the studied algorithmic questions of approximability of the k-spanner and k-DSS problems to be reduced to purely graph-theoretical questions concerning the existence of certain combinatorial objects in families of graphs. • Mathematics, Computer Science SODA '94 • 1994 It is shown that the problem of finding a 2-spanner in a given graph is at least as hard to approximate as set cover, and a randomized approximation algorithm is provided with approximation ratio of$\tilde O(\Delta^{1/4})\$.
• Mathematics, Computer Science
ICALP
• 2011
The approximation ratio of the algorithm is O(n1/3) which almost matches the lower bound shown by Dinitz and Krauthgamer for the integrality gap of a natural linear programming relaxation.
It is proved that for every fixed k, approximation of the spanner problem is at least as hard as approximating the set-cover problem.
• Mathematics
SIAM J. Comput.
• 1972
It is shown that the time complexity of the best algorithm for finding the transitive reduction of a graph is the same as the time to compute the transitives closure of agraph or to perform Boolean matrix multiplication.
• David P. Woodruff
• Mathematics, Computer Science
2006 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS'06)
• 2006
The study of pair-wise and source-wise distance preservers defined by Coppersmith and Elkin by considering their approximate variants and their relaxation to emulators and proves the first lower bounds for such graphs.