Final 2C/2014 (Algoritmos II)

Ejercicios

1. Explicar qué es un observador básico y cuál es su utilidad en la especificación de TADs.
2. • Explicar por qué la función de abstracción no es sobreyectiva sobre el conjunto de términos. ¿Hay algún conjunto para el que sí lo sea?
   • Explicar detalladamente la función del invariante de representación a la hora del diseño jerárquico de TADs.
3. Vincular las conclusiones del teorema maestro con la estructura de la recursión.
4. Explicar por que las colas de prioridad son ineficientes para realizar búsquedas pese a ser un árbol balanceado y por qué no se pueden modificar para que lo sean sin perder una de sus propiedades fundamentales.
5. Detallar el criterio de balanceo de los árboles B y mostrar cómo se mantiene a través de la inserción y el borrado.