Leader Election Problem versus Pattern Formation Problem
Résumé
Leader election and arbitrary pattern formation are fundamental tasks for a set of autonomous mobile robots. The former consists in distinguishing a unique robot, called the leader. The latter aims in arranging the robots in the plane to form any given pattern. The solvability of both these tasks turns out to be necessary in order to achieve more complex tasks.
In this paper, we study the relationship between these two tasks in a model, called CORDA, wherein the robots are weak in several aspects. In particular, they are fully asynchronous and they have no direct means of communication. They cannot remember any previous observation nor computation performed in any previous step. Such robots are said to be oblivious. The robots are also uniform and anonymous, i.e, they all have the same program using no global parameter (such as an identity) allowing to differentiate any of them. Moreover, none of them share any kind of common coordinate mechanism or common sense of direction, except that they agree on a common handedness (chirality).
In such a system, Flochini et al. proved in [9] that it is possible to elect a leader for n ≥ 3 robots if it is possible to form any pattern for n ≥ 3. In this paper, we show that the converse is true for n ≥ 4 and thus, we deduce that both problems are equivalent for n ≥ 4 in CORDA provided the robots share the same chirality.