The Computational Power of Simple Protocols for Self-awareness on Graphs
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.
KeywordsOverlay Network Input Graph Interaction Graph Graph Property Leader Election
Unable to display preview. Download preview PDF.
- 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
- 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
- 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
- 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