2022-05-02



Orden
Colas FIFO (First In First Out)
Pilas LIFO (Last In First Out)
Colas de prioridad $<_{\alpha}$

Colas de prioridad

El orden está dado por un atributo de los elementos que denominamos prioridad.

La prioridad en general puede ser de cualquier tipo $\alpha$ con un orden $<_{\alpha}$ asociado.

El TAD es muy similar al de cola pero toma un parámetro adicional del orden del tipo ($<_{\alpha}$).

Opciones de Implementación:

Vamos a ver heaps, otra estructura de datos que tendrá la misma complejidad que los AVLs pero que es más adecuada para este tipo abstracto. Ganaremos simpleza en la implementación.

Heaps

Invariante de representación

  1. Árbol binario perfectamente balanceado.