Complexité de l'élection: méthodes d'analyse d'algorithmes distribués

International audienceL'élection sur les anneaux a déjà donné lieu à quantités de recherches, tant dans le cas où les processus sont tous distingués par leurs identités («anneaux avec identités») que dans celui où ils sont sans identités, indiscernables («anneaux anonymes»). On sait également différencier les classes d'anneaux selon des critères pertinents du point de vue de la complexité en communication des algorithmes, i.e. anneaux synchrones ou asynchrones mais aussi anneaux avec ou sans information structurelle («sens de la direction», connaissance exacte ou approchée de la taille de l'anneau, etc.) ― tous types de connaissance à même d'améliorerconsidérablement la complexité de bien des algorithmes distribués. Cette synthèse tente de montrer que presque tous les problèmes fondamentaux se posant en algorithmique distribuée apparaissent déjà clairement dans le simple cas de l'élection sur des anneaux. Elle constitue également une tentative pour faire le point sur les diverses méthodes d'analyse de complexité des algorithmes d'élection, en particulier les méthodes probabiliste