Not happy with the PriorityQueue implementation due to lack of fast increase-key operation.