Imaginez que des puces aient été mises sur des pingouins.
Ajoutez une antenne.
Chaque fois qu'un pingouin passe près de l'antenne, sa puce
interagit avec l'antenne. Eventuellement, quand deux
pingouins s'approchent l'un de l'autre, leurs puces interagissent.
Les puces doivent être peu chères et minuscules, donc elles
auront peu de pouvoir de calcul, peu de mémoire et
pas d'identificateurs.
On souhaite compter les pingouins. On verra qu'un algo
simple et efficace existe mais qu'il nécessite de pouvoir
initialiser les valeurs des puces, ce qui n'est pas une hypothèse
forcément raisonnable. On cherchera alors s'il est possible
de compter nos pingouins en se passant de cette hypothèse.
Après une introduction au problème et à quelques définitions
classiques (équité, démon, round, ...), nous chercherons des
algorithmes de comptage. Nous verrons qu'il n'en existe pas toujours.
Nous tracerons la frontière entre les cas où un algo existe et ceux
où il n'en existe pas. Cela dépend essentiellement de 3 facteurs:
l'espace mémoire disponible, les hypothèses faites sur le démon
(l'adversaire imaginaire qui décide quelles rencontres vont avoir lieu) et la possibilité ou non d'avoir des interactions entre pingouins.