## Abstract

In an "anonymous" network the processors have no identity numbers. We investigate the problem of computing a given function f on an asynchronous anonymous network in the sense that each processor computes f (I) for any input I = (I(υ_{1}), . . . , I(υ_{n})), where I(υ_{i}) is the input to processor υ_{i}, i = 1, 2, . . . , n. We address the following three questions: (1) What functions are computable on a given network? (2) Is there a "universal" algorithm which, given any network G and any function f computable on G as inputs, computes f on G? (3) How can one find lower bounds on the message complexity of computing various functions on anonymous networks? We give a necessary and sufficient condition for a function to be computable on an asynchronous anonymous network, and present a universal algorithm for computing f(I) on any network G, which accepts G and f computable on G, as well as {I(υ_{i})}, as inputs. The universal algorithm requires O(mn) messages in the worst case, where n and m are the numbers of processors and links in the network, respectively. We also propose a method for deriving a lower bound on the number of messages necessary to solve the above problem on asynchronous anonymous networks.

Original language | English |
---|---|

Pages (from-to) | 331-356 |

Number of pages | 26 |

Journal | Mathematical Systems Theory |

Volume | 29 |

Issue number | 4 |

Publication status | Published - Jul 1996 |

Externally published | Yes |

## All Science Journal Classification (ASJC) codes

- Theoretical Computer Science
- General Mathematics
- Computational Theory and Mathematics