Diagnóstico

El mínimo correcto, el siguiente no

Una cola de prioridad devuelve bien el primer mínimo, pero las extracciones siguientes a veces devuelven un valor que no es el menor. Insertar funciona bien.

Una cola de prioridad devuelve bien el primer mínimo, pero las extracciones siguientes a veces devuelven un valor que no es el menor. Insertar funciona bien. ¿Qué hipótesis explica mejor el fallo?Subir y bajar usan fórmulas de padre distintas, y por eso solo falla al extraerLas prioridades repetidas hacen que dos hijos empaten y el heap no sepa cuál debe subirSubir no llega hasta la raíz, y los valores insertados quedan por debajo de un padre mayor que ellosBajar elige mal el hijo o se detiene pronto, y tras cada extracción el invariante queda roto