Sensitivity Analysis of Minimum Spanning Trees in Sub-Inverse-Ackermann Time

We present a deterministic algorithm for computing the sensitivity of a minimum spanning tree (MST) or shortest path tree in O(mlogα(m,n)) time, where α is the inverse-Ackermann function. This improves upon a long standing bound of O(mα(m,n)) established by Tarjan. Our algorithms are based on an eff...

Full description

Saved in:
Bibliographic Details
Published inJournal of graph algorithms and applications Vol. 19; no. 1; pp. 375 - 391
Main Author Pettie, Seth
Format Journal Article
LanguageEnglish
Published 01.08.2015
Online AccessGet full text

Cover

Loading…
More Information
Summary:We present a deterministic algorithm for computing the sensitivity of a minimum spanning tree (MST) or shortest path tree in O(mlogα(m,n)) time, where α is the inverse-Ackermann function. This improves upon a long standing bound of O(mα(m,n)) established by Tarjan. Our algorithms are based on an efficient split-findmin data structure, which maintains a collection of sequences of weighted elements that may be split into smaller subsequences. As far as we are aware, our split-findmin algorithm is the first with superlinear but sub-inverse-Ackermann complexity. We also give a reduction from MST sensitivity to the MST problem itself. Together with the randomized linear time MST algorithm of Karger, Klein, and Tarjan, this gives another randomized linear time MST sensitivity algorithm.
ISSN:1526-1719
1526-1719
DOI:10.7155/jgaa.00365