Open Access 2021 | OriginalPaper | Chapter
Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy
Authors : A. R. Balasubramanian, Javier Esparza, Mikhail Raskin
Published in: Foundations of Software Science and Computation Structures
Publisher: Springer International Publishing
In rendez-vous protocols an arbitrarily large number of indistinguishable finite-state agents interact in pairs. The cut-off problem asks if there exists a number B such that all initial configurations of the protocol with at least B agents in a given initial state can reach a final configuration with all agents in a given final state. In a recent paper [17], Horn and Sangnier prove that the cut-off problem is equivalent to the Petri net reachability problem for protocols with a leader, and in for leaderless protocols. Further, for the special class of symmetric protocols they reduce these bounds to and , respectively. The problem of lowering these upper bounds or finding matching lower bounds is left open. We show that the cut-off problem is -complete for leaderless protocols, -complete for symmetric protocols with a leader, and in for leaderless symmetric protocols, thereby solving all the problems left open in [17].