Added MinPriorityQueue which has an efficient decreaseKey operation