Final 20/02/24 (Algoritmos II)

Ejercicio 1

[AED] ¿Si probé la tripla de Hoare [P, C, Q], es cierto que [P', C, Q'] vale para P', Q' tales que P implica P' y Q implica Q'? Justificar

[AyED2] ¿Qué parámetros del esquema algorítmico de "divide and conquer" son importantes para calcular su complejidad cuando es aplicado a un problema?

Ejercicio 2

¿Para qué sirve el concepto de tipo abstracto de datos a la hora de presentar y usar una estructura de datos que lo implemente?

Ejercicio 3

¿Qué usos le dimos en la materia al invariante de representación de una estructura de datos?

Ejercicio 4

¿Qué propiedad se le podría pedir al mecanismo de gestión de colisiones elegido en el hashing abierto para garantizar que no se rechace un elemento si todavía hay lugar en el arreglo?

Ejercicio 5

¿Para qué usamos una versión levemente modificada de heap en el contexto de ordenamiento en memoria secundaria?