Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Stably computable properties of network graphs Dana Angluin

Summary: Stably computable properties of network graphs
Dana Angluin
James Aspnes
Melody Chan
Michael J. Fischer
Hong Jiang§
RenŽe Peralta
January 17, 2005
We consider a scenario in which anonymous, finite-state sensing devices are deployed in
an ad-hoc communication network of arbitrary size and unknown topology, and explore what
properties of the network graph can be stably computed by the devices. We show that they
can detect whether the network has degree bounded by a constant d, and, if so, organize a
computation that achieves asymptotically optimal linear memory use. We define a model of
stabilizing inputs to such devices and show that a large class of predicates of the multiset of
final input values are stably computable in any weakly-connected network. We also show that
nondeterminism in the transition function does not increase the class of stably computable
1 Introduction
In some applications, a large number of sensors will be deployed without fine control of their


Source: Aspnes, James - Department of Computer Science, Yale University


Collections: Computer Technologies and Information Sciences