Nothing Special   »   [go: up one dir, main page]

skip to main content
article

Collective additive tree spanners of bounded tree-breadth graphs with generalizations and consequences

Published: 01 August 2014 Publication History

Abstract

In this paper, we study collective additive tree spanners for families of graphs enjoying special Robertson-Seymour's tree-decompositions, and demonstrate interesting consequences of obtained results. We say that a graph G admits a system of @m collective additive tree r-spanners (resp., multiplicative tree t-spanners) if there is a system T(G) of at most @m spanning trees of G such that for any two vertices x,y of G a spanning tree T@?T(G) exists such that d"T(x,y)@?d"G(x,y)+r (resp., d"T(x,y)@?t@?d"G(x,y)). When @m=1 one gets the notion of additive tree r-spanner (resp., multiplicative tree t-spanner). It is known that if a graph G has a multiplicative tree t-spanner, then G admits a Robertson-Seymour's tree-decomposition with bags of radius at most @?t/2@? in G. We use this to demonstrate that there is a polynomial time algorithm that, given an n-vertex graph G admitting a multiplicative tree t-spanner, constructs a system of at most log"2n collective additive tree O(tlogn)-spanners of G. That is, with a slight increase in the number of trees and in the stretch, one can ''turn'' a multiplicative tree spanner into a small set of collective additive tree spanners. We extend this result by showing that if a graph G admits a multiplicative t-spanner with tree-width k-1, then G admits a Robertson-Seymour's tree-decomposition each bag of which can be covered with at most k disks of G of radius at most @?t/2@? each. This is used to demonstrate that, for every fixed k, there is a polynomial time algorithm that, given an n-vertex graph G admitting a multiplicative t-spanner with tree-width k-1, constructs a system of at most k(1+log"2n) collective additive tree O(tlogn)-spanners of G.

References

