DecreaseKeys are expensive for external memory priority queues
scientific article; zbMATH DE number 6761880