Sets the priority of a to newPriority, which must be greater than a's current priority if a is in this queue.
Sets the priority of a to newPriority, which must be greater than a's current priority if a is in this queue. Inserts a if it is not already present.
Standard binary heap, based on Chapter 6 of CLRS Algorithms 2nd Ed.