Are Fibonacci heaps optimal?
In this paper we investigate the inherent complexity of the priority queue abstract data type. We show that, under reasonable assumptions, there exist sequences of n Insert, n Delete, m DecreaseKey and t FindMin operations, where 1 ≤ t ≤ n, which have Ω(nlogt + n + m) complexity. Although Fibonacci heaps do not achieve this bound, we present a modified Fibonacci heap which does, and so is optimal under our assumptions. Using our modified Fibonacci heap we are able to obtain an efficient algorithm for the shortest path problem.
KeywordsTime Complexity Priority Queue Short Path Problem Special Node Decision Tree Model
Unable to display preview. Download preview PDF.
- 1.Aho, A. V., J. E. Hopcroft, and J. D. Ullman, The Design and Analysis of Computer Algorithms. Addison-Wesley, 1974.Google Scholar
- 4.Fredman, M. L., Sedgewick, R., Sleator, D. D., and Tarjan, R. E., The pairing heap: A new form of Self-Adjusting heap. Algorithmica 1, 111–129 (1986).Google Scholar
- 5.Fredman, M. L. and R. E. Tarjan, Fibonacci heaps and their uses in improved network optimization algorithms. Journal of the ACM 34, 569–615 (1987).Google Scholar
- 6.Johnson, D. B., Efficient algorithms for shortest paths in sparse networks. Journal of the ACM 24, 1–13 (1977).Google Scholar
- 7.Kingston, J. H., Algorithms and Data Structures: Design, Correctness, Analysis. Addison-Wesley, 1990.Google Scholar
- 8.Knuth, D. E., The Art of Computer Programming Volume 1: sorting and searching. Addison-Wesley, 1968.Google Scholar
- 9.Peterson, G. L., A balanced tree scheme for meldable heaps with updates. Tech. Rep. GIT-ICS-87-23 (1987), School of Information and Computer Science, Georgia Institute of Technology, Atlanta, GA 30332.Google Scholar
- 10.Tarjan, R. E., Data Structures and Network Algorithms. Society for Industrial and Applied Mathematics, 1983.Google Scholar
- 11.Tarjan, R.E., Amortized computational complexity. SIAM Journal on Algebraic and Discrete Methods 6, 306–318 (1985).Google Scholar