a) Arboles Generales.

Un rbol es una coleccin de elementos llamados nodos, uno de los cuales se distingue del resto como raz, junto con una relacin que impone una estructura jerrquica entre los nodos. Formalmente, un rbol se puede definir de manera recursiva como sigue: Definicin: una estructura de rbol con tipo base T es: (i) Bien la estructura vaca. (ii) Un conjunto finito de uno o ms nodos, tal que existe un nodo especial, llamado nodo raiz, y donde los restantes nodos estn separados en n >= 0 conjuntos disjuntos, cada uno de los cuales es a su vez un rbol (llamados subrboles del nodo raz). La definicin implica que cada nodo del rbol es raz de algn subrbol contenido en el rbol principal. El ndice de un libro es un buen ejemplo de representacin en forma de rbol. Ejemplos de estructuras arborescentes:

Figura 1

b) Terminologas bsicas. i. Padre o raz: antecesor directo de un nodo del cual depende directamente. Arcos o ramas: es cualquier camino que se establece entre la raz y un nodo terminal. Hijos: nodos que dependen directamente de ese nodo, es decir, las races de sus subrboles.

ii.

iii.

iv. v.

Grado de un nodo: es el nmero de subrboles que tienen como raz ese nodo (cuelgan del nodo). Nodos descendientes: es cualquier otro nodo por

debajo, donde "por debajo" significa "ms alejado de la raz".

vi. Nodos ascendientes: es cualquier nodo por encima

del A en un modelo de rbol, donde "por encima" significa "hacia la raz".

vii. viii. Hoja: nodo con grado 0. No tiene subrboles Nivel: longitud del camino desde la raz hasta el nodo. El nodo raz tiene nivel 1. Altura o profundidad: nivel mximo de un nodo en un rbol, el cual coincide con el nmero de nodos de la rama ms larga menos 1. Subrbol: son sub_expresiones en las que el nodo raz es un operador.

ix.

x.

c) Arboles Binarios. Los rboles binarios constituyen un tipo particular de rboles de gran aplicacin. Estos rboles se caracterizan porque no existen nodos con grado mayor a dos, es decir, un nodo tendr como mximo dos subrboles. Definicin: un rbol binario es un conjunto finito de nodos que puede estar vaco o consistir en un nodo raz y dos rboles binarios disjuntos, llamados subrbol izquierdo y subrbol derecho. En general, en un rbol no se distingue entre los subrboles de un nodo, mientras que en un rbol binario se suele utilizar la nomenclatura subrbol izquierdo y derecho para identificar los dos posibles subrboles de un nodo determinado. De forma que, aunque dos rboles tengan el mismo nmero de nodos, puede que no sean iguales si la disposicin de esos nodos no es la misma (ver figura 2):

Figura 2.

d) Arboles binarios completos. Un rbol perfectamente equilibrado hasta el penltimo nivel, y en el ltimo nivel los nodos se encuentran agrupados a la izquierda. En un rbol completo se pueden indexar los nodos mediante un recorrido por niveles, y a partir de ese ndice es posible conocer el ndice del nodo padre y los ndices de los nodos hijos. Esta propiedad permite almacenar un rbol completo en un vector sin necesidad de informacin adicional (referencia al nodo padre y a los nodos hijos), simplemente almacenando cada nodo en la posicin del vector que indica el recorrido por niveles.

e) rbol binario de bsqueda. Los rboles binarios de bsqueda son estructuras de datos que presentan un gran rendimiento cuando las funciones a realizar implican bsquedas, inserciones y eliminacin de nodos. De hecho, con un rbol de bsqueda, dichas operaciones se pueden realizar

tanto a partir de un valor clave, como por un valor ordinal (es decir, encontrar un elemento con clave x, encontrar el sexto elemento ms pequeo, borrar el elemento con clave x, borrar el sexto elemento ms pequeo, insertar un elemento y determinar su ordinal dentro del rbol).

Definicin: un rbol binario de bsqueda es un rbol binario, que puede estar vaco, y que si es no vaco cumple las siguientes propiedades: 1) Todos los nodos estn identificados por una clave y no existen dos elementos con la misma clave. 2) Las claves de los nodos del subrbol izquierdo son menores que la clave del nodo raz. 3) Las claves de los nodos del subrbol derecho son mayores que la clave del nodo raz. 4) Los subrboles izquierdo y derecho son tambin rboles binarios de bsqueda. 5) La primera propiedad resultara redundante, ya que de las propiedades (2), (3) y (4) se puede deducir que la clave de un nodo es nica. Sin embargo, la aparicin explcita de esta propiedad hace que la definicin sea ms clara. Ejemplos de rboles binarios de bsqueda:

Figura 3

f)

Arboles de expresiones.

Un rbol es la forma natural de representar la estructura de una expresin. A diferencia de otras anotaciones, puede representar el cmputo sin imprecisin. Por ejemplo, la expresin infija 1 + 2 * 3 es ambigua a menos que sepamos que la multiplicacin se hace antes que la suma. Este rbol de expresin representa el mismo cmputo:

Figura 4

Los nodos de un rbol de expresin pueden ser operandos como 1 y 2 u operadores como + y *. Los operandos son nodos hojas; los nodos operadores contienen referencias a sus operandos. (Todos estos operadores son binarios, lo que significa que tienen exactamente dos operandos).

g) Recorrido en arboles.
Se llama recorrido de un rbol al proceso que permite acceder una sola vez a cada uno de los nodos del rbol para examinar el conjunto completo de nodos. Recorrido en Profundidad: el proceso exige alcanzar las profundidades de un camino desde la raz hacia el descendiente mas lejano del primer hijo, antes de proseguir con el segundo.

Recorrido en Anchura: el proceso se realiza horizontalmente desde la raz a todos su hijos antes de pasar con la descendencia de alguno de ellos

Al visitar los nodos de un rbol existen algunas maneras tiles en las que se pueden ordenar sistemticamente los nodos de un rbol. Los ordenamientos ms importantes son llamados: pre-orden, post-orden y en-orden y se definen recursivamente como sigue: Los algoritmos de recorrido de un rbol binario presentan tres tipos de actividades comunes: visitar el nodo raz recorrer el subrbol izquierdo recorrer el subrbol derecho Estas tres acciones llevadas a cabo en distinto orden proporcionan los distintos recorridos del rbol. Recorrido en PRE-ORDEN: Visitar el nodo raz Recorrer el subrbol izquierdo en pre-orden Recorrer el subrbol derecho en pre-orden Recorrido EN-ORDEN Recorrer el subrbol izquierdo en en-orden Visitar el raz Recorrer el subrbol derecho en en-orden Recorrido en POST-ORDEN Recorrer el subrbol izquierdo en post-orden Recorrer el subrbol derecho en post-orden Visitar el nodo raz
6

Figura 5

h) Arboles multicaminos.

Un rbol multicamino es un rbol ordenado cuyos nodos deben tener un nmero especfico de hijos. En este tipo de rbol conviene definir nodos externos especiales que no tienen hijos, y normalmente no tienen ni nombre ni informacin asociada. Los nodos externos actan como nodos ficticios para los nodos que no tienen el nmero de hijos especificados. Un ejemplo de rboles multicamino son los rboles binarios.