A Self-Stabilizing O(k)-Time k-Clustering Algorithm
Anwitaman Datta, Lawrence L. Larmore, Praveen Kumar Vemula · The Computer Journal · 2009
A silent self-stabilizing asynchronous distributed algorithm is given for constructing a k-dominating set, and hence a k-clustering, of a connected network of processes with unique IDs and no designated leader. The algorithm is comparison-based, takes O(k) time and uses O(k log n) space per process, where n is the size of the network. It is known that finding a minimum k-dominating set is 𝒩𝒫-hard. A lower bound is given, showing that any comparison-based algorithm for the k-clustering problem that produces clusters of average size more than 2 in the worst case takes Ω(diam) time, where diam is the diameter of the network.