rboles

Un rbol es un grafo simple en el cual existe un nico camino entre cada par de
vrtices.
Sea G =(V,! un grafo no dirigido. G se denomina "#$%, si es conexo & no
contiene ciclos.
Un rbol con ra'(, es un rbol )ue tiene un vrtice particular designado como
ra'(.
*+emplo de rbol,
*n la figura anterior G- corresponde a lo )ue llamamos mediante la definici.n
"#$%, en el caso de G/, ste no corresponde debido a )ue contiene un ciclo.
0odemos destacar )ue cuando un grafo G es un 1rbol, se reempla(a G, por ".
*n la figura mostrada G- es un subgrafo de G/, en el )ue G- contiene los
vrtices de G/ & es rbol, adems lo llamaremos 2rbol abarcador3, por )ue
proporciona conexi.n minimal para el grafo & un es)ueleto minimal )ue une los
vrtices.
*+emplo de rbol ra'(,
0ara apo&ar el entendimiento de las definiciones entregadas agregaremos
algunos teoremas.
Teorema:
Si a, b son vrtices de un rbol " (V,!, entonces 4a& un camino nico )ue
conecta estos vrtices.
Teorema:
*n cual)uier rbol "= (V,!, 5V5 = 55 6 -.
Teorema:
0ara cual)uier rbol " = (V,!, si 55 7= /, entonces " tiene al menos dos
vrtices colgantes.
Teorema:
Sea G un grafo simple con v vrtices, entonces se puede decir,
G es un rbol.
G es conexo & no contiene circuitos.
1
G es conexo & tiene (n8-! lados.
G no contiene circuitos & tiene (n8-! lados.
rboles con Raz
Sea G un grafo dirigido, se denomina 2rbol dirigido3 si el grafo no dirigido
asociado con G es un rbol. 9uando G es un rbol dirigido, se denomina 2rbol
con ra'(3 si 4a& un nico vrtice r, la ra'(.
Sea G un grafo con ra'( V:. Sup.ngase )ue x, &, ( son vrtices en G & )ue (v:,
v-, ..., vn!, es un camino en G.
V(n8-! es el padre de v(n!.
V:, v-, ..., v(n8-! son los antepasados de v(n!.
V(n! es el 4i+o de v(n8-!.
Si x es un antepasado de &, entonces & es un descendiente de x.
Si x e & son 4i+os de ( entonces x e & son 4ermanos.
Si x no tiene 4i+os entonces x es un vrtice ;erminal.
Si x no es un vrtice ;erminal, entonces x es un vrtice interno.
*l subgrafo de G )ue consiste en x & todos sus descendientes, con x
como ra'(, es el subarbol de G )ue tiene a x como ra'(.
Sea "= (V,! un rbol con ra'( r. Si " no tiene otros vrtices, entonces la ra'(
misma constitu&e el recorrido en orden previo, simtrico & posterior de ". Si 5V5
7 -, sean "-, "/, "<, ...., "= los subarboles de " segn se va de i()uierda a
derec4a.
> *l recorrido de orden previo de " comien(a en r & despus pasa por los
vrtices de "- en orden previo, a continuaci.n por los vrtices de "/ en orden
previo, & as' sucesivamente 4asta )ue se pasa por los vrtices de "= en orden
previo.
> *l recorrido en orden simtrico de " primero, se pasa por los vrtices de "-
en orden simtrico, despus por la ra'( r & a continuaci.n por los vrtices de los
subarboles "/, "<,...., "= en orden simtrico.
> *l recorrido en orden posterior de " pasa por los vrtices de los subarboles
"-, "/,...., "= en orden posterior & a continuaci.n por la ra'(.
Un rbol binario es uno con ra'( en el cual cada vrtice tiene un 4i+o a la
derec4a o un 4i+o a la i()uierda, o viceversa, o bien ningn 4i+o. Un rbol
binario completo es uno en el cual cada vrtice tiene un 4i+o a la derec4a & uno
a la i()uierda, o bien ningn 4i+o.
2
Teorema:
Si ; es un rbol binario completo con i vrtices internos, entonces ; tiene i 6 -
vrtices terminales & /i 6 - vrtices en total.
Un rbol binario de bs)ueda es un rbol binario ; donde se 4an asociado
datos a los vrtices. %os datos se disponen de manera )ue para cual)uier
vrtice v en ;, cada dato en el subarbol a la i()uierda de v es menor )ue el
dato correspondiente a v.
ARBOLES GENERADORES
Un rbol ; es un rbol generador de un grafo G si ; es un subgrafo de G )ue
contiene todos los vrtices de G.
esta caracter'stica general es posible agregar ciertos teoremas de modo de
detallar an ms el alcance de la definici.n. *s as' como el Grafo )ue contiene
a ; debe ser conexo, pues de lo contrario no existir'a un subgrafo )ue
contuviera todos sus vrtices.
*n general un grafo G tendr varios rboles generadores ,como el del e+emplo
- el cual tiene a lo menos dos arboles generadores ;- &;/.
ARBOLES GENERADORES MINIMALES
Un 1rbol Generador ?inimal es el )ue resulta de la construcci.n en primer
lugar de un 1rbol generador, pero coon la caracter'stica de ser el de menos
peso del grafo al cual genera.
0or e+emplo sea un grafo ponderado ( con peso! con cinco vrtices. %a idea es
construir un subgrafo )ue una a todos los puntos pero con el m'nimo de peso
(el peso se refiere al valor )ue se le da a cada uno de los lados de un grafo!.
*ste subgrafo debe ser un rbol generador, &a )ue debe unir todos los vrtices,
debe ser conexo & debe 4aber un nico camino entre cada par de vrtices, por
lo tanto, lo )ue se necesita es un rbol generador con el m'nimo de peso, es a
esto lo )ue se llama rbol generador minimal.
@ef., Sea G un grafo con peso. Un rbol generador m'nimal de G es un rbol
generador de G con peso m'nimo.
*+., Sea el Grafo G ,
%os 1rboles ;- & ;/ son arboles generadores de G, sin embargo el peso de
ambos es distinto (;-=</ & ;/=A-!. 0or lo tanto el 1rbol Generador ?inimal de
G es ;-.
1rboles Generadores ?inimales se pueden generar con algoritmos como el
lgoritmo de 0rim, el cual constru&e un rbol en forma iterativa, agregando
lados 4asta obtener un rbol generador minimal. *n cada iteraci.n se coloca un
3
lado de peso m'nimo )ue no forme un circuito con el rbol )ue se 4a construido
con iteraciones anteriores.
*ste algoritmo es un e+emplo de algoritmo vora(, el cual optimi(a la selecci.n
4ec4a en cada iteraci.n sin considerar las elecciones )ue corresponden a
iteraciones anteriores.
$tro algoritmo )ue origina un rbol generador minimal en un grafo G de n
vrtices, conexo & con peso es el lgoritmo de Brus=al.
FUENTES DOCUMENTALES

REFERENCIAS ELECTRONICAS:
http:ht!l"r#ncon$el%a&o"co!!ate!at#cas'$#scretas(arboles"ht!l
4