TEORIA DE ARBOLES

Un grafo conectado que contiene circuitos no simples se llama rbol. En el ao de 1857 Arthur
Cayley, matemtico ingls, los emple para contabilizar componente qumicos, no obstante,
es importante sealar que no solo es una herramienta de la qumica sino que se han utilizado
en diversas reas, por ejemplo, conforme el propio inters de la materia encaminado hacia las
ciencias de la computacin, se utiliza para la construccin de las redes.

Entre las propiedades ms importantes de los rboles est la presencia de un paseo entre
cualquiera de dos vrtices del rbol; segundo, que el nmero de vrtices no es menor al
nmero de aristas del rbol y que un rbol con ms de dos vrtices tiene por lo menos dos
hojas.

Un ejemplo claro de los rboles en la vida cotidiana son los rboles genealgicos. Para este
caso, los vrtices representan a los miembros de la familia y los arcos representan la relacin
de parentesco. Conforme los conocimientos adquiridos con anterioridad, el rbol no deja de
ser un grafo, pero es del tipo no dirigido.

En este ejemplo cabe sealar que los recuadros representan los vrtices del grafo y los arcos
son las lneas que representan las relaciones de parentesco conforme a esta familia:
REPRESENTACIN DE LOS ARBOLES

El rbol es un grafo no dirigido conectado con circuitos no simples; adems, no contiene arcos
mltiples, con la propiedad de que hay un nico camino simple entre cada par de vrtices,
teniendo el siguiente teorema:

Teorema 1. Un grafo no dirigido es un rbol si y solo si hay un camino simple nico entre
cualesquiera dos de sus vrtices.

Conforme los siguientes grafos, cul de ellos es del tipo de rboles?

Ejemplo:

Cules de los grafos de la figura 6.2 son rboles?

Fig. 6.2 Grafo 1,2 y 3

Si se observan los siguientes grafos, se concluye que el grafo G1 no es un rbol porque se

observa un circuito simple, pero los grafos G2 Y G3 son de rboles, porque estn conectados
con circuitos no simples.

Como se sabe, existen grafos que no tienen conexin y podra existir confusin el pensar que
un rbol es un grafo conectado que tiene circuitos no simples, pero es importante mencionar
que existen rboles del tipo que contienen circuitos no simples que no necesariamente estn
conectados, y esos rboles reciben el nombre de bosques, cuya caracterstica es que cada
uno de sus componentes conectados es un rbol.

Los rboles son mostrados a continuacin:

En gran parte de las aplicaciones de rboles, se designa a un vrtice particular del rbol como
la raz, por lo que se pude asignar una direccin a cada arco, debido que hay un camino nico
de la raz a cada vrtice del grafo dirigindose cada arco alejndose de la raz, conforme lo
enunciado en el teorema 1, en el apartado 6.1.2, por lo tanto es un grafo de rbol con raz,
esto es simplemente el rbol que junto con su raz forman un grafo y en caso que fuesen
diferentes s vrtices como raz, se producen diferentes rboles con raz.

A continuacin se muestra un grafo de rbol con raz:

De acuerdo a lo anterior se muestran los rboles con raz en donde a y c son las races
correspondientes del grafo R.

Lo usual es elaborar un grafo de rbol con raz en la parte superior del grafo, en donde las
flechas muestran la direccin de los arcos, como se muestra en la siguiente figura:

En el apartado 6.1.1 se elabor un rbol genealgico con el propsito de familiarizarse con la

terminologa, que es de origen genealgico y botnico.
Observe el siguiente grafo:

En esta figura se deduce que E es un rbol con raz a, se observa que los padres son b, c y d
y, a su vez, don hermanos, f y g son hijos de b; adems, e es hijo de c.

Otro ejemplo: si se supone que A es un rbol con raz, si v es un vrtice en A diferente de la

