Integer priority queues with decrease key in constant time and the single source shortest paths problem.

Mikkel Thorup

Browse the full STOC paper archive.