Advertisement

An Optimal Bit Complexity Randomized Distributed MIS Algorithm (Extended Abstract)

  • Métivier Yves
  • John Michael Robson
  • Saheb-Djahromi Nasser
  • Akka Zemmari
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5869)

Abstract

We present a randomized distributed maximal independent set (MIS) algorithm for arbitrary graphs of size n that halts in time O(logn) with probability 1 − o(n − 1), each message containing 1 bit: thus its bit complexity per channel is O(logn) (the bit complexity is the number of bits we need to solve a distributed task, it measures the communication complexity). We assume that the graph is anonymous: unique identities are not available to distinguish the processes; we only assume that each vertex distinguishes between its neighbours by locally known channel names. Furthermore we do not assume that the size (or an upper bound on the size) of the graph is known. This algorithm is optimal (modulo a multiplicative constant) for the bit complexity and improves the best previous randomized distributed MIS algorithms (deduced from the randomized PRAM algorithm due to Luby [Lub86]) for general graphs which is O(log2 n) per channel (it halts in time O(logn) and the size of each message is logn). This result is based on a powerful and general technique for converting unrealistic exchanges of messages containing real numbers drawn at random on each vertex of a network into exchanges of bits. Then we consider a natural question: what is the impact of a vertex inclusion in the MIS on distant vertices? We prove that this impact vanishes rapidly as the distance grows for bounded-degree vertices. We provide a counter-example that shows this result does not hold in general. We prove also that these results remain valid for Luby’s algorithm presented by Lynch [Lyn96] and by Wattenhofer [Wat07]. This question remains open for the variant given by Peleg [Pel00].

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [ABI86]
    Alon, N., Babai, L., Itai, A.: A fast and simple randomized parallel algorithm for the maximal independent set. Journal of Algorithms 7(4), 567–583 (1986)MathSciNetCrossRefzbMATHGoogle Scholar
  2. [AGLP89]
    Awerbuch, B., Goldberg, A.V., Luby, M., Plotkin, S.A.: Network decomposition and locality in distributed computation. In: Proceedings of the 30th ACM Symposium on FOCS, pp. 364–369. ACM Press, New York (1989)Google Scholar
  3. [BMW94]
    Bodlaender, H.L., Moran, S., Warmuth, M.K.: The distributed bit complexity of the ring: from the anonymous case to the non-anonymous case. Information and computation 114(2), 34–50 (1994)CrossRefzbMATHGoogle Scholar
  4. [DMR08]
    Dinitz, Y., Moran, S., Rajsbaum, S.: Bit complexity of breaking and achieving symmetry in chains and rings. Journal of the ACM 55(1) (2008)Google Scholar
  5. [Gho06]
    Ghosh, S.: Distributed systems - An algorithmic approach. CRC Press, Boca Raton (2006)CrossRefzbMATHGoogle Scholar
  6. [KMNW05]
    Kuhn, F., Moscibroda, T., Nieberg, T., Wattenhofer, R.: Fast deterministic distributed maximal independent set computation on growth-bounded graphs. In: Fraigniaud, P. (ed.) DISC 2005. LNCS, vol. 3724, pp. 273–287. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  7. [KMW04]
    Kuhn, F., Moscibroda, T., Wattenhofer, R.: What cannot be computed locally! In: Proceedings of the 24 Annual ACM Symposium on Principles of Distributed Computing (PODC), pp. 300–309 (2004)Google Scholar
  8. [KN99]
    Kushilevitz, E., Nisan, N.: Communication complexity. Cambridge University Press, Cambridge (1999)zbMATHGoogle Scholar
  9. [KOSS06]
    Kothapalli, K., Onus, M., Scheideler, C., Schindelhauer, C.: Distributed coloring in o/spl tilde/(/spl radic/(log n)) bit rounds. In: Proceedings of 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Rhodes Island, Greece, April 25-29. IEEE, Los Alamitos (2006)Google Scholar
  10. [KW84]
    Karp, R.M., Widgerson, A.: A fast parallel algorithm for the maximal independent set problem. In: Proceedings of the 16th ACM Symposium on Theory of computing (STOC), pp. 266–272. ACM Press, New York (1984)Google Scholar
  11. [KW06]
    Kuhn, F., Wattenhofer, R.: On the complexity of distributed graph coloring. In: Proceedings of the 25 Annual ACM Symposium on Principles of Distributed Computing (PODC), pp. 7–15. ACM Press, New York (2006)Google Scholar
  12. [Lin92]
    Linial, N.: Locality in distributed graph algorithms. SIAM J. Comput. 21, 193–201 (1992)MathSciNetCrossRefzbMATHGoogle Scholar
  13. [Lub86]
    Luby, M.: A simple parallel algorithm for the maximal independent set problem. SIAM J. Comput. 15, 1036–1053 (1986)MathSciNetCrossRefzbMATHGoogle Scholar
  14. [Lyn96]
    Lynch, N.A.: Distributed algorithms. Morgan Kaufmann, San Francisco (1996)zbMATHGoogle Scholar
  15. [MW05]
    Moscibroda, T., Wattenhofer, R.: Maximal independent set in radio networks. In: Proceedings of the 25 Annual ACM Symposium on Principles of Distributed Computing (PODC), pp. 148–157. ACM Press, New York (2005)Google Scholar
  16. [NS95]
    Naor, M., Stockmeyer, L.J.: What can be computed locally? SIAM J. Comput. 24(6), 1259–1277 (1995)MathSciNetCrossRefzbMATHGoogle Scholar
  17. [Pel00]
    Peleg, D.: Distributed computing - A Locality-sensitive approach. SIAM Monographs on discrete mathematics and applications (2000)Google Scholar
  18. [San07]
    Santoro, N.: Design and analysis of distributed algorithms. Wiley, Chichester (2007)zbMATHGoogle Scholar
  19. [Tel00]
    Tel, G.: Introduction to distributed algorithms. Cambridge University Press, Cambridge (2000)CrossRefzbMATHGoogle Scholar
  20. [Wat07]
  21. [Yao79]
    Yao, A.C.: Some complexity questions related to distributed computing. In: Proceedings of the 11th ACM Symposium on Theory of computing (STOC), pp. 209–213. ACM Press, New York (1979)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Métivier Yves
    • 1
  • John Michael Robson
    • 1
  • Saheb-Djahromi Nasser
    • 1
  • Akka Zemmari
    • 1
  1. 1.LaBRIUniversité de Bordeaux, CNRSTalenceFrance

Personalised recommendations