The Computational Power of Simple Protocols for Self-awareness on Graphs

  • Ioannis Chatzigiannakis
  • Othon Michail
  • Stavros Nikolaou
  • Paul G. Spirakis
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6976)

Abstract

We explore the capability of a network of extremely limited computational entities to decide properties about any of its subnetworks. We consider that the underlying network of the interacting entities (devices, agents, processes etc.) is modeled by a complete interaction graph and we devise simple graph protocols that can decide properties of some input subgraph provided by some preprocessing on the network. The agents are modeled as finite-state automata and run the same global graph protocol. Each protocol is a fixed size grammar, that is, its description is independent of the size (number of agents) of the network. This size is not known by the agents. We propose a simple model, the Mediated Graph Protocol (MGP) model, similar to the Population Protocol model of Angluin et al., in which each network link is characterized by a state taken from a finite set. This state can be used and updated during each interaction between the corresponding agents. We provide some interesting properties of the MGP model among which is the ability to decide properties on stabilizing (initially changing for a finite number of steps) input graphs and we show that the MGP model has the ability to decide properties of disconnected input graphs. We show that the computational power within the connected components is fairly restricted. Finally, we give an exact characterization of the class GMGP, of graph languages decidable by the MGP model: it is equal to the class of graph languages decidable by a nondeterministic Turing Machine of linear space that receives its input graph by its adjacency matrix representation.

Keywords

Overlay Network Input Graph Interaction Graph Graph Property Leader Election 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Àlvarez, C., Chatzigiannakis, I., Duch, A., Gabarró, J., Michail, O., Maria, S., Spirakis, P.G.: Computational models for networks of tiny artifacts: A survey. Computer Science Review, 5(1) (January 2011)Google Scholar
  2. 2.
    Angluin, D., Aspnes, J., Chan, M., Fischer, M.J., Jiang, H., Peralta, R.: Stably computable properties of network graphs. In: Prasanna, V.K., Iyengar, S.S., Spirakis, P.G., Welsh, M. (eds.) DCOSS 2005. LNCS, vol. 3560, pp. 63–74. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  3. 3.
    Angluin, D., Aspnes, J., Diamadi, Z., Fischer, M.J., Peralta, R.: Computation in networks of passively mobile finite-state sensors. Distributed Computing, 235–253 (March 2006)Google Scholar
  4. 4.
    Angluin, D., Aspnes, J., Eisenstat, D., Ruppert, E.: The computational power of population protocols. Distributed Computing 20(4), 279–304 (2007)CrossRefMATHGoogle Scholar
  5. 5.
    Aspnes, J., Ruppert, E.: An introduction to population protocols. Bulletin of the EATCS 93, 98–117 (2007)MathSciNetMATHGoogle Scholar
  6. 6.
    Chatzigiannakis, I., Michail, O., Nikolaou, S., Pavlogiannis, A., Spirakis, P.G.: All symmetric predicates in NSPACE(n 2) are stably computable by the mediated population protocol model. In: Hliněný, P., Kučera, A. (eds.) MFCS 2010. LNCS, vol. 6281, pp. 270–281. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  7. 7.
    Chatzigiannakis, I., Michail, O., Spirakis, P.G.: Mediated population protocols. In: Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S., Thomas, W. (eds.) ICALP 2009. LNCS, vol. 5556, pp. 363–374. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  8. 8.
    Chatzigiannakis, I., Michail, O., Spirakis, P.G.: Stably decidable graph languages by mediated population protocols. In: Dolev, S., Cobb, J., Fischer, M., Yung, M. (eds.) SSS 2010. LNCS, vol. 6366, pp. 252–266. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  9. 9.
    Fischer, M., Jiang, H.: Self-stabilizing leader election in networks of finite-state anonymous agents. In: Shvartsman, M.M.A.A. (ed.) OPODIS 2006. LNCS, vol. 4305, pp. 395–409. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  10. 10.
    Ginsburg, S., Spanier, E.H.: Semigroups, presburger formulas, and languages. Pacific Journal of Mathematics 16, 285–296 (1966)MathSciNetCrossRefMATHGoogle Scholar
  11. 11.
    Michail, O., Chatzigiannakis, I., Spirakis, P.G.: Mediated population protocols. Theor. Comput. Sci. 412, 2434–2450 (2011)MathSciNetCrossRefMATHGoogle Scholar
  12. 12.
    Michail, O., Chatzigiannakis, I., Spirakis, P.G.: New Models for Population Protocols. In: Lynch, N.A. (ed.) Synthesis Lectures on Distributed Computing Theory. Morgan & Claypool (2011)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Ioannis Chatzigiannakis
    • 1
    • 2
  • Othon Michail
    • 1
  • Stavros Nikolaou
    • 1
    • 2
  • Paul G. Spirakis
    • 1
    • 2
  1. 1.Research Academic Computer Technology Institute (CTI)PatrasGreece
  2. 2.Computer Engineering and Informatics Department (CEID)University of PatrasGreece

Personalised recommendations