I1M2019: El TAD de los árboles binarios de búsqueda en Haskell
En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos estudiado el tipo abstracto de datos de los árboles binarios de búsqueda.
Un árbol binario de búsqueda (ABB) (binary search tree) en inglés) es un árbol binario tal que el valor de cada nodo es mayor que los valores de su subárbol izquierdo y es menor que los valores de su subárbol derecho y, además, ambos subárboles son árboles binarios de búsqueda. Por ejemplo, al almacenar los valores de [2,3,4,5,6,8,9] en un ABB se puede obtener los siguientes ABB:
|
1 2 3 4 5 6 7 |
5 5 / \ / \ 2 6 3 8 \ \ / \ / \ 4 8 2 4 6 9 / \ 3 9 |
El objetivo principal de los ABB es reducir el tiempo de acceso a los valores.
El contenido de la clase ha sido el siguiente:
- la signatura del TAD de los árboles binarios de búsqueda;
- las propiedades del TAD de los árboles binarios de búsqueda;
- la implementación, en Haskell, de los árboles binarios de búsqueda mediante tipos de datos algebraicos y
- la comprobación con QuickCheck de sus propiedades.
La clase se ha dado mediante videoconferencia y el correspondiente vídeo es
Los apuntes correspondientes a la clase son
Una versión interactiva de los apuntes en IHaskell se encuentra aquí.