loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
The 43rd Annual IEEE Symposium on Foundations of Computer Science (FOCS'02)
An Inverse-Ackermann Style Lower Bound for the Online Minimum Spanning Tree Verification Problem
Vancouver, BC, Canada
November 16-November 19
ISBN: 0-7695-1822-2
Seth Pettie, University of Texas at Austin
We consider the problem of preprocessing an edge-weighted tree T in order to quickly answer queries of the following type: does a given edge e belong in the minimum spanning tree of T \cup \{ e\}? Whereas the offline minimum spanning tree verification problem admits a lovely linear time solution, we demonstrate an inherent inverse-Ackermann type tradeoff in the online MST verification problem. In particular, any scheme that answers queries in t comparisons must invest \Omega (n\log \lambda _t (n)) time preprocessing the tree, where \lambda _t is the inverse of the tth row of Ackermann?s function. This implies a query lower bound of \Omega (\alpha (n)) for the case of linear preprocessing time. We also show that our lower bound is tight to within a factor of 2 in the t parameter.
Citation:
Seth Pettie, "An Inverse-Ackermann Style Lower Bound for the Online Minimum Spanning Tree Verification Problem," focs, pp.155, The 43rd Annual IEEE Symposium on Foundations of Computer Science (FOCS'02), 2002
Usage of this product signifies your acceptance of the Terms of Use.