A Faster Counting Protocol for Anonymous Dynamic Networks

TL;DR

This paper introduces an exponential-time distributed counting protocol for anonymous dynamic networks where nodes lack identifiers and topology changes arbitrarily, ensuring all nodes eventually learn the exact network size.

Contribution

It presents the first exponential-time counting protocol that guarantees termination and correctness in anonymous dynamic networks, improving upon previous heuristics and non-terminating algorithms.

Findings

Protocol guarantees exact network size knowledge.

Ensures all nodes terminate with the correct count.

Operates efficiently within exponential time bounds.

Abstract

We study the problem of counting the number of nodes in a slotted-time communication network, under the challenging assumption that nodes do not have identifiers and the network topology changes frequently. That is, for each time slot links among nodes can change arbitrarily provided that the network is always connected. Tolerating dynamic topologies is crucial in face of mobility and unreliable communication whereas, even if identifiers are available, it might be convenient to ignore them in massive networks with changing topology. Counting is a fundamental task in distributed computing since knowing the size of the system often facilitates the design of solutions for more complex problems. Currently, the best upper bound proved on the running time to compute the exact network size is double-exponential. However, only linear complexity lower bounds are known, leaving open the question of whether efficient Counting protocols for Anonymous Dynamic Networks exist or not. In this paper we make a significant step towards answering this question by presenting a distributed Counting protocol for Anonymous Dynamic Networks which has exponential time complexity. Our algorithm ensures that eventually every node knows the exact size of the system and stops executing the algorithm. Previous Counting protocols have either double-exponential time complexity, or they are exponential but do not terminate, or terminate but do not provide running-time guarantees, or guarantee only an exponential upper bound on the network size. Other protocols are heuristic and do not guarantee the correct count.