On the Computational Complexity of Gossip Protocols
On the Computational Complexity of Gossip Protocols
Krzysztof R. Apt, Eryk Kopczyński, Dominik Wojtczak
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
Main track. Pages 765-771.
https://doi.org/10.24963/ijcai.2017/106
Gossip protocols deal with a group of communicating agents, each holding a private information, and aim at arriving at a situation in which all the agents know each other secrets. Distributed epistemic gossip protocols are particularly simple distributed programs that use formulas from an epistemic logic. Recently, the implementability of these distributed protocols was established (which means that the evaluation of these formulas is decidable), and the problems of their partial correctness and termination were shown to be decidable, but their exact computational complexity was left open. We show that for any monotonic type of calls the implementability of a distributed epistemic gossip protocol is a P^{NP}_{||}-complete problem, while the problems of its partial correctness and termination are in coNP^{NP}.
Keywords:
Knowledge Representation, Reasoning, and Logic: Computational Complexity of Reasoning
Knowledge Representation, Reasoning, and Logic: Reasoning about Knowlege and Belief