ARBOLES Y GRAFOS

En este contexto rboles y grafos se refiere a estructuras de datos que permiten organizar y
mantener informacin en un computador. Esta forma se inspira una forma de organizar
informacin con lpiz y papel usando nodos y flechas entre los nodos (a esas flechas tambin
se les llama arcos, a los nodos tambin se les llama vrtices). Los grafos y rboles en papel
son apropiados por ejemplo para capturar slo una parte de la informacin de objetos,
situaciones y otros tipos de informacin (i.e son apropiados para abstraer).

En un computador adems de permitir organizar informacin, resultan estructuras tiles para

resolver ciertos tipos de problema (por ejemplo pueden emplearse rboles AVL para mantener
informacin ordenada de forma eficiente).

Para jugar, entender y emplear mejor grafos (y rboles) varias personas (e.g Euler) han
propuesto definiciones; a partir de estas definiciones y con ayuda de razonamientos lgicos
han demostrado propiedades. Un mnimo de definiciones y de propiedades de grafos y rboles
se presenta a continuacin.

Note que para ver mejor esta pgina puede requerir configurar su navegador para que
presente smbolos especiales, que se esperan con el tipo de letra de symbol. En el caso del
navegador Mozilla, y suponiendo que en su sistema ya est instalado y configurado para
Mozilla el tipo de letra para smbolos marque el botn de chequeo que permite que el
documento use otras fuentes, en el men apariencia del dilogo de preferencias (elemento
del men editar).

rbol
En ciencias de la informtica, un rbol es una estructura de datos ampliamente usada que
imita la forma de un rbol (un conjunto de nodos conectados). Un nodo es la unidad sobre la
que se construye el rbol y puede tener cero o ms nodos hijos conectados a l. Se dice que
un nodo a es padre de un nodo b si existe un enlace desde a hasta b (en ese caso, tambin
decimos que b es hijo de a). Slo puede haber un nico nodo sin padres, que llamaremos raz.
Un nodo que no tiene hijos se conoce como hoja. Los dems nodos (tienen padre y uno o
varios hijos) se les conoce como rama.

Un rbol se define como un tipo de grafo que no contiene ciclos, es decir es un grafo tambin
acclico, pero a su vez es conexo. Tal es el caso de los siguientes dos grafos en donde se
puede notar que ninguno de los dos contiene repeticiones (ciclos).

Bosques de rboles.
Los bosques de rboles son un caso similar a los rboles, son acclicos, pero no son conexos.
Como ejemplo tenemos la siguiente figura.

Formalmente, podemos definir un rbol de la siguiente forma:

Caso base: un rbol con slo un nodo (es a la vez raz del rbol y hoja).
Un nuevo rbol a partir de un nodo nr y k rboles de races con elementos cada uno, puede
construirse estableciendo una relacin padre-hijo entre nr y cada una de las races de los k
rboles. El rbol resultante de nodos tiene como raz el nodo nr, los nodos son los hijos de nr
y el conjunto de nodos hoja est formado por la unin de los k conjuntos hojas iniciales. A
cada uno de los rboles Ai se les denota ahora subrboles de la raz.
Una sucesin de nodos del rbol, de forma que entre cada dos nodos consecutivos de la
sucesin haya una relacin de parentesco, decimos que es un recorrido rbol. Existen dos
recorridos tpicos para listar los nodos de un rbol: primero en profundidad y primero en
anchura. En el primer caso, se listan los nodos expandiendo el hijo actual de cada nodo hasta
llegar a una hoja, donde se vuelve al nodo anterior probando por el siguiente hijo y as
sucesivamente. En el segundo, por su parte, antes de listar los nodos de nivel n + 1 (a
distancia n + 1 aristas de la raz), se deben haber listado todos los de nivel n. Otros recorridos
tpicos del rbol son preorden, postorden e inorden:

El recorrido en preorden, tambin llamado orden previo consiste en recorrer en primer lugar
la raz y luego cada uno de los hijos en orden previo.
El recorrido en inorden, tambin llamado orden simtrico (aunque este nombre slo cobra
significado en los rboles binarios) consiste en recorrer en primer lugar A1, luego la raz y
luego cada uno de los hijos en orden simtrico.
El recorrido en postorden, tambin llamado orden posterior consiste en recorrer en primer
lugar cada uno de los hijos en orden posterior y por ltimo la raz.
Finalmente, puede decirse que esta estructura es una representacin del concepto de rbol
en teora de grafos. Un rbol es un grafo conexo y acclico (ver tambin teora de grafos y

Glosario en teora de grafos).

Tipos de rboles
-rbol binario

En ciencias de la computacin, un rbol binario es una estructura de datos en la cual cada

nodo siempre tiene un hijo izquierdo y un hijo derecho. No pueden tener ms de dos hijos (de
ah el nombre "binario"). Si algn hijo tiene como referencia a null, es decir que no almacena
ningn dato, entonces este es llamado un nodo externo. En el caso contrario el hijo es
llamado un nodo interno. Usos comunes de los rboles binarios son los rboles binarios de
bsqueda, los montculos binarios y Codificacin de Huffman.

Tipos de rboles binarios

Un rbol binario es un rbol con raz en el que cada nodo tiene como mximo dos hijos.
Un rbol binario lleno es un rbol en el que cada nodo tiene cero o dos hijos.
Un rbol binario perfecto es un rbol binario lleno en el que todas las hojas (vrtices con cero
hijos) estn a la misma profundidad (distancia desde la raz, tambin llamada altura).

A veces un rbol binario perfecto es denominado rbol binario completo. Otros definen un
rbol binario completo como un rbol binario lleno en el que todas las hojas estn a
profundidad n o n-1, para alguna n.

Un rbol binario es un rbol en el que ningn nodo puede tener ms de dos subrboles. En un
rbol binario cada nodo puede tener cero, uno o dos hijos (subrboles). Se conoce el nodo de
la izquierda como hijo izquierdo y el nodo de la derecha como hijo derecho.

-rbol binario de bsqueda auto-balanceable

En ciencias de la computacin, un rbol binario de bsqueda auto-balanceable o equilibrado

es un rbol binario de bsqueda que intenta mantener su altura, o el nmero de niveles de
nodos bajo la raz, tan pequeos como sea posible en todo momento, automticamente. Esto
es importante, ya que muchas operaciones en un rbol de bsqueda binaria tardan un tiempo
proporcional a la altura del rbol, y los rboles binarios de bsqueda ordinarios pueden tomar
alturas muy grandes en situaciones normales, como cuando las claves son insertadas en

orden. Mantener baja la altura se consigue habitualmente realizando transformaciones en el

rbol, como la rotacin de rboles, en momentos clave.