skip to main content
article

Distributed minimum dominating set approximations in restricted families of graphs

Published: 01 April 2013 Publication History

Abstract

A dominating set is a subset of the nodes of a graph such that all nodes are in the set or adjacent to a node in the set. A minimum dominating set approximation is a dominating set that is not much larger than a dominating set with the fewest possible number of nodes. This article summarizes the state-of-the-art with respect to finding minimum dominating set approximations in distributed systems, where each node locally executes a protocol on its own, communicating with its neighbors in order to achieve a solution with good global properties. Moreover, we present a number of recent results for specific families of graphs in detail. A unit disk graph is given by an embedding of the nodes in the Euclidean plane, where two nodes are joined by an edge exactly if they are in distance at most one. For this family of graphs, we prove an asymptotically tight lower bound on the trade-off between time complexity and approximation ratio of deterministic algorithms. Next, we consider graphs of small arboricity, whose edge sets can be decomposed into a small number of forests. We give two algorithms, a randomized one excelling in its approximation ratio and a uniform deterministic one which is faster and simpler. Finally, we show that in planar graphs, which can be drawn in the Euclidean plane without intersecting edges, a constant approximation factor can be ensured within a constant number of communication rounds.

References

[1]
Alon, N., Babai, L., Itai, A.: A fast and simple randomized parallel algorithm for the maximal independent set problem. J. Algorithm 7(4), 567---583 (1986)
[2]
Awerbuch, B.: Complexity of network synchronization. JACM 32(4), 804---823 (1985)
[3]
Awerbuch, B., Sipser, M.: Dynamic networks are as fast as static networks. In: Proceedings 29th Symposium on Foundations of Computer Science (FOCS), pp. 206---219 (1988)
[4]
Barenboim, L., Elkin, M.: Distributed ($$\Delta +1$$)-coloring in linear (in $$\Delta $$) time. In: Proceedings 41st Symposium on Theory of Computing (STOC), pp. 111---120 (2009)
[5]
Basagni, S.: Distributed clustering for ad hoc networks. In:Proceedings Fourth International Symposium on Parallel Architectures, Algorithms, and Networks (ISPAN), p. 310 (1999)
[6]
Chan, H., Luk, M., Perrig, A.: Usingclustering information for sensor network localization. In: Proceedings Conference on Distributed Computing in Sensor Systems (DCOSS), pp. 109---125 (2005)
[7]
Clark, B., Colbourn, C., Johnson, D.: Unit disk graphs. Discret Math 86(1), 165---177 (1990)
[8]
Czygrinow, A., Hańćkowiak, M.: Distributed almost exact approximations for minor-closed families. In: Proceedings 14th European Symposium on Algorithms (ESA), pp. 244---255 (2006)
[9]
Czygrinow, A., Hanckowiak, M.: Distributed approximation algorithms for weighted problems in minor-closed families. In: Proceedings 13th Computing and Combinatorics Conference (COCOON), pp. 515---525 (2007)
[10]
Czygrinow, A., Hańćkowiak, M., Wawrzyniak, W.: Fast distributed approximations in planar graphs. In: Proceedings 22nd Symposium on Distributed Computing (DISC), pp. 78---92 (2008)
[11]
Deb, B., Nath, B.: On the node-scheduling approach to topology control in ad hoc networks. In: Proceedings 6th Symposium on Mobile ad hoc Networking and Computing, pp. 14---26. ACM (2005)
[12]
Deo, N., Litow, B.: A structural approach to graph compression. In: Proceedings 23rd Symposium on Mathematical Foundations of Computer Science (MFCS), pp. 91---101 (1998)
[13]
Diestel, R.: Graph theory. Graduate Texts in Mathematics, vol. 173. Springer, Heidelberg (2010). ISBN 978-3-642-14278-9
[14]
Dijkstra, E.W.: Self-stabilizing systems in spite of distributed control. Commun. ACM 17(11), 643---644 (1974)
[15]
Funke, S., Kesselman, A., Kuhn, F., Lotker, Z., Segal, M.: Improved approximation algorithms for connected sensor cover. Wirel. netw. 13(2), 153---164 (2007)
[16]
Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. Freeman, New York (1979)
[17]
Gfeller, B., Vicari, E.: A faster distributed approximation scheme for the connected dominating det problem for growth-bounded graphs. In: Proceedings 6th Conference on Ad-hoc, Mobile and Wireless Networks, pp. 59---73. Springer (2007)
[18]
Gupta, H., Navda, V., Das, S., Chowdhary, V.: Efficient gathering of correlated data in sensor networks. ACM Trans. Sens. Netw. (TOSN) 4(1), 4 (2008)
[19]
Heinzelman, W., Chandrakasan, A., Balakrishnan, H.: Energy-efficient communication protocol for wireless microsensor networks. In: Proceedings 33rd Hawaii Conference on System Sciences, p. 10 (2002)
[20]
Islam, K., Akl, S., Meijer, H.: Distributed generation of a family of connected dominating sets in wireless sensor networks. In: Proceedings 5th Conference on Distributed Computing in Sensor Systems (DCOSS), pp. 343---355. Springer (2009)
[21]
Israeli, A., Itai, A.: A fast and simple randomized parallel algorithm for maximal matching. Inf. Process. Lett. 22(2), 77---80 (1986)
[22]
Johnson, D.: Approximation algorithms for combinatorial problems. J. Comput. Syst. Sci. 9(3), 256---278 (1974)
[23]
Jurdzinski, T., Stachowiak, G.: Probabilistic algorithms for the wake-up problem in single-hop radio networks. Theory Comput. Syst. 38(3), 347---367 (2005)
[24]
Kuhn, F., Moscibroda, T.: Distributed approximation of capacitated dominating sets. In: Proceedings of the nineteenth annual ACM symposium on Parallel algorithms and architectures, pp. 161---170. ACM (2007)
[25]
Kuhn, F., Moscibroda, T., Wattenhofer, R.: Unit disk graph approximation. In: Proceedings 2nd Workshop on Foundations of Mobile Computing (DIALM-POMC), pp. 17---23 (2004)
[26]
Kuhn, F., Moscibroda, T., Wattenhofer, R.: Local computation: lower and upper bounds. CoRR abs/1011.5470 (2010)
[27]
Kuhn, F., Wattenhofer, R.: Constant-time distributed dominating set approximation. Distrib. Comput. 17(4), 303---310 (2005)
[28]
Lenzen, C., Oswald, Y.A., Wattenhofer, R.: What can be approximated locally? Case study: dominating sets in planar graphs. In: Proceedings 20th Symposium on Parallelism in Algorithms and Architectures (SPAA), pp. 4---54 (2008)
[29]
Lenzen, C., Pignolet, Y.A., Wattenhofer, R.: What can be approximated locally? Case study: dominating sets in planar graphs. Tech. rep., ETH Zurich (2010). ftp.tik.ee.ethz.ch/pub/publications/TIK-Report-331.pdf
[30]
Lenzen, C., Wattenhofer, R.: Leveraging linial's locality limit. In: Proceedings 22nd Symposium on Distributed Computing (DISC), pp. 394---407 (2008)
[31]
Lenzen, C., Wattenhofer, R.: Minimum dominating set approximation in graphs of bounded arboricity. In: Proceedings 24th Symposium on Distributed Computing (DISC), pp. 510---524 (2010)
[32]
Linial, N.: Locality in distributed graph algorithms. SIAM J. Comput. 21(1), 193---201 (1992)
[33]
Luby, M.: A simple parallel algorithm for the maximal independent set problem. SIAM J. Comput. 15(4), 1036---1055 (1986)
[34]
Malkevitch, J.: The first proof of Euler's formula. Mitt. Math. Sem. Giessen (165) (1984)
[35]
Marathe, M., Breu, H., Ravi, S.S., Rosenkrantz, D.J.: Simple heuristics for unit disk graphs. J. Netw. 25, 59---68 (1995)
[36]
Métivier, Y., Robson, J.M., Saheb Djahromi, N., Zemmari, A.: An optimal bit complexity randomised distributed MIS algorithm. In: Proceedings 16th Colloquium on Structural Information and Communication Complexity (SIROCCO), pp. 1---15 (2009)
[37]
Moscibroda, T., Wattenhofer, R.: Maximal independent sets in radio networks. In: Proceedings 24th Symposium on the Principles of Distributed Computing (PODC), Las Vegas, Nevada, USA (2005)
[38]
Naor, M.: A lower bound on probabilistic algorithms for distributive ring coloring. SIAM J. Discret. Math. 4(3), 409---412 (1991)
[39]
Panconesi, A., Srinivasan, A.: On the complexity of distributed network decomposition. J. Algorithms 20(2), 356---374 (1996)
[40]
Peleg, D.: Distributed Computing: A Locality-Sensitive Approach. Society for Industrial and, Applied Mathematics (2000)
[41]
Raz, R., Safra, S.: A sub-constant error-probability low-degree test, and a sub-constant error-probability PCP characterization of NP. In: Proceedings 29th Symposium on Theory of Computing (STOC), pp. 475---484 (1997)
[42]
Schneider, J., Wattenhofer, R.: A log-star distributed maximal independent set algorithm for growth-bounded graphs. In: Proceedings 27th Symposium on Principles of Distributed Computing (PODC), pp. 35---44 (2008)
[43]
Schneider, J., Wattenhofer, R.: What Is the use of collision detection (in Wireless Networks)? In: Proceedings 24th Symposium on, Distributed Computing (2010)
[44]
Slavík, P.: A tight analysis of the greedy algorithm for set cover. In: Proceedings of the twenty-eighth annual ACM symposium on Theory of computing, pp. 435---441. ACM (1996)
[45]
Wagner, K.: Über eine Eigenschaft der ebenen Komplexe. Mathematische Annalen 114(1), 570---590 (1937)
[46]
Wan, P., Alzoubi, K., Frieder, O.: Distributed construction of connected dominating set in wireless ad hoc networks. In: Proceedings Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies (INFOCOM), vol. 3, pp. 1597---1604. IEEE (2002)
[47]
Wang, Y., Wang, W., Li, X.: Distributed low-cost backbone formation for wireless ad hoc networks. In: Proceedings 6th Symposium on Mobile ad hoc Networking and Computing, pp. 2---13. ACM (2005)
[48]
Wiese, A., Kranakis, E.: Local PTAS for Dominating and Connected Dominating Set in Location Aware Unit Disk Graphs. Approximation and Online Algorithms pp. 227---240 (2009)
[49]
Wu, J., Gao, M., Stojmenovic, I.: On calculating power-aware connected dominating sets for efficient routing in ad hoc wireless networks. In: International Conference on Parallel Processing (ICPP), p. 0346 (2001)
[50]
Wu, Y., Li, Y.: Construction algorithms for k-connected m-dominating sets in wireless sensor networks. In: Proceedings 9th Symposium on Mobile ad hoc Networking and Computing,break pp. 83---90. ACM (2008)
[51]
Yao, A.: Some complexity questions related to distributive computing (preliminary report). In: Proceedings of the eleventh annual ACM symposium on Theory of computing, pp. 209---213. ACM (1979)

Cited By

View all
  1. Distributed minimum dominating set approximations in restricted families of graphs

      Recommendations

      Comments

      Information & Contributors

      Information

      Published In

      cover image Distributed Computing
      Distributed Computing  Volume 26, Issue 2
      April 2013
      61 pages

      Publisher

      Springer-Verlag

      Berlin, Heidelberg

      Publication History

      Published: 01 April 2013

      Author Tags

      1. Bounded arboricity
      2. Lower bound
      3. Planar
      4. Unit disk
      5. Upper bound

      Qualifiers

      • Article

      Contributors

      Other Metrics

      Bibliometrics & Citations

      Bibliometrics

      Article Metrics

      • Downloads (Last 12 months)0
      • Downloads (Last 6 weeks)0
      Reflects downloads up to 03 Jan 2025

      Other Metrics

      Citations

      Cited By

      View all

      View Options

      View options

      Media

      Figures

      Other

      Tables

      Share

      Share

      Share this Publication link

      Share on social media