[1]
Alon, N., Karp, R.M., Peleg, D. and West, D.B., A graph-theoretic game and its application to the k-server problem. SIAM J. Comput. v24. 78-100.
[2]
Althöfer, I., Das, G., Dobkin, D., Joseph, D. and Soares, J., On sparse spanners of weighted graphs. Discrete Comput. Geom. v9 i1. 81-100.
[3]
Ausiello, G., D'Arti, A. and Moscarini, M., Chordality properties on graphs and minimal conceptual connections in semantic data models. J. Comput. System Sci. v33. 179-202.
[4]
Bartal, Y., Probabilistic approximations of metric spaces and its algorithmic applications. In: Proceedings of the 37th Annual IEEE Symposium on Foundations of Computer Science, pp. 184-193.
[5]
Bartal, Y., On approximating arbitrary metrics by tree metrics. In: Proceedings of the 30th Annual ACM Symposium on Theory of Computing, pp. 161-168.
[6]
Bartal, Y., Blum, A., Burch, C. and Tomkins, A., A polylog()-competitive algorithm for metrical task systems. In: STOC, pp. 711-719.
[7]
Baswana, S. and Sen, S., A simple linear time algorithm for computing a (2k-1)-spanner of O(n1+1/k) size in weighted graphs. In: Lecture Notes in Computer Science, vol. 2719. Springer. pp. 384-396.
[8]
Baswana, S., Kavitha, T., Mehlhorn, K. and Pettie, S., New constructions of (α,ß)-spanners and purely additive spanners. In: 16th Symposium on Discrete Algorithms, SODA, ACM-SIAM. pp. 672-681.
[9]
Beeri, C., Fagin, R., Maier, D. and Yannakakis, M., On the desirability of acyclic database schemes. J. ACM. v30. 479-513.
[10]
Berge, C., Hypergraphs. 1989. North Holland.
[11]
Berman, P., Bhattacharyya, A., Makarychev, K., Raskhodnikova, S. and Yaroslavtsev, G., Improved approximation for the directed spanner problem. In: Lecture Notes in Computer Science, vol. 6755. Springer, Berlin. pp. 1-12.
[12]
Bhattacharyya, A., Grigorescu, E., Jung, K., Raskhodnikova, S. and Woodruff, D.P., Transitive-closure spanners. In: SODA 2009, pp. 932-941.
[13]
Brandes, U. and Handke, D., NP-completeness results for minimum planar spanners. Discrete Math. Theor. Comput. Sci. v3. 1-10.
[14]
Brandstädt, A., Chepoi, V. and Dragan, F., Distance approximating trees for chordal and dually chordal graphs. J. Algorithms. v30. 166-184.
[15]
Brandstädt, A., Dragan, F.F., Le, H.-O. and Le, V.B., Tree spanners on chordal graphs: complexity and algorithms. Theoret. Comput. Sci. v310. 329-354.
[16]
Brandstädt, A., Dragan, F.F., Le, H.-O., Le, V.B. and Uehara, R., Tree spanners for bipartite graphs and probe interval graphs. Algorithmica. v47. 27-51.
[17]
Cai, L. and Corneil, D.G., Tree spanners. SIAM J. Discrete Math. v8. 359-387.
[18]
Charikar, M., Chekuri, C., Goel, A., Guha, S. and Plotkin, S.A., Approximating a finite metric by a small number of tree metrics. In: FOCS, pp. 379-388.
[19]
Chew, L.P., There are planar graphs almost as good as the complete graph. J. Comput. System Sci. v39. 205-219.
[20]
Corneil, D.G., Dragan, F.F., Köhler, E. and Yan, C., Collective tree 1-spanners for interval graphs. In: Lecture Notes in Computer Science, vol. 3787. Springer. pp. 151-162.
[21]
Diestel, R., Graph Theory. 2000. Graduate Texts in Mathematics, 2000.second edition. Springer.
[22]
Dinitz, M. and Krauthgamer, R., Directed spanners via flow-based linear programs. In: STOC 2011, pp. 323-332.
[23]
arXiv:1203.0224
[24]
Dor, D., Halperin, S. and Zwick, U., All-pairs almost shortest paths. SIAM J. Comput. v29. 1740-1759.
[25]
Dourisboure, Y. and Gavoille, C., Tree-decompositions with bags of small diameter. Discrete Math. v307. 2008-2029.
[26]
Dourisboure, Y., Dragan, F.F., Gavoille, C. and Yan, C., Spanners for bounded tree-length graphs. Theoret. Comput. Sci. v383. 34-44.
[27]
Dragan, F.F. and Abu-Ata, M., Collective additive tree spanners of bounded tree-breadth graphs with generalizations and consequences. In: Lecture Notes in Computer Science, vol. 7741. pp. 194-206.
[28]
Dragan, F.F. and Köhler, E., An approximation algorithm for the tree t-spanner problem on unweighted graphs via generalized chordal graphs. In: Lecture Notes in Computer Science, vol. 6845. Springer. pp. 171-183.
[29]
Dragan, F.F. and Yan, C., Collective tree spanners in graphs with bounded parameters. Algorithmica. v57. 22-43.
[30]
Dragan, F.F., Yan, C. and Corneil, D.G., Collective tree spanners and routing in AT-free related graphs. J. Graph Algorithms Appl. v10. 97-122.
[31]
Dragan, F.F., Yan, C. and Lomonosov, I., Collective tree spanners of graphs. SIAM J. Discrete Math. v20. 241-260.
[32]
Dragan, F.F., Fomin, F.V. and Golovach, P.A., Spanners in sparse graphs. J. Comput. System Sci. v77. 1108-1119.
[33]
Dragan, F.F., Fomin, F.V. and Golovach, P.A., Approximation of minimum weight spanners for sparse graphs. Theoret. Comput. Sci. v412. 846-852.
[34]
Duckworth, W., Wormald, N.C. and Zito, M., A PTAS for the sparsest 2-spanner of 4-connected planar triangulations. J. Discrete Algorithms. v1. 67-76.
[35]
Elkin, M. and Peleg, D., Strong inapproximability of the basic k-spanner problem. In: Montanari, U., Rolim, J.D.P., Welzl, E. (Eds.), Lecture Notes in Computer Science, vol. 1853. Springer. pp. 636-647.
[36]
Elkin, M. and Peleg, D., (1+¿,ß)-spanner constructions for general graphs. In: 33rd Annual ACM Symposium on Theory of Computing, pp. 173-182.
[37]
Elkin, M. and Peleg, D., Approximating k-spanner problems for k¿2. Theoret. Comput. Sci. v337. 249-277.
[38]
The hardness of approximating spanner problems. Theory Comput. Syst. v41. 691-729.
[39]
Elkin, M., Emek, Y., Spielman, D.A. and Teng, S.-H., Lower-stretch spanning trees. SIAM J. Comput. v38. 608-628.
[40]
Emek, Y. and Peleg, D., Approximating minimum max-stretch spanning trees on unweighted graphs. SIAM J. Comput. v38. 1761-1781.
[41]
Fakcharoenphol, J., Rao, S. and Talwar, K., A tight bound on approximating arbitrary metrics by tree metrics. J. Comput. System Sci. v69. 485-497.
[42]
Fekete, S.P. and Kremer, J., Tree spanners in planar graphs. Discrete Appl. Math. v108. 85-103.
[43]
Fomin, F.V., Golovach, P.A. and Jan van Leeuwen, E., Spanners of bounded degree graphs. Inform. Process. Lett. v111. 142-144.
[44]
A separator theorem for chordal graphs. SIAM J. Algebr. Discrete Methods. v5. 306-313.
[45]
Gupta, A., Kumar, A. and Rastogi, R., Traveling with a Pez dispenser (or, routing issues in MPLS). SIAM J. Comput. v34. 453-474.
[46]
Haynes, T.W., Hedetniemi, S. and Slater, P., Fundamentals of Domination in Graphs. 1998. Marcel Dekker.
[47]
Herlihy, M., Kuhn, F., Tirthapura, S. and Wattenhofer, R., Dynamic analysis of the arrow distributed protocol. Theory Comput. Syst. v39. 875-901.
[48]
Kortsarz, G., On the hardness of approximating spanners. Algorithmica. v30. 432-450.
[49]
Kortsarz, G. and Peleg, D., Generating sparse 2-spanners. J. Algorithms. v17. 222-236.
[50]
Liebchen, C. and Wünsch, G., The zoo of tree spanner problems. Discrete Appl. Math. v156. 569-587.
[51]
Liestman, A.L. and Shermer, T., Additive graph spanners. Networks. v23. 343-364.
[52]
Linial, N., London, E. and Rabinovich, Y., The geometry of graphs and some of its algorithmic applications. Combinatorica. v15. 215-245.
[53]
Lokshtanov, D., On the complexity of computing tree-length. Discrete Appl. Math. v158. 820-827.
[54]
Low stretch spanning trees. In: Lecture Notes in Computer Science, vol. 2420. pp. 68-80.
[55]
Peleg, D. and Reshef, E., Low complexity variants of the arrow distributed directory. J. Comput. System Sci. v63. 474-485.
[56]
Peleg, D. and Schäffer, A.A., Graph spanners. J. Graph Theory. v13. 99-116.
[57]
An optimal synchronizer for the hypercube. In: Proc. 6th ACM Symposium on Principles of Distributed Computing, pp. 77-85.
[58]
Peleg, D. and Ullman, J.D., An optimal synchronizer for the hypercube. SIAM J. Comput. v18. 740-747.
[59]
Peleg, D. and Upfal, E., A tradeoff between space and efficiency for routing tables (extended abstract). In: STOC, ACM. pp. 43-52.
[60]
Prisner, E., Distance approximating spanning trees. In: Lecture Notes in Computer Science, vol. 1200. Springer, Berlin. pp. 499-510.
[61]
Additive tree spanners. SIAM J. Discrete Math. v17. 332-340.
[62]
Graph minors. II. Algorithmic aspects of tree-width. J. Algorithms. v7. 309-322.
[63]
Thorup, M. and Zwick, U., Approximate distance oracles. J. ACM. v52. 1-24.
[64]
Woodruff, D.P., Additive spanners in nearly quadratic time. In: Lecture Notes in Computer Science, vol. 6198. Springer, Berlin. pp. 463-474.
[65]
Yan, C., Xiang, Y. and Dragan, F.F., Compact and low delay routing labeling scheme for unit disk graphs. Comput. Geom. Theory Appl. v45. 305-325.

Cited By

View all
  1. Collective additive tree spanners of bounded tree-breadth graphs with generalizations and consequences

      Recommendations

      Comments

      Please enable JavaScript to view thecomments powered by Disqus.

      Information & Contributors

      Information

      Published In

      cover image Theoretical Computer Science
      Theoretical Computer Science  Volume 547, Issue
      August, 2014
      129 pages

      Publisher

      Elsevier Science Publishers Ltd.

      United Kingdom

      Publication History

      Published: 01 August 2014

      Author Tags

      1. Approximation algorithms
      2. Balanced separators
      3. Collective tree spanners
      4. Graph algorithms
      5. Robertson-Seymour's tree-decomposition
      6. Spanners of bounded tree-width
      7. Tree spanner problem

      Qualifiers

      • Article

      Contributors

      Other Metrics

      Bibliometrics & Citations

      Bibliometrics

      Article Metrics

      • Downloads (Last 12 months)0
      • Downloads (Last 6 weeks)0
      Reflects downloads up to 27 Feb 2025

      Other Metrics

      Citations

      Cited By

      View all

      View Options

      View options

      Figures

      Tables

      Media

      Share

      Share

      Share this Publication link

      Share on social media