Hostname: page-component-76fb5796d-wq484 Total loading time: 0 Render date: 2024-04-26T07:51:57.258Z Has data issue: false hasContentIssue false

Distributed Colouring and Communication in Rings with Local Knowledge

Published online by Cambridge University Press:  03 March 2004

ANDERS DESSMARK
Affiliation:
Department of Computer Science, Lund Institute of Technology, Box 118, S-22100 Lund, Sweden (e-mail: andersd@cs.lth.se)
ANDRZEJ PELC
Affiliation:
Département d'informatique, Université du Québec en Outaouais, Hull, Québec J8X 3X7, Canada (e-mail: pelc@uqo.ca)

Abstract

We consider two interrelated tasks in a synchronous $n$-node ring: distributed constant colouring and local communication. We investigate the impact of the amount of knowledge available to nodes on the time of completing these tasks. Every node knows the labels of nodes up to a distance $r$ from it, called the knowledge radius. In distributed constant colouring every node has to assign itself one out of a constant number of colours, so that adjacent nodes get different colours. In local communication every node has to communicate a message to both of its neighbours. We study these problems in two popular communication models: the one-way model, in which each node can only either transmit to one neighbour or receive from one neighbour, in any round, and the radio model, in which simultaneous receiving from two neighbours results in interference noise. Hence the main problem in fast execution of the above tasks is breaking symmetry with restricted knowledge of the ring.

We show that distributed constant colouring and local communication are tightly related and one can be used to accomplish the other. Also, in most situations the optimal time is the same for both of them, and it strongly depends on knowledge radius. For knowledge radius $r=0$, i.e., when each node knows only its own label, our bounds on time for both tasks are tight in both models: the optimal time in the one-way model is $\Theta(n)$, while in the radio model it is $\Theta(\log n)$. For knowledge radius $r=1$ both tasks can be accomplished in time $O(\log \log n)$ in the one-way model, if the ring is oriented. For $2 \leq r \leq c \log ^* n$, where $c < 1/2$, the upper bounds on time are $O(\log^{(2r)} n)$ in the one-way model and $O(\log ^{(2\lfloor r/2 \rfloor)} n)$ in the radio model; the lower bound is $\Omega (\log^* n)$, in both models. For $r \geq (\log^*n)/2$ both tasks can be completed in constant time, in the one-way model, and distributed constant colouring also in the radio model. Finally, if $r \geq \log^*n$ then constant time is also enough for local communication in the radio model.

Type
Paper
Copyright
2004 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)