The amortized cost of finding the minimum

We obtain an essentially optimal tradeoff between the amortized cost of the three basic priority queue operations insert, delete and f ind-min in the comparison model. More specifically, we show that A(find-min) = ω(n/(2+ε)(A(insert)+(A(delete)), A(find-min) = ω= O(n/(2+ε)(A(insert)+(A(delete) + log n), for any fixed ε > 0, where n is the number of items in the priority queue and A(insert), A(delete) and A(iind-min) are the amortized costs of the insert, delete and find-min operations, respectively. In particular, if A(insert) + A(delete) = O(1), then A(find-min) = ω(n), and .A(f ind-min) = O(n^a), for some α < 1, only if A(insert) + A(delete) = ω(log n). (We can, of course, have A(insert) = O(1), A(delete) = O(log n), or vice versa, and A(find-min) = O(1).) Our lower bound holds even if randomization is allowed. Surprisingly, such fundamental bounds on the amortized cost of the operations were not known before. Brodal, Chaudhuri and Rad-hakrishnan, obtained similar bounds for the worst-case complexity of f ind-min.