Distributed Graph Augmentation Protocols to Achieve Strong Connectivity in Multi-Agent Networks

In multi-agent systems, strong connectivity of the communication network is often crucial for establishing consensus protocols, which underpin numerous applications in decision-making and distributed optimization. However, this connectivity requirement may not be inherently satisfied in geographically distributed settings. Consequently, we need to find the minimum number of communication links to add to make the communication network strongly connected. To date, such problems have been solvable only through centralized methods. This paper introduces a fully distributed algorithm that efficiently identifies an optimal set of edge additions to achieve strong connectivity, using only local information. The majority of the communication between agents is local (according to the digraph structure), with only a few steps requiring communication among non-neighboring agents to establish the necessary additional communication links. A comprehensive empirical analysis of the algorithm's performance on various random communication networks reveals its efficiency and scalability.