Brodal queue

In computer science, the Brodal queue is a heap/priority queue structure with very low worst case time bounds: formula_1 for insertion, find-minimum, meld (merge two queues) and decrease-key and formula_2 for delete-minimum and general deletion. They are the first heap variant to achieve these bounds without resorting to amortization of operational costs. Brodal queues are named after their inventor Gerth Stølting Brodal.
While having better asymptotic bounds than other priority queue structures, they are, in the words of Brodal himself, "quite complicated" and "[not] applicable in practice." Brodal and Okasaki describe a persistent (purely functional) version of Brodal queues.