wasted day to find out priority queues does have decrease key function
modified ufpt and topder round 637