raz, el padre de v es el nico vrtice u tal que hay un arco dirigido de u a v. Cuando u es el
padre de v, v es llamado un hijo de u. Los vrtices con el mismo padre son llamados hermanos.
Los ancestros de un vrtice diferente de la raz son los vrtices en el grafo de la raz a ese
vrtice, excluyendo el vrtice mismo e incluyendo a la raz. Los descendientes de un vrtice v
son aquellos vrtices que tienen a v como ancestro. Un vrtice de un rbol es llamado hoja si
no tiene hijos. Los vrtices que tienen hijos son llamados vrtices internos. La raz es un vrtice
interno a menos que sea el nico vrtice del grafo, en ese caso es una hoja. Si a es un vrtice
en un rbol, el subrbol con a como raz, es el subgrafo del rbol que consiste de a y sus
descendientes y todos los arcos incidentes en estos descendientes.
Observa la siguiente figura:
En este rbol Z, la raz est en el vrtice a; el padre de c es b y su descendencia es b y e; los
hermanos de i son h y j, quienes son hijos de g; adems, se pueden observar todos los
ancestros de m; y tambin se observa que en este rbol con raz existe otro subrbol con raz
en el vrtice g, si se hace un acercamiento en esta parte se percibe lo siguiente:

El padre es g, los hijos son h,i,j y los descendentes de j son i e m, y el descendente de h es k.

Tambin existe un rbol con raz, de nombre m-ario, que consiste en que cada vrtice interno
no tiene ms de m hijos, y el rbol m-ario completo consiste si cada vrtice tiene exactamente
m hijos y un rbol m-ario con cuando m=2 es llamado rbol binario.
Conforme lo visto anteriormente se distinguirn los diferentes tipos de grafos:

Este grafo representa un rbol binario completo porque cada uno de sus vrtices internos tiene
un hijo.

En esta figura se representa un rbol, rbol 3-ario, completo porque cada uno de sus vrtices

internos tiene tres hijos.

Este es un rbol 5-ario completo porque cada vrtice interno tiene 5 hijos.
Este grafo representa un rbol m-ario completo para alguna m, porque algunos de sus vrtices
internos tienen dos hijos y otros tienen tres hijos.

Tambin existe el caso de un rbol con raz ordenado debido que los hijos de cada vrtice
interno estn ordenados, y estos se expresan en el grafo de tal forma que los hijos de cada
vrtice interno se representan en orden de izquierda a derecha. Si el rbol con raz ordenado
tiene un vrtice interno del cual emanan dos hijos, el primero se nombra hijo izquierdo y el
segundo es llamado hijo derecho.

RBOLES DE DECISIN
Los rboles con raz pueden ser empleados para modelar problemas en los que una serie de
decisiones conducen a la solucin.

Por ejemplo, un rbol binario de bsqueda es utilizado para localizar elementos basados en
una serie de comparaciones, donde cada comparacin nos dice si hemos localizado el
elemento o si debemos ir a la izquierda o a la derecha. Un rbol con raz, en el que cada vrtice
interno corresponde a una decisin, con un subrbol en esos vrtices para cada posible
resultado de la decisin, se llama rbol de decisin.

El siguiente ejemplo ilustra una aplicacin de los rboles de decisin. Supngase que hay 7
monedas, todas con el mismo peso y una moneda falsa que pesa menos que las otras, el
cuestionamiento es: Cuntas pesadas son necesarias usando una balanza para determinar
cul de las ocho monedas es la falsa? Con el algoritmo se puede encontrar la moneda falsa.

Existen tres posibilidades cada vez que se realiza una pesada con la balanza, Las dos charolas
tienen un mismo peso, la primera charola pesa ms o la segunda pesa ms. En consecuencia,
el rbol de decisin de la secuencia de pesadas es un rbol 3-ario. Hay al menos 8 hojas en
el rbol de decisin, ya que hay ocho posibles resultados, y cada posible resultado tiene que
ser representado por al menos una hoja. El nmero ms grande de pesadas que se necesita
para determinar la moneda falsa es la altura del rbol de decisin. As, al menos dos pesadas
son necesarias. Es posible determinar la moneda falsa usando dos pesadas:

Pre-orden: (raz, izquierdo, derecho). Para recorrer un rbol binario no vaco en pre-orden,
hay que realizar las siguientes operaciones recursivamente en cada nodo, comenzando
con el nodo de raz:

1. Visite la raz

2. Atraviese el sub-rbol izquierdo

3. Atraviese el sub-rbol derecho

In-orden: (izquierdo, raz, derecho). Para recorrer un rbol binario no vaco en inorden
(simtrico), hay que realizar las siguientes operaciones recursivamente en cada nodo:

1. Atraviese el sub-rbol izquierdo

