How to Prove Impossibility Under Global Fairness: On Space Complexity of Self-Stabilizing Leader Election on a Population Protocol Model

2011 ◽  
Vol 50 (3) ◽  
pp. 433-445 ◽  
Author(s):  
Shukai Cai ◽  
Taisuke Izumi ◽  
Koichi Wada
Keyword(s):  
Leader Election ◽  
Space Complexity ◽  
Population Protocol ◽  
Global Fairness

On space complexity of self-stabilizing leader election in mediated population protocol

2012 ◽  
Vol 25 (6) ◽  
pp. 451-460 ◽  
Author(s):  
Ryu Mizoguchi ◽  
Hirotaka Ono ◽  
Shuji Kijima ◽  
Masafumi Yamashita
Keyword(s):  
Leader Election ◽  
Space Complexity ◽  
Population Protocol

scholarly journals Leader Election Requires Logarithmic Time in Population Protocols

2020 ◽  
Vol 30 (01) ◽  
pp. 2050005 ◽  
Author(s):  
Yuichi Sudo ◽  
Toshimitsu Masuzawa
Keyword(s):  
Lower Bound ◽  
High Probability ◽  
Leader Election ◽  
Stabilization Time ◽  
Population Protocols ◽  
Population Protocol ◽  
Time Optimal ◽  
Exact Size

This paper shows that every leader election protocol requires logarithmic stabilization time both in expectation and with high probability in the population protocol model. This lower bound holds even if each agent has knowledge of the exact size of a population and is allowed to use an arbitrarily large number of agent states. This lower bound concludes that the protocol given in [Sudo et al., SSS 2019] is time-optimal in expectation.

scholarly journals Logarithmic Expected-Time Leader Election in Population Protocol Model

2019 ◽  
pp. 323-337 ◽  
Author(s):  
Yuichi Sudo ◽  
Fukuhito Ooshita ◽  
Taisuke Izumi ◽  
Hirotsugu Kakugawa ◽  
Toshimitsu Masuzawa
Keyword(s):  
Leader Election ◽  
Expected Time ◽  
Population Protocol

scholarly journals Loosely-stabilizing leader election in a population protocol model

2012 ◽  
Vol 444 ◽  
pp. 100-112 ◽  
Author(s):  
Yuichi Sudo ◽  
Junya Nakamura ◽  
Yukiko Yamauchi ◽  
Fukuhito Ooshita ◽  
Hirotsugu Kakugawa ◽  
...  
Keyword(s):  
Leader Election ◽  
Population Protocol

Loosely-Stabilizing Leader Election in Population Protocol Model

2010 ◽  
pp. 295-308 ◽  
Author(s):  
Yuichi Sudo ◽  
Junya Nakamura ◽  
Yukiko Yamauchi ◽  
Fukuhito Ooshita ◽  
Hirotsugu Kakugawa ◽  
...  
Keyword(s):  
Leader Election ◽  
Population Protocol
Sign in / Sign up

Export Citation Format

Share Document