1
Fork 0
mirror of https://github.com/Steffo99/appunti-magistrali.git synced 2024-11-28 04:44:19 +00:00
appunti-steffo/9 - Algoritmi distribuiti/3 - Computazione distribuita/5 - Algoritmi di leader election/Angluin 1980.md

15 lines
No EOL
372 B
Markdown

[[Teorema]].
# Tesi
La [[leader election]] è irrisolvibile senza [[identificatori univoci]].
## Dimostrazione
In un [[sistema distribuito]] si hanno due [[entità]] senza [[identificatori univoci|identificatore univoco]].
Qualsiasi cosa avvenga a una, avverrà anche all'altra.
La simmetria non si può rompere.
Se una diventa leader, diventa leader anche l'altra.