Abstract
We describe a checker for priority queues. It supports the full repertoire of priority queue operations (insert, del~~in, find-m&, decrease-p, and del-item). It requires U( 1) amortised time per operation and uses linear additional space (i.e. the same amouut as t.he priority queue). The checker reports an error occuring in operation i before operation i + CN + 1 is completed, where N’ is the number of elements in the queue at the time the error occured and c < 1 is a constant. We show that an on-line checker, i.e., a checker that reports errors immediately, must have running time n(n log n) in the worst case for a sequence of n priority queue operations. This lower bound holds in the comparison model of computation.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
