Nearly linear time minimum spanning tree maintenance for transient node failures

Abstract

Given a 2-node connected, real weighted, and undirected graph G=(V,E), with n nodes and m edges, and given a minimum spanning tree (MST) T=(V,E_T) of G, we study the problem of finding, for every node v ε V, a set of replacement edges which can be used for constructing an MST of G-v (i.e., the graph G deprived of v and all its incident edges). We show that this problem can be solved on a pointer machine in script O sign (m · α(m,n)) time and script O sign (m) space, where α is the functional inverse of Ackermann's function. Our solution improves over the previously best known script O sign (m · α(n,n), m + n log n}) time bound, and allows us to close the gap existing with the fastest solution for the edge-removal version of the problem (i.e., that of finding, for every edge e ε E T, a replacement edge which can be used for constructing an MST of G-e=(V,E \{e})). Our algorithm finds immediate application in maintaining MST-based communication networks undergoing temporary node failures. Moreover, in a distributed environment in which nodes are managed by selfish agents, it can be used to design an efficient, truthful mechanism for building an MST. © Springer-Verlag New York, LLC.