2. Visite la raz

3. Atraviese el sub-rbol derecho

 Post-orden: (izquierdo, derecho, raz). Para recorrer un rbol binario no vaco en post-
orden, hay que realizar las siguientes operaciones recursivamente en cada nodo:

1. Atraviese el sub-rbol izquierdo

2. Atraviese el sub-rbol derecho

3. Visite la raz

En general, la diferencia entre pre-orden, in-orden y post-orden es cundo se recorre la

raz. En los tres, se recorre primero el sub-rbol izquierdo y luego el derecho.

En pre-orden, la raz se recorre antes que los recorridos de los subrboles izquierdo y
derecho

En in-orden, la raz se recorre entre los recorridos de los rboles izquierdo y derecho, y

En post-orden, la raz se recorre despus de los recorridos por el subrbol izquierdo y el

derecho

Pre-orden (antes), in-orden (en medio), post-orden (despus).

Ejemplo: Aqu podemos observar un rbol y el recorrido de el.

Solucin:

Profundidad-primero

Secuencia de recorrido de pre-orden: F, B, A, D, C, E, G, I, H (raz, izquierda, derecha)

Secuencia de recorrido de in-orden: A, B, C, D, E, F, G, H, I (izquierda, raz, derecha); note

cmo esto produce una secuencia ordenada

Secuencia de recorrido de post-orden: A, C, E, D, B, H, I, G, F (izquierda, derecha, raz)

Anchura-primero

Secuencia de recorrido de orden por nivel: F, B, G, A, D, I, C, E, H

TEORIA DE GRAFOS

En teora de grafos, slo queda lo esencial del dibujo: la forma de las aristas no son relevantes,
slo importa a qu vrtices estn unidas. La posicin de los vrtices tampoco importa, y se
puede variar para obtener un grafo ms claro.
Generalmente, se considera que colocar los vrtices en forma de polgono regular da grafos
muy legibles. Prcticamente cualquier red puede ser modelada con un grafo: una red de
carreteras que conecta ciudades, una red elctrica o un alcantarillado.

Llamaremos grafo, G, al par ordenado formado por un conjunto finito no vaco, V, y un conjunto,
A, de pares no ordenados de elementos del mismo.
V es el conjunto de los vrtices o nodos del grafo.
A ser a el conjunto de las aristas o arcos del grafo.
Utilizaremos la notacin G = (V, A) para designar al grafo cuyos conjuntos de vrtices y aristas
son,
Respectivamente, V y A.

A cualquier arista de un grafo se le puede asociar una pareja de vrtices del mismo. Si u y v
son dos
Vrtices de un grafo y la arista a esta asociada con este par, escribiremos a = uv.

Por ejemplo, si
V = {v1, v2, v3, v4, v5}
y
A = {v1v2, v1v3, v1v4, v2v4, v2v5}
Entonces el grafo G = (V, A) tiene a v1, v2, v3, v4 y v5 como vrtices y sus aristas son v1v2,
v1v3, v1v4, v2v4 y v2v5.

GRAFO COMPLETO

GRAFO PLANO

GRAFO VALUADO
Por ejemplo, un representante comercial tiene que visitar n ciudades conectadas entre
s por carreteras; su inters previsible ser minimizar la distancia recorrida (o el tiempo,
si se pueden prever atascos). El grafo correspondiente tendr como vrtices las
ciudades, como aristas las carreteras y la valuacin ser la distancia entre ellas.

Y, de momento, no se conocen mtodos generales para hallar un ciclo de valuacin mnima,

pero s para los caminos desde a hasta b, sin ms condicin.
Algoritmo del camino mas corto

El problema de los caminos ms cortos es el problema que consiste en encontrar un camino

entre dos vrtices (o nodos) de tal manera que la suma de los pesos de las aristas que lo
constituyen es mnima.

Un ejemplo es encontrar el camino ms rpido para ir de una ciudad a otra en un mapa.

En este caso, los vrtices representan las ciudades, y las aristas las carreteras que las
unen, cuya ponderacin viene dada por el tiempo que se emplea en atravesarlas.
Formalmente, dado un grafo ponderado (que es un conjunto V de vrtices, un conjunto
E de aristas y una funcin de variable real ponderada f : E R) y un elemento v V
encuentra un camino P de v a v' V, tal que: