DEFINICIN DE RBOL

Un rbol se puede definir como una estructura jerrquica aplicada sobre una coleccin de elementos u objetos llamados nodos, uno de los cuales es conocido como raz. Adems se crea una relacin o parentesco entre los nodos dando lugar a trminos como padre, hijo, hermano, antecesor, sucesor, ancestro, etctera. Formalmente se define un rbol de tipo T como una estructura homognea resultado de la concatenacin de un elemento tipo T con un nmero finito de rboles disjuntos, llamados subrboles.

Los rboles son estructuras recursivas, ya que cada subrbol es a su vez un rbol. Se pueden aplicar para la solucin de problemas y representacin de frmulas matemticas, enumerar captulos, anlisis de circuitos elctricos, etctera. Los rboles son grafos no dirigidos, conexos y son ciclos.

REPRESENTACIONES DE RBOL

a) Diagrama de Venn.

b) Parntesis.
c) Decimal de Dewey. d) Indentada. e) Grafo.

TERMINOLOGA Y CARACTERIZACIN
a) Todo rbol que no es vaco tiene un nico nodo raz. b) Un nodo X es descendiente directo de un nodo Y, si el nodo X es apuntado por el nodo Y. Es decir X es hijo de Y.

c) Un nodo X es antecesor directos de un nodo Y, si el nodo X apunta al nodo Y. Es decir X es padre de Y.

d) Se dice que todos los nodos que son descendientes directos hijos- de un mismo nodo padre- son hermanos. e) Todo nodo que no tiene ramificaciones hijos-, se conoce con el nombre de terminal u hoja. f) Todo nodo que no es raz ni terminal u hoja se conoce con el nombre de interior.

g) Grado es el nmero de descendientes directos de un determinado nodo.

h) Grado del rbol es el mximo grado de todos los nodos del rbol.
i) j) Nivel es el nmero de arcos que deben ser recorridos para llegar a una determinado nodo. Altura del rbol es el mximo nmero de niveles de todos los nodos del rbol

EJEMPLO PARA CLASIFICAR LOS CONCEPTOS ANTERIORES

1. A es la raz del rbol. 2. B es hijo de A. C es hijo de A. D es hijo de B. E es hijo de B. L es hijo de H. 3. A es padre de B. B es padre de D. D es padre de I. C es padre de G. H es padre de L. 4. B y C son hermanos. D, E y F son hermanos. Gy H son hermanos. J y K son hermanos. 5. I, E, J, K, G y L son nodos terminales u hojas. 6. B, D, F, C y H son nodos interiores. 7. El grado del nodo A es 2. El grado del nodo B es 3. El grado del nodo C es 2. El grado del nodo D es 1. El grado del nodo E es 0. El grado del rbol es 3. 8. El nivel El nivel El nivel El nivel El nivel del nodo A es 1. del nodo B es 2. del nodo D es 3. del nodo C es 2. del nodo L es 4.

9. La altura del rbol es 4.

RBOLES DE EXPANSIN MNIMA

Definicin: Sea G una grfica con pesos. Un rbol de expansin mnimo de G es un rbol de expansin de G con peso mnimo.

Este problema surge cuando todos los nodos de una red deben conectar entre ellos, sin formar un loop o bucle.
El rbol de expansin mnima es apropiado para los problemas en los cuales la redundancia es expansiva, o el flujo a lo largo de los arcos se considera instantneo. Este problema se refiere a utilizar las ramas o arcos de la red para llegar a todos los nodos de la red, de manea tal que se minimiza la longitud total. La aplicacin de estos problemas de optimizacin se ubica en las redes de comunicacin elctrica, telefnica, carretera, ferroviaria, area, martima, etc.; donde los nodos representan puntos de consumo elctrico, telfonos, aeropuertos, computadoras.

ALGORITMO DE PRIM
Este algoritmo determina un rbol de expansin mnimo en una grfica conexa con pesos. Entrada: Una grfica conexa con pesos, con vrtices 1,,n y vrtice inicial s. Si (i, j) es una arista, w (i, j) es igual al peso de (i, j); si (i, j) no es una arista, w (i, j) es igual a (un valor mayor que cualquier peso real).

Salida: El conjunto de aristas E en un rbol de expansin mnimo.

EJEMPLO
Mostrar la forma en que el algoritmo de prim determina un rbol de expansin mnimo para la grfica. Suponer que el vrtice inicial s es 1.

En la lnea 3, agregamos el vrtice 1 al rbol de expansin mnimo. La primera vez que ejecutamos el ciclo for en las lneas 8-16, las aristas con un vrtice en el rbol y un vrtice que no est en el rbol son.
Se elige la arista con menor peso, (1, 3). En las lneas 17 y 18, el vrtice 3 se agrega al rbol de expansin mnimo y la arista (1, 3) se agrega a E. La siguiente vez que ejecutamos el ciclo for en las lneas 8 16, las aristas con un vrtice en el rbol y un vrtice que no est en el rbol son:

Se elige la arista con menor peso, (3, 4). En las lneas 17 y 18, el vrtice 4 se agrega al rbol de expansin mnimo y el arista (3, 4) se agrega a E. La siguiente vez que ejecutamos el ciclo for en las lneas 8-16, las aristas con un vrtice en el rbol y un vrtice que no est en el rbol. Esta vez, dos aristas tienen el peso mnimo 3. Sin importar la arista elegida, se obtendr un rbol de expansin mnimo. En esta versin, se elige la arista (1, 5). En las lneas 17 y 18, el vrtice 5 se agrega al rbol de expansin mnimo y la arista (1, 5) se agrega a E. La siguiente vez que ejecutamos el ciclo for en las lneas 8-16, las aristas con un vrtice en el rbol y un vrtice que no est en el rbol son:

Se elige la arista con menor peso (5, 6). En las lneas 17 y 18, el vrtice 6 se agrega al rbol de expansin mnimo y la arista (5, 6) se agrega a E. La ltima vez que ejecutamos el ciclo fon en la lneas 8-16, las aristas con un vrtice en el rbol y un vrtice que no est en el rbol son: Se elige la arista con menor peso, (1, 2). En las lneas 17 y 18, el vrtice 2 se agrega al rbol de expansin mnimo y la arista (1, 2) se agrega a E. El rbol mnimo construido es:

RBOLES BINARIOS
Es un rbol en el que cada hijo de un vrtice se designa como hijo izquierdo o hijo derecho, ningn vrtice tiene ms de un hijo izquierdo y un hijo derecho y cada vrtice est etiquetado con una clave, que es uno de los objetos.

A los vrtices se les asignan las claves de modo que la clave de un vrtice es mayor a la de todos lo vrtices de su subrbol izquierdo y es menor que la de todos los vrtices de su subrbol derecho.
El primer elemento de la lista se asigna como clave a la raz. Para aadir un nuevo elemento, primero lo comparamos con las claves de los vrtices que ya estn en el rbol, comenzando por la raz, y desplazndonos a la izquierda si el elemento es menor que la clave del vrtice considerado cuando dicho vrtice tiene un hijo izquierdo o desplazndonos a la derecha si el elemento es mayor que la clave del vrtice considerando cuando dicho vrtice tiene un hijo derecho.

Cuando es menor que la clave del vrtice considerado y ste no tiene hijo izquierdo, se inserta un nuevo vrtice como hijo izquierdo, cuya clave es el valor del elemento. De manera anloga, cuando el elemento es mayor que el vrtice considerado y ste no tiene hijo derecho, se inserta un nuevo vrtice como hijo derecho, cuya clave es el valor del elemento.

RBOLES BINARIOS DISTINTOS

Dos rboles binarios son distintos cuando sus estructuras son diferentes. Ejemplo:

RBOLES BINARIOS SIMILARES

Dos rboles binarios son similares cuando sus estructuras son idnticas, pero la informacin que contienen sus nodos difiere entre s.

RBOLES BINARIOS EQUIVALENTES

Los rboles binarios equivalentes se definen como aquellos que son similares y adems los nodos contienen la misma informacin.

RBOLES BINARIOS COMPLETOS

Se define un rbol binario completo como un rbol en el que todos sus nodos, excepto los de ltimo nivel, tienen dos hijos; el subrbol izquierdo y el subrbol derecho.

Cabe aclarar que existen algunos autores que definen un rbol binario completo de otra forma; y otros que utilizan el trmino lleno para referirse a completo. Se puede calcular el nmero de nodos de un rbol binario completo de altura h, aplicando la siguiente frmula: NMERO DE NODOS ABC = 1 Donde ABC significa rbol binario completo, y h la altura del rbol.

RECORRIDOS DE UN RBOL
La bsqueda a lo ancho y la bsqueda a profundidad proporcionan formas de recorrer un rbol, es decir, de recorrerlo de manera sistemtica de modo que cada vrtice sea visitado exactamente una vez. Tres mtodos recursivos para lograrlo son los siguientes: 1.- Recorrido en preorden. 2.- Recorrido en entreorden. 3.- Recorrido en posorden.

1.-Recorridos en preorden
Supongamos que la entrada es el rbol de la figura. Hacemos PT igual a la raz y llamamos a preorder (PT). Como PT no es vaco, pasamos a la lnea 3, donde procesamos a la raz. En la lnea 5 llamamos a preorder, con PT igual al hijo izquierdo de la raz.. Si la entrada de preoder consta de un nico vrtice, preorder procesa este vrtice. As, a continuacin procesamos el vrtice B. De manera anloga, en la lnea 7, procesamos el vrtice C. As, los vrtices se procesan en el orden ABC.

2.- Recorrido en entreorden

Ejemplo: en qu orden se procesan los vrtices del rbol de la figura si se utiliza el recorrido en entreorden? Si seguimos las lneas 3-7 (izquierdo/raz/derecho) del algoritmo, obtenemos la enumeracin en entreorden CBDEAFIHJG.

3.-Recorrido en posorden
Ejemplo: en qu orden se procesan los vrtices del rbol de la figura si se utiliza el recorrido en posorden? Si seguimos las lneas 3-7 (izquierdo/raz/derecho) del algoritmo, obtenemos la enumeracin en posorden CEDBIJHGFA

REPRESENTACIN DE EXPRESIONES ARITMTICAS MEDIANTE RBOLES.

(A + B) * C D/E Las variables A, B, C, D y E se conocen como operandos. Los operadores +, -, * y / operan sobre pares ordenados o expresiones.

En la forma entrefija de una expresin, un operador aparece entre sus operandos.

Si recorremos el rbol binarios de la figura 7.6.7 en entreorden, e insertamos un par de parntesis para cada operacin, obtenemos (((A + B ) * C ) (D/ E)). Esta forma de expresin se llama la forma con todos los parntesis de la expresin. Los parntesis indican el orden de las operaciones sin ambigedad. Si recorremos el rbol binarios de la figura 7.6.7 en posorden obtenemos AB+C*DE/Esta forma de expresin se llama forma posfija de la expresin ( o notacin polaca de la inversin). El operador aparece despus de sus operandos.

Se puede obtener una tercera forma de una expresin aplicando el recorrido en preorden a una representacin de una expresin mediante un rbol binario. En este caso el resultado es la forma prefija de la expresin ( o notacin polaca).
- * + ABC /DE

RBOLES DE DECISIN Y EL TIEMPO MNIMO PARA EL ORDENAMIENTO

Un algoritmo para ordenar a1, a2, a3 est dado por el rbol de decisiones de la figura 9.7.7.Cada arista se etiqueta con el arreglo de la lista basado en la respuesta a la pregunta en un vrtice interno. Los vrtices terminales dan el orden.

Se definir el tiempo en el peor caso para ordenar como un nmero de comparaciones en el peor caso. La altura del rbol de decisiones que resuelve el problema de ordenar es igual al tiempo en el peor caso. Por ejemplo, el tiempo en el peor caso para el algoritmo dado por el rbol de decisiones de la figura 9.7.7 es igual a 3.

Teorema

ISOMORFISMO DE RBOLES
1.- La funcin f del conjunto de vrtices del rbol T1 que se ilustra en la figura 9.8.1 al conjunto de vrtices del rbol T 2 que se aprecia en la figura 9.8.2 y que se define por f (a)=1, f(b)=3, f(c)=2, f(d)=4, f(e) =5 es una funcin uno a uno y sobre que preserva la relacin de adyacencia. As, los rboles T1y T2 son isomorfos.

2.- Los rboles T 1 y T 2 de la figura 9.8.3 no son isomorfos porque T 2 tiene un vrtice ( x ) de grado 3 y T 1 no tiene un vrtice de grado 3.

Sea T1 un rbol con raz r1 y sea T2 un rbol con raz r2. Los rboles con raz T1 y T2 son isomorfos si existe una funcin f uno a uno y sobre del conjunto de vrtices de T1 al con- junto de vrtices de T2 que satisface lo siguiente: a) Los vrtices vi y v j son adyacentes en T1si y slo si los vrtices f (vi) y f (v j) son adyacentes en T2 b) b) f (r1) = r 2 La funcin f recibe el nombre de isomorfismo

Sea T1 un rbol binario con raz r1 y sea T2 un rbol binario con raz r2. Los rboles binarios T1 y T2 son isomorfos si existe una funcin f uno a uno y sobre del conjunto de vrtices de T1al conjunto de vrtices de T2 que satisfagan lo siguiente: a) L os vrtices vi y v j son adyacentes en T1 si y slo si los vrtices f (vi) y f (v j) son adyacentes en T 2 b) f (r1) = r2 c) v es un hijo izquierdo de w en T1 si y slo si f (v) es un hijo izquierdo de f (w) en T2 d) v es un hijo derecho de w en T1 si y slo si f (v) es un hijo derecho de f (w) en T2 Esta funcin f recibe el nombre de isomorfismo

Teorema

BIBLIOGRAFA
Estructuras de datos - 3era Edicin - Osvaldo Cairo Matemticas Discretas 4ta Edicin Rosen Matemticas_Discretas 4ta Edicin -_Richard_Jonhsonbaugh

http://www.angelfire.com/planet/invo_ago_2006/clase8_2.pdf
http://www.uaeh.edu.mx/docencia/P_Presentaciones/icbi/asignatura/Cap6AR BOLES.pdf