Esto es, si hay un algoritmo que permita ordenar con coste formula_20 por cada clave, donde formula_21 es una función de formula_17, existe un procedimiento para crear una cola de prioridad en la que se obtenga el elemento de mayor prioridad en formula_1, y se inserten nuevos elementos (y se retiren elementos en el orden de su prioridad) en tiempo formula_20.