Pruebas

Probar el índice de posiciones

El índice es un invariante extra: para cada elemento, la posición guardada coincide con la real.

¿Qué pruebas comprueban el índice de posiciones?Medir que cambiar_prioridad tarda menos de un milisegundo con 1 000 elementos en la colaInsertar 1 000 elementos con prioridades distintas, sin cambiarlas, y extraerlos todos en ordenComprobar que el heap cumple el invariante de orden tras cada operación, con cientos de valoresCambiar muchas veces la prioridad del mismo elemento, subiendo y bajando, y extraer todo en ordenTras cada operación, comprobar que h[posición[x]] = x para todo elemento x del heap