Abstract
We present a novel distributed algorithm for the maximal independent set problem (This is an extended journal version of Schneider and Wattenhofer in Twenty-seventh annual ACM SIGACT-SIGOPS symposium on principles of distributed computing, 2008). On bounded-independence graphs our deterministic algorithm finishes in O(log* n) time, n being the number of nodes. In light of Linial’s Ω(log* n) lower bound our algorithm is asymptotically optimal. Furthermore, it solves the connected dominating set problem for unit disk graphs in O(log* n) time, exponentially faster than the state-of-the-art algorithm. With a new extension our algorithm also computes a δ + 1 coloring and a maximal matching in O(log* n) time, where δ is the maximum degree of the graph.
Similar content being viewed by others
References
Alon N., Babai L., Itai A.: A fast and simple randomized parallel algorithm for the maximal independent set problem. J. Algorithms 7(4), 567–583 (1986)
Alzoubi K., Li X., Wang Y., Wan P., Frieder O.: Geometric spanners for wireless ad hoc Networks. IEEE Trans. Parallel Distributed Syst. 14(5), 408–421 (2003)
Andersson A., Hagerup T., Nilsson S., Raman R.: Sorting in linear time. J. Comput. Syst. Sci. 57, 74–93 (1998)
Awerbuch, B., Goldberg, A.V., Luby, M., Plotkin, S.A.: Network decomposition and locality in distributed computation. In: Proceedings of the 30th Symposium on Foundations of Computer Science (FOCS), pp. 364–369 (1989)
Awerbuch, B., Varghese, G.: Distributed program checking: a paradigm for building self-stabilizing distributed protocols. In: Proceedings of the 32nd Annual Symposium on Foundations of Computer Science (FOCS) (1991)
Barenhoim, L., Elkin, M.: Sublogarithmic Distributed MIS Algorithm for Sparse Graphs using Nash-Williams Decomposition. In: Journal of Distributed Computing Special Issue of selected papers from PODC 2008 (2010)
Bonorden, O., Degener, B., Kempkes, B., Pietrzyk, P.: Complexity and approximation of a geometric local robot assignment problem. In: ALGOSENSORS (2009)
Cole R., Vishkin U.: Deterministic coin tossing with applications to optimal parallel list ranking. Inf. Control 70(1), 32–54 (1986)
Czygrinow, A., Hanckowiak, M., Wawrzyniak, W.: Fast distributed approximations in planar graphs. In: DISC (2008)
Gfeller, B., Vicari, E.: A randomized distributed algorithm for the maximal independent set problem in growth-bounded graphs. In: Proceedings of the 26th ACM Symposium on Principles of Distributed Computing (PODC) (2007)
Goldberg A., Plotkin S., Shannon G.: Parallel symmetry-breaking in sparse graphs. SIAM J. Discrete Math.(SIDMA) 1(4), 434–446 (1988)
Israeli A., Itai A.: A fast and simple randomized parallel algorithm for maximal matching. Inf. Process. Lett. 22, 77–80 (1986)
Kuhn, F., Moscibroda, T., Nieberg, T., Wattenhofer, R.: Fast deterministic distributed maximal independent set computation on growth-bounded graphs. In: Proceedings of the 19th International Symposium on Distributed Computing (DISC) (2005)
Kuhn, F., Moscibroda, T., Nieberg, T., Wattenhofer, R.: Local approximation schemes for ad hoc and sensor networks. In: Proceedings of the 3rd ACM Joint Workshop on Foundations of Mobile Computing (DIALM-POMC) (2005)
Kuhn, F., Moscibroda, T., Wattenhofer, R.: On the locality of bounded growth. In: Proceedings of the 24th ACM Symposium on Principles of Distributed Computing (PODC), pp. 60–68 (2005)
Kuhn, F., Moscibroda, T., Wattenhofer, R.: What cannot be computed locally! In: Proceedings of the 23rd ACM Symposium on Principles of Distributed Computing (PODC), pp. 300–309 (2005)
Lenzen, C., Wattenhofer, R.: Leveraging linial’s locality limit. In: 22nd International Symposium on Distributed Computing (DISC) September (2008)
Linial N.: Locality in distributed graph algorithms. SIAM J. Comput. 21(1), 193–201 (1992)
Luby M.: A simple parallel algorithm for the maximal independent set problem. SIAM J. Comput. 15, 1036–1053 (1986)
Panconesi, A., Srinivasan, A.: Improved distributed algorithms for coloring and network decomposition problems. In: Proceedings of the 24th Annual ACM Symposium on Theory of Computing (STOC), pp. 581–592. ACM Press (1992)
Pandit, S., Pemmaraju, S.: Finding facilities fast. In: Proceedings of the 10th International Conference on Distributed Computing and Networking (ICDCN) (2009)
Pirwani, I.A., Salavatipour, M.R.: A ptas for minimum clique partition in unit disk graphs. CoRR (2009)
Schneider J., Wattenhofer, R.: A log-star distributed maximal independent set algorithm for growth-bounded graphs. In: 27th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, August (2008)
Schneider, J., Wattenhofer, R.: Coloring unstructured wireless multi-hop networks. In: Proceedings of the 28th ACM Symposium on Principles of Distributed Computing (PODC) (2009)
Sterling, A.: Self-assembling systems are distributed systems. CoRR (2009)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Schneider, J., Wattenhofer, R. An optimal maximal independent set algorithm for bounded-independence graphs. Distrib. Comput. 22, 349–361 (2010). https://doi.org/10.1007/s00446-010-0097-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00446-010-0097-1