Lower Bounds on the State Complexity of Population Protocols.

Philipp Czerner Javier Esparza

Published in: PODC (2021)

Keyphrases

lower bound
upper bound
branch and bound
complexity measures
state space
worst case
neural network
constraint satisfaction problems
branch and bound algorithm
optimal solution
search algorithm
concurrency control
population size
online algorithms