External Memory Soft Heap, and Hard Heap, a Meldable Priority Queue

摘要

An external memory version of soft heap that we call "External Memory Soft Heap" (EMSH) is presented. It supports Insert, Findmin, Deletemin and Meld operations and as in soft heap, it guarantees that the number of corrupt elements in it is never more than ∈N, where N is the total number of items inserted in it, and ∈ is a parameter of it called the error-rate. For N = O(Bm~(M/2(B+1/2m))), the amortised I/O complexity of an Insert is O(1/B log_m 1/∈), where M is the size of the main memory, B is the size of a disk block and m = M/B. Findmin, Deletemin and Meld all have non-positive amortised I/O complexities. When we choose an error rate ∈ < 1/N, EMSH stays devoid of corrupt nodes, and thus becomes a meldable priority queue that we call "hard heap". The amortised I/O complexity of an Insert, in this case, is O(1/B log_m N/B), over a sequence of operations involving N Inserts. Findmin, Deletemin and Meld all have non-positive amortised I/O complexities. If the inserted keys are all unique, a Delete (by key) operation can also be performed at an amortised I/O complexity of O(1/B log_m N/B). A balancing operation performed at appropriate intervals on a hard heap ensures that the number of I/Os performed by a sequence of S operations on it is O(S/B + 1/B ∑_(i=1)~S log_m N-i/B), where N_i is the number of elements in the heap before the ith operation.