Transitive-closure spanners

Arnab Bhattacharyya, Elena Grigorescu, Kyomin Jung, Sofya Raskhodnikova, David P. Woodruff

Research output: Chapter in Book/Report/Conference proceedingConference contribution

41 Citations (Scopus)

Abstract

We define the notion of a transitive-closure spanner of a directed graph. Given a directed graph G = (V, E) and an integer k ≥ 1, a k-transitive-closure-spanner (k-TC-spanner) of G is a directed graph H = (V, EH) that has (1) the same transitive-closure as G and (2) diameter at most k. These spanners were studied implicitly in access control, property testing, and data structures, and properties of these spanners have been rediscovered over the span of 20 years. We bring these areas under the unifying framework of TC-spanners. We abstract the common task implicitly tackled in these diverse applications as the problem of constructing sparse TC-spanners. We study the approximability of the size of the sparsest k-TC-spanner for a given digraph. Our technical contributions fall into three categories: algorithms for general digraphs, inapproximability results, and structural bounds for a specific graph family which imply an efficient algorithm with a good approximation ratio for that family. Algorithms. We present two efficient deterministic algorithms that find k-TC-spanners of near optimal size. The first algorithm gives an Õ(n1-1/k)-approximation for k > 2. Our method, based on a combination of convex programming and sampling, yields the first sublinear approximation ratios for (1) DIRECTED k-SPANNER, a well-studied generalization of k-TC-SPANNER, and (2) its variants CLIENT/SERVER DIRECTED k-SPANNER, and the k-DIAMETER SPANNING SUBGRAPH. This resolves the main open question of Elkin and Peleg (IPCO, 2001). The second algorithm, specific to the k-TC-spanner problem, gives an Õ(n/k2)-approximation. It shows that for k = Ω(√n), our problem has a provably better approximation ratio than DIRECTED k-SPANNER and its variants. This algorithm also resolves an open question of Hesse (SODA, 2003). Inapproximability. Our main technical contribution is a pair of strong inapproximability results. We resolve the approximability of 2-TC-spanners, showing that it is Θ(log n) unless P = NP. For constant k ≥ 3, we prove that the size of the sparsest k-TC-spanner is hard to approximate within 2log1-∈ n, for any ∈ > 0, unless NP ⊆ DTIME(npolylog n). Our hardness result helps explain the difficulty in designing general efficient solutions for the applications above, and it cannot be improved without resolving a long-standing open question in complexity theory. It uses an involved application of generalized butterfly and broom graphs, as well as noise-resilient transformations of hard problems, which may be of independent interest. Structural bounds. Finally, we study the size of the sparsest TC-spanner for H-minor-free digraphs, which include planar, bounded genus, and bounded tree-width graphs, explicitly investigated in applications above. We show that every H-minor-free digraph has an efficiently constructible k-TC-spanner of size Õ(n). This implies an Õ(1)-approximation algorithm for this family. Furthermore, using our insight that 2-TC-spanners yield property testers, we obtain a monotonicity tester with O(log2 n/∈) queries for any poset whose transitive reduction is an H-minor free digraph. This improves and generalizes the previous Θ(√n log n/∈)-query tester of Fischer et al (STOC, 2002).

Original languageEnglish (US)
Title of host publicationProceedings of the 20th Annual ACM-SIAM Symposium on Discrete Algorithms
Pages932-941
Number of pages10
StatePublished - Sep 21 2009
Event20th Annual ACM-SIAM Symposium on Discrete Algorithms - New York, NY, United States
Duration: Jan 4 2009Jan 6 2009

Publication series

NameProceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms

Other

Other20th Annual ACM-SIAM Symposium on Discrete Algorithms
CountryUnited States
CityNew York, NY
Period1/4/091/6/09

Fingerprint

Spanners
Spanner
Transitive Closure
Digraph
Inapproximability
Directed graphs
Directed Graph
Approximation
Minor
Resolve
Approximability
Efficient Algorithms
Graph in graph theory
Query
Property Testing
Imply
Bounded Treewidth
Constructible
Complexity Theory
Convex optimization

All Science Journal Classification (ASJC) codes

  • Software
  • Mathematics(all)

Cite this

Bhattacharyya, A., Grigorescu, E., Jung, K., Raskhodnikova, S., & Woodruff, D. P. (2009). Transitive-closure spanners. In Proceedings of the 20th Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 932-941). (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).
Bhattacharyya, Arnab ; Grigorescu, Elena ; Jung, Kyomin ; Raskhodnikova, Sofya ; Woodruff, David P. / Transitive-closure spanners. Proceedings of the 20th Annual ACM-SIAM Symposium on Discrete Algorithms. 2009. pp. 932-941 (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).
@inproceedings{31c441f6f83749809bb5af44b9c128a6,
title = "Transitive-closure spanners",
abstract = "We define the notion of a transitive-closure spanner of a directed graph. Given a directed graph G = (V, E) and an integer k ≥ 1, a k-transitive-closure-spanner (k-TC-spanner) of G is a directed graph H = (V, EH) that has (1) the same transitive-closure as G and (2) diameter at most k. These spanners were studied implicitly in access control, property testing, and data structures, and properties of these spanners have been rediscovered over the span of 20 years. We bring these areas under the unifying framework of TC-spanners. We abstract the common task implicitly tackled in these diverse applications as the problem of constructing sparse TC-spanners. We study the approximability of the size of the sparsest k-TC-spanner for a given digraph. Our technical contributions fall into three categories: algorithms for general digraphs, inapproximability results, and structural bounds for a specific graph family which imply an efficient algorithm with a good approximation ratio for that family. Algorithms. We present two efficient deterministic algorithms that find k-TC-spanners of near optimal size. The first algorithm gives an {\~O}(n1-1/k)-approximation for k > 2. Our method, based on a combination of convex programming and sampling, yields the first sublinear approximation ratios for (1) DIRECTED k-SPANNER, a well-studied generalization of k-TC-SPANNER, and (2) its variants CLIENT/SERVER DIRECTED k-SPANNER, and the k-DIAMETER SPANNING SUBGRAPH. This resolves the main open question of Elkin and Peleg (IPCO, 2001). The second algorithm, specific to the k-TC-spanner problem, gives an {\~O}(n/k2)-approximation. It shows that for k = Ω(√n), our problem has a provably better approximation ratio than DIRECTED k-SPANNER and its variants. This algorithm also resolves an open question of Hesse (SODA, 2003). Inapproximability. Our main technical contribution is a pair of strong inapproximability results. We resolve the approximability of 2-TC-spanners, showing that it is Θ(log n) unless P = NP. For constant k ≥ 3, we prove that the size of the sparsest k-TC-spanner is hard to approximate within 2log1-∈ n, for any ∈ > 0, unless NP ⊆ DTIME(npolylog n). Our hardness result helps explain the difficulty in designing general efficient solutions for the applications above, and it cannot be improved without resolving a long-standing open question in complexity theory. It uses an involved application of generalized butterfly and broom graphs, as well as noise-resilient transformations of hard problems, which may be of independent interest. Structural bounds. Finally, we study the size of the sparsest TC-spanner for H-minor-free digraphs, which include planar, bounded genus, and bounded tree-width graphs, explicitly investigated in applications above. We show that every H-minor-free digraph has an efficiently constructible k-TC-spanner of size {\~O}(n). This implies an {\~O}(1)-approximation algorithm for this family. Furthermore, using our insight that 2-TC-spanners yield property testers, we obtain a monotonicity tester with O(log2 n/∈) queries for any poset whose transitive reduction is an H-minor free digraph. This improves and generalizes the previous Θ(√n log n/∈)-query tester of Fischer et al (STOC, 2002).",
author = "Arnab Bhattacharyya and Elena Grigorescu and Kyomin Jung and Sofya Raskhodnikova and Woodruff, {David P.}",
year = "2009",
month = "9",
day = "21",
language = "English (US)",
isbn = "9780898716801",
series = "Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms",
pages = "932--941",
booktitle = "Proceedings of the 20th Annual ACM-SIAM Symposium on Discrete Algorithms",

}

Bhattacharyya, A, Grigorescu, E, Jung, K, Raskhodnikova, S & Woodruff, DP 2009, Transitive-closure spanners. in Proceedings of the 20th Annual ACM-SIAM Symposium on Discrete Algorithms. Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 932-941, 20th Annual ACM-SIAM Symposium on Discrete Algorithms, New York, NY, United States, 1/4/09.

Transitive-closure spanners. / Bhattacharyya, Arnab; Grigorescu, Elena; Jung, Kyomin; Raskhodnikova, Sofya; Woodruff, David P.

Proceedings of the 20th Annual ACM-SIAM Symposium on Discrete Algorithms. 2009. p. 932-941 (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Transitive-closure spanners

AU - Bhattacharyya, Arnab

AU - Grigorescu, Elena

AU - Jung, Kyomin

AU - Raskhodnikova, Sofya

AU - Woodruff, David P.

PY - 2009/9/21

Y1 - 2009/9/21

N2 - We define the notion of a transitive-closure spanner of a directed graph. Given a directed graph G = (V, E) and an integer k ≥ 1, a k-transitive-closure-spanner (k-TC-spanner) of G is a directed graph H = (V, EH) that has (1) the same transitive-closure as G and (2) diameter at most k. These spanners were studied implicitly in access control, property testing, and data structures, and properties of these spanners have been rediscovered over the span of 20 years. We bring these areas under the unifying framework of TC-spanners. We abstract the common task implicitly tackled in these diverse applications as the problem of constructing sparse TC-spanners. We study the approximability of the size of the sparsest k-TC-spanner for a given digraph. Our technical contributions fall into three categories: algorithms for general digraphs, inapproximability results, and structural bounds for a specific graph family which imply an efficient algorithm with a good approximation ratio for that family. Algorithms. We present two efficient deterministic algorithms that find k-TC-spanners of near optimal size. The first algorithm gives an Õ(n1-1/k)-approximation for k > 2. Our method, based on a combination of convex programming and sampling, yields the first sublinear approximation ratios for (1) DIRECTED k-SPANNER, a well-studied generalization of k-TC-SPANNER, and (2) its variants CLIENT/SERVER DIRECTED k-SPANNER, and the k-DIAMETER SPANNING SUBGRAPH. This resolves the main open question of Elkin and Peleg (IPCO, 2001). The second algorithm, specific to the k-TC-spanner problem, gives an Õ(n/k2)-approximation. It shows that for k = Ω(√n), our problem has a provably better approximation ratio than DIRECTED k-SPANNER and its variants. This algorithm also resolves an open question of Hesse (SODA, 2003). Inapproximability. Our main technical contribution is a pair of strong inapproximability results. We resolve the approximability of 2-TC-spanners, showing that it is Θ(log n) unless P = NP. For constant k ≥ 3, we prove that the size of the sparsest k-TC-spanner is hard to approximate within 2log1-∈ n, for any ∈ > 0, unless NP ⊆ DTIME(npolylog n). Our hardness result helps explain the difficulty in designing general efficient solutions for the applications above, and it cannot be improved without resolving a long-standing open question in complexity theory. It uses an involved application of generalized butterfly and broom graphs, as well as noise-resilient transformations of hard problems, which may be of independent interest. Structural bounds. Finally, we study the size of the sparsest TC-spanner for H-minor-free digraphs, which include planar, bounded genus, and bounded tree-width graphs, explicitly investigated in applications above. We show that every H-minor-free digraph has an efficiently constructible k-TC-spanner of size Õ(n). This implies an Õ(1)-approximation algorithm for this family. Furthermore, using our insight that 2-TC-spanners yield property testers, we obtain a monotonicity tester with O(log2 n/∈) queries for any poset whose transitive reduction is an H-minor free digraph. This improves and generalizes the previous Θ(√n log n/∈)-query tester of Fischer et al (STOC, 2002).

AB - We define the notion of a transitive-closure spanner of a directed graph. Given a directed graph G = (V, E) and an integer k ≥ 1, a k-transitive-closure-spanner (k-TC-spanner) of G is a directed graph H = (V, EH) that has (1) the same transitive-closure as G and (2) diameter at most k. These spanners were studied implicitly in access control, property testing, and data structures, and properties of these spanners have been rediscovered over the span of 20 years. We bring these areas under the unifying framework of TC-spanners. We abstract the common task implicitly tackled in these diverse applications as the problem of constructing sparse TC-spanners. We study the approximability of the size of the sparsest k-TC-spanner for a given digraph. Our technical contributions fall into three categories: algorithms for general digraphs, inapproximability results, and structural bounds for a specific graph family which imply an efficient algorithm with a good approximation ratio for that family. Algorithms. We present two efficient deterministic algorithms that find k-TC-spanners of near optimal size. The first algorithm gives an Õ(n1-1/k)-approximation for k > 2. Our method, based on a combination of convex programming and sampling, yields the first sublinear approximation ratios for (1) DIRECTED k-SPANNER, a well-studied generalization of k-TC-SPANNER, and (2) its variants CLIENT/SERVER DIRECTED k-SPANNER, and the k-DIAMETER SPANNING SUBGRAPH. This resolves the main open question of Elkin and Peleg (IPCO, 2001). The second algorithm, specific to the k-TC-spanner problem, gives an Õ(n/k2)-approximation. It shows that for k = Ω(√n), our problem has a provably better approximation ratio than DIRECTED k-SPANNER and its variants. This algorithm also resolves an open question of Hesse (SODA, 2003). Inapproximability. Our main technical contribution is a pair of strong inapproximability results. We resolve the approximability of 2-TC-spanners, showing that it is Θ(log n) unless P = NP. For constant k ≥ 3, we prove that the size of the sparsest k-TC-spanner is hard to approximate within 2log1-∈ n, for any ∈ > 0, unless NP ⊆ DTIME(npolylog n). Our hardness result helps explain the difficulty in designing general efficient solutions for the applications above, and it cannot be improved without resolving a long-standing open question in complexity theory. It uses an involved application of generalized butterfly and broom graphs, as well as noise-resilient transformations of hard problems, which may be of independent interest. Structural bounds. Finally, we study the size of the sparsest TC-spanner for H-minor-free digraphs, which include planar, bounded genus, and bounded tree-width graphs, explicitly investigated in applications above. We show that every H-minor-free digraph has an efficiently constructible k-TC-spanner of size Õ(n). This implies an Õ(1)-approximation algorithm for this family. Furthermore, using our insight that 2-TC-spanners yield property testers, we obtain a monotonicity tester with O(log2 n/∈) queries for any poset whose transitive reduction is an H-minor free digraph. This improves and generalizes the previous Θ(√n log n/∈)-query tester of Fischer et al (STOC, 2002).

UR - http://www.scopus.com/inward/record.url?scp=70349157218&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=70349157218&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:70349157218

SN - 9780898716801

T3 - Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms

SP - 932

EP - 941

BT - Proceedings of the 20th Annual ACM-SIAM Symposium on Discrete Algorithms

ER -

Bhattacharyya A, Grigorescu E, Jung K, Raskhodnikova S, Woodruff DP. Transitive-closure spanners. In Proceedings of the 20th Annual ACM-SIAM Symposium on Discrete Algorithms. 2009. p. 932-941. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).