×

Efficient algorithms for constructing \((1+\epsilon,\beta)\)-spanners in the distributed and streaming models. (English) Zbl 1266.68212

Summary: For an unweighted undirected graph \(G = (V,E)\), and a pair of positive integers \(\alpha\geq 1\), \(\beta \geq 0\), a subgraph \(G' = (V,H)\), \(H \subseteq E\), is called an \((\alpha,\beta)\)-spanner of \(G\) if for every pair of vertices \(u,v \in V\), \(\mathrm{dist}_{G'}(u,v) \leq \alpha\cdot \mathrm{dist}_G(u,v) + \beta\).{ }It was shown by the first author and D. Peleg [SIAM J. Comput. 33, No. 3, 608–631 (2004; Zbl 1056.05134)] that for any \(\epsilon > 0\), \(\kappa = 1,2,\ldots\), there exists an integer \(\beta = \beta(\epsilon,\kappa)\) such that for every \(n\)-vertex graph \(G\) there exists a \((1+\epsilon,\beta)\)-spanner \(G'\) with \(O(n^{1+1/\kappa})\) edges. An efficient distributed protocol for constructing \((1+\epsilon,\beta)\)-spanners was devised by the first author [“Computing almost shortest paths”, in: Proceedings of the 20th ACM symposium on principles of distributed computing. New York, NY: ACM Press. 53–62 (2001)]. The running time and the communication complexity of that protocol are \(O(n^{1+\rho})\) and \(O(|E|n^{\rho})\), respectively, where \(\rho\) is an additional control parameter of the protocol that affects only the additive term \(\beta\).{ }In this paper we devise a protocol with a drastically improved running time (\(O(n^{\rho})\) as opposed to \(O(n^{1+\rho})\)) for constructing \((1+\epsilon,\beta)\)-spanners. Our protocol has the same communication complexity as the protocol of [the first author, loc. cit.], and it constructs spanners with essentially the same properties as the spanners that are constructed by the protocol of [the first author, loc. cit.]. The protocol can be easily extended to a parallel implementation which runs in \(O(\log n + (|E|\cdot n^{\rho}\log n)/p)\) time using \(p\) processors in the EREW PRAM model. In particular, when the number of processors, \(p\), is at least \(|E|\cdot n^{\rho}\), the running time of the algorithm is \(O(\log n)\). We also show that our protocol for constructing \((1+\epsilon,\beta)\)-spanners can be adapted to the streaming model, and devise a streaming algorithm that uses a constant number of passes and \(O(n^{1+1/\kappa}\cdot \log n)\) bits of space for computing all-pairs-almost-shortest-paths of length at most by a multiplicative factor \((1+\epsilon)\) and an additive term of \(\beta\) greater than the shortest paths. Our algorithm processes each edge in time \(O(n^{\rho})\), for an arbitrarily small \(\rho>0\). The only previously known algorithm for the problem [J. Feigenbaum et al., Lect. Notes Comput. Sci. 3142, 531–543 (2004; Zbl 1099.68679)] constructs paths of length \(\kappa\) times greater than the shortest paths, has the same space requirements as our algorithm, but requires \(O(n^{1+1/\kappa})\) time for processing each edge of the input graph. However, the algorithm of [J. Feigenbaum et al., loc. cit.] uses just one pass over the input, as opposed to the constant number of passes in our algorithm.{ }We also show that any streaming algorithm for \(o(n)\)-approximate distance computation requires \(\Omega(n)\) bits of space.

MSC:

68W15 Distributed algorithms
05C85 Graph algorithms (graph-theoretic aspects)
68Q25 Analysis of algorithms and problem complexity
Full Text: DOI

References:

[1] Aingworth, D.; Chekuri, C.; Indyk, P.; Motwani, R., Fast estimation of diameter and shortest paths (without matrix multiplication), SIAM Journal on Computing., 28, 4, 1167-1181 (1999) · Zbl 0926.68093 · doi:10.1137/S0097539796303421
[2] Alon, N., Galil, Z., Margalit, O.: On the exponet of the all pairs shortest path problem. In: Proc. 32st IEEE Symposium on Foundations of Computer Science, pp. 569-575 (1991)
[3] Alon, N.; Matias, Y.; Szegedy, M., The space complexity of approximating the frequency moments, Journal of Computer and System Sciences., 58, 1, 137-147 (1999) · Zbl 0938.68153 · doi:10.1006/jcss.1997.1545
[4] Awerbuch, B.; Berger, B.; Cowen, L.; Peleg, D., Near-linear time construction of sparse neighborhood covers, SIAM Journal on Computing, 28, 1, 263-277 (1998) · Zbl 0943.05079 · doi:10.1137/S0097539794271898
[5] Awerbuch, B., Patt-Shamir, B., Peleg, D., Saks, M.: Adapting to asynchronous dynamic networks. In: Proc. 24th ACM Symposium on Theory of Computing, pp. 557-570 (1992)
[6] Awerbuch, B., Peleg, D.: Network synchronization with polylogarithmic overhead. In: Proc. 31st IEEE Symposium on Foundations of Computer Science, pp. 514-522 (1990)
[7] Awerbuch, B.; Peleg, D., Routing with polynomial communication-space tradeoff, SIAM Journal on Discrete Mathematics., 5, 151-162 (1992) · Zbl 0762.68025 · doi:10.1137/0405013
[8] Buchsbaum, A. L.; Giancarlo, R.; Westbrook, J. R., On finding common neighborhoods in massive graphs, Theoretical Computer Science., 299, 1-3, 707-718 (2003) · Zbl 1042.68086 · doi:10.1016/S0304-3975(02)00569-8
[9] Baswana, S., Sen, S.: A simple linear time algorithm for computing a (2k-1)-spanner of O(n^1+1/k) size in weighted graphs. In: Proc. International Colloq. on Automata, Languages and Computing, pp. 284-296 (2003) · Zbl 1039.05056
[10] Baswana, S., Sen, S.: Approximate distance oracles for unweighted graphs in o(n^2log n) time. In Proc. 15th ACM-SIAM Symposium on Discrete Algorithms (2004) · Zbl 1317.68062
[11] Chandra, B., Das, G., Narasimhan, G., Soares, J.: New sparseness results on graph spanners. In: Proc 8th ACM Symposium on Computational Geometry, pp. 192-201 (1992) · Zbl 0818.68078
[12] Charikar, M., O’Callaghan, L., Panigrahy, R.: Better streaming algorithms for clustering problems. In: Proc. 35th ACM Symposium on Theory of Computing, pp. 30-39 (2003) · Zbl 1192.68350
[13] Cohen, E.: Fast algorithms for t-spanners and stretch-t paths. In: Proc. 34th IEEE Symposium on Foundation of Computer Science, pp. 648-658 (1993)
[14] Cohen, E.: Polylog-time and near-linear work approximation scheme for undirected shortest-paths. In: Proc. 26th ACM Symposium on Theory of Computing, pp. 16-26 (1994) · Zbl 1344.68283
[15] Cohen, E.; Zwick, U., All pairs small stretch paths, Journal of Algorithms., 38, 335-353 (2001) · Zbl 0974.68150 · doi:10.1006/jagm.2000.1117
[16] Coppersmith, D., Kumar, R.: An improved data stream algorithm for frequency moments. In Proc. 15th ACM-SIAM Symposium on Discrete Algorithms (2004) · Zbl 1317.68266
[17] Cole, R.; Vishkin, U., Approximate parallel scheduling, Part I: The basic technique with applications to optimal parallel list ranking in logarithmic time. SIAM Journal on Computing., 17, 128-142 (1988) · Zbl 0637.68038
[18] Dor, D.; Halperin, S.; Zwick, U., All pairs almost shortest paths, SIAM Journal on Computing., 29, 1740-1759 (2000) · Zbl 0948.05047 · doi:10.1137/S0097539797327908
[19] Elkin, M.: Computing almost shortest paths. In: Proc. 20th ACM Symposium on Principles of Distributed Computing, pp. 53-62 (2001) · Zbl 1333.05287
[20] Elkin, M.: A fast distributed protocol for constructing the minimum spanning tree. In: Proc. 15th ACM-SIAM Symposium on Discrete Algorithms, pp. 352-361 (2004)
[21] Elkin, M., Peleg, D.: (1 + ∊,β)-spanner constructions for general graphs. In: Proc. 33rd Annual ACM Symp. on Theory of Computing, pp. 173-182 (2001) · Zbl 1323.05118
[22] Elkin, M., Zhang, J.: Efficient algorithms for constructing (1+ ∊, beta)-spanners in the distributed and streaming models. In: Proc. of 23rd Annual SIGACT-SIGOPS Symp. on Principles of Distributed Computing, PODC, pp. 160-168, St. John’s, Newfoundland, Canada (2004) · Zbl 1321.68462
[23] Feigenbaum, J., Kannan, S., McGregor, A., Suri, S., Zhang, J.: On graph problems in a semi-streaming model. In: Proc. 31st International Colloquium on Automata, Languages and Programming, LNCS vol. 3142, pp. 531-543 (2004) · Zbl 1099.68679
[24] Feigenbaum, J., Kannan, S., McGregor, A., Suri, S., Zhang, J.: Graph Distances in the Streaming Model: The Value of Space. In: Proceedings of 16th ACM-SIAM Symposium on Discrete Algorithms pp. 745-754 (2005) · Zbl 1297.05073
[25] Feigenbaum, J.; Kannan, S.; Strauss, M.; Viswanathan, M., An approximate L^1 difference algorithm for massive data streams, SIAM Journal on Computing., 32, 1, 131-151 (2002) · Zbl 1029.68157 · doi:10.1137/S0097539799361701
[26] Galil, Z.; Margalit, O., All pairs shortest paths for graphs with small integer length edges, Journal of Computer and System Sciences, 54, 2, 243-254 (1997) · Zbl 0877.68089 · doi:10.1006/jcss.1997.1385
[27] GMMO00 Guha, S., Mishra, N., Motwani, R., O’Callaghan, L.: Clustering data streams. In: Proc. 41th IEEE Symposium on Foundations of Computer Science, pp. 359-366 (2000)
[28] Henzinger, M. R., Raghavan, P., Rajagopalan, S.: Computing on data streams. Technical Report 1998-001, DEC Systems Research Center (1998) · Zbl 0947.68052
[29] Indyk, P.: Stable distributions, pseudorandom generators, embeddings and data stream computation. In: Proc. 41th IEEE Symposium on Foundations of Computer Science, pp. 189-197 (2000)
[30] Kalyanasundaram, B.; Schnitger, G., The probabilistic communication complexity of set intersection, SIAM Journal on Discrete Math., 5, 545-557 (1990) · Zbl 0760.68040 · doi:10.1137/0405044
[31] Muthukrishnan, S.: Data streams: Algorithms and applications. 2003. Available at http://athos.rutgers.edu/∼muthu/stream-1-1.ps. · Zbl 1128.68025
[32] Peleg, D., Distributed computing: a locality-sensitive approach (2000), Philadelphia, PA: SIAM, Philadelphia, PA · Zbl 0959.68042
[33] Peleg, D.; Schäffer, A., Graph spanners, Journal of Graph Theory., 13, 99-116 (1989) · Zbl 0673.05059
[34] Peleg, D.; Ullman, J., An optimal synchronizer for the hypercube, SIAM Journal on Computing., 18, 740-747 (1989) · Zbl 0681.68091 · doi:10.1137/0218050
[35] Peleg, D.; Upfal, E., A tradeoff between space and efficiency for routing tables, Journal of ACM., 36, 3, 510-530 (1989) · Zbl 0900.68262 · doi:10.1145/65950.65953
[36] Roditty, L., Thorup, M., Zwick, U.: Roundtrip spanners and roundtrip routing in directed graphs. In: Proc. 13th ACM-SIAM Symposium on Discrete Algorithms, pp. 844-851 (2002) · Zbl 1093.68627
[37] Seidel, R., On the all-pairs-shortest-path problem in unweighted undirected graph, Journal of Computer and System Sciences, 51, 3, 400-403 (1995) · Zbl 1295.05240 · doi:10.1006/jcss.1995.1078
[38] Zwick, U.: Exact and approximate distances in graphs - a survey. In: Proc. 9th European Symposium on Algorithms, pp. 33-48 (2001) · Zbl 1006.68543
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.