updatable-priority-queue

A priority queue implementation based on a binary heap, with an efficient update-key operation