Optimal Time and Space Leader Election in Population Protocols
Association for Computing Machinery (ACM) via YouTube
Overview
Syllabus
Population Protocols & Leader Election
History of LE in Population Protocols
Synchronizing Population Protocols
Formal Synchronization Guarantees
Stage 1: DUAL EPIDEMIC SELECTION
Stage 2: EXPONENTIAL ELIMINATION 2
Stage 1: JUNTA ELECTION 1
StartDUAL EPIDEMIC SELECTION
Stage 2: EXPONENTIAL ELIMINATION 1 & 2
Stage 2: SLOW STABLE ELIMINATION
Analyzing the Expected Stabilization Time
Open Problems & Research Directions
Taught by
Association for Computing Machinery (ACM)