All symmetric predicates in NSPACE(n2) are stably computable by the mediated population protocol model

  • Authors:

  • Ioannis Chatzigiannakis;Othon Michail;Stavros Nikolaou;Andreas Pavlogiannis;Paul G. Spirakis

  • Affiliations:

  • Research Academic Computer Technology Institute, Patras, Greece and Computer Engineering and Informatics Department, University of Patras;Research Academic Computer Technology Institute, Patras, Greece and Computer Engineering and Informatics Department, University of Patras;Computer Engineering and Informatics Department, University of Patras;Computer Engineering and Informatics Department, University of Patras;Research Academic Computer Technology Institute, Patras, Greece and Computer Engineering and Informatics Department, University of Patras

  • Venue:
  • MFCS'10 Proceedings of the 35th international conference on Mathematical foundations of computer science
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

This work focuses on the computational power of the Mediated Population Protocol model on complete communication graphs and initially identical edges (SMPP). In particular, we investigate the class MPS of all predicates that are stably computable by the SMPP model. It is already known that MPS is in the symmetric subclass of NSPACE(n2). Here we prove that this inclusion holds with equality, thus, providing the following exact characterization for MPS: A predicate is in MPS iff it is symmetric and is in NSPACE(n2).