Final 2C/2014 (Algoritmos II)

Plantilla:Back Final tomado por Charlie

Ejercicio 1

Explicar qué es un observador básico y cuál es su utilidad en la especificación de TADs.

Ejercicio 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?

Ejercicio 3

Explicar detalladamente la función del invariante de representación a la hora del diseño jerárquico de TADs.

Ejercicio 4

Vincular las conclusiones del teorema maestro con la estructura de la recursión.

Ejercicio 5

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.

Ejercicio 6

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.