Message terminating algorithms for anonymous rings of unknown size

Israel Cidon, Yuval Shavitt*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

Abstract

We consider a ring of an unknown number of anonymous processors. We focus on message terminating algorithms, i.e., algorithms that terminate when no more messages are present in the system but the processors may lack the ability to detect this situation. This paper addresses the design of deterministic and probabilistic algorithms that message terminate with the correct result. For this model we show: (i) A deterministic ring orientation algorithm that employs symmetry breaking link markings and requires O(n log2 n) bits for communication and O(n) time. A probabilistic Las-Vegas version of this algorithm (that requires no link markings) has the same average communication and time complexities, (ii) A probabilistic Las-Vegas algorithm for partitioning an even size ring into pairs that requires O(n log n) communication bits and time, (iii) The impossibility of computing (via a Las-Vegas algorithm) most functions (the class of nonsymmetric functions) including: leader election, XOR and finding the ring size. The same technique can be applied to prove the impossibility of partitioning an odd size ring into a maximal number of pairs.

Original languageEnglish
Pages (from-to)111-119
Number of pages9
JournalInformation Processing Letters
Volume54
Issue number2
DOIs
StatePublished - 28 Apr 1995
Externally publishedYes

Keywords

  • Algorithms
  • Anonymous rings
  • Message terminating algorithms
  • Orientation

Fingerprint

Dive into the research topics of 'Message terminating algorithms for anonymous rings of unknown size'. Together they form a unique fingerprint.

Cite this