ELO-320 1

Definiciones: conjuntos, grafos, y

rboles
Agustn J. Gonzlez
ELO 320: Estructura de Datos y
Algoritmos. 2004
ELO-320 2
Conjuntos (sets) y Grafos (graphs)
Un Conjunto es una coleccin de objetos distintos.
No hay diferencia con lo ya aprendido en teora de conjuntos en
matemticas.

Grafos: los hay de dos sabores grafos dirigidos y grafos no dirigidos.
Un Grafo Dirigido (o digrafo) G es un par (V,E), donde V es un conjunto
finito y E es una relacin binaria sobre V. Es decir, E es una subconjunto
del producto cartesiano VxV.
V es llamado el conjunto de vrtices de G, y cada elemento es llamado
vrtice o nodo.
E es llamado el conjunto de arcos de G, y cada elemento es llamado arco.
En un grafo dirigido es posible tener arcos apuntando al mismo nodo de
salida (u,v), con u=v.

Un Grafo No Dirigido G =(V,E) de arcos E consiste de pares no ordenados.
Es decir, un arco es un conjunto {u, v}. Se acostumbra anotar (u,v) en
lugar de {u,v}; (u,v) y (v,u) son considerados el mismo arco.
No hay arcos al mismo nodo en un grafo no dirigido. u v.
ELO-320 3
Ejemplos de Grafos
Grafo dirigido G=(V,E),
V={1,2,3,4,5,6}
E={(1,2),(2,2),(2,4),(2,5),
(4,1),(4,5),(5,4),(6,3)}
1
2
4
5
6
3
1
2
4
5
6
3
Grafo no dirigido G=(V,E),
V={1,2,3,4,5,6}
E={(1,2),(1,5),(2,5),(3,6)}
ELO-320 4
Otras Definiciones En Grafos
Camino de largo k desde un vrtice u a otro u es la
secuencia <vo,v1,..,vk> de vrtices tal que u=vo,
u=vk, y (vi-1,vi) pertenece a e para i=1,2,..k.
Camino simple si todos los vrtices son distintos en el
camino.
Ciclo en grafo dirigido: es un camino <vo,v1, ,vk>
donde vo=vk y el camino contiene al menos un arco.
Ciclo en grafo no dirigido: es un camino de largo tres
o ms que conecta un vrtice con el mismo.
Un ciclo es simple si v1, v2, .., vk son distintos.
Grafo acclico es aqul que no tiene ciclos.
ELO-320 5
Caminos y ciclos
Camino simple: {4,1,2,5}
Camino: {4,1,2,2,5}
Ciclo simple: {5,4,1,2,5}
Ciclo: {2,5,1,2}
Adems este ciclo es
simple.
Ciclo: {5,1,2,5,1,2,1,2,5}
1
2
4
5
6
3
1
2
4
5
6
3
ELO-320 6
Definiciones en grafos (Cont)
Un Grafo no dirigido es conexo si cada par de vrtices estn
conectados por un camino.
Las componentes conexas de un grafo son las clases de
equivalencia bajo la relacin es alcanzable. En otras palabras,
son los conjuntos de vrtices alcanzables entre s.
Un grafo dirigido es fuertemente conexo si cada par de nodos es
alcanzable de uno al otro.
Las componentes fuertemente conexas de un grafo dirigido son
los conjuntos de vrtices mutuamente alcanzables.
Foresta: grafo no dirigido y acclico
rbol libre: grafo no dirigido, acclico, y conexo.
Dag: grafo acclico dirigido (Directed acyclic graph)
ELO-320 7
Conexos Y Componentes Conexas
Es dirigido y no
fuertemente conexo.
Las componentes conexas
son: {{1,2,5,4}, {3},{6}}

Es no dirigido y no
conexo.
Las componentes conexas
son: {{4}, {1,2,5},{3,6}}
1
2
4
5
6
3
1
2
4
5
6
3
ELO-320 8
Divertimento
Cmo alinear 10 soldados en 5 filas, lneas o
columnas de 4 hombres cada una?
ELO-320 9
rboles
rbol libre: es un grafo no dirigido acclico conexo.
Foresta: es menos restrictivo, es un grafo no dirigido acclico.
Es decir, da la posibilidad que sea no-conexo.






rbol con raz: es un rbol libre en el cual un vrtice se
distingue del resto. Este vrtice es la raz.
Nodo: es el trmino usado para referirse a un vrtice de un
rbol con raz.

rbol libre Foresta
Ni rbol ni foresta, slo un grafo
ELO-320 10
rboles: ms conceptos
Ancestro: cualquier nodo en el camino a la raz de un nodo y es
un ancestro de y.
Descendiente : si x es un ancestro de y, y es un descendiente
de x.
Si y es un descendiente de x con xy, y es un descendiente
propio de x
Anlogamente podemos definir un ancestro propio.
Si (x,y) es el ltimo arco en el camino desde la raz hacia y,
entonces x es el padre de y e y es el hijo de x. La raz es el
nico nodo sin padre.
Si dos nodos tienen el mismo padre son hermanos
Un nodo sin hijos es un nodo externo u hoja.
Los nodos no hojas son nodos internos.
ELO-320 11
Altura de un rbol
El largo de un camino es igual al nmero de arcos del camino.
El largo del camino desde la raz a un nodo x es la profundidad
de x.
La profundidad ms grande de cualquier nodo del rbol T es la
altura de T.
=> La altura de un rbol es el largo del mayor camino de la raz
a una hoja.
Profundidad 0
Profundidad 3
Profundidad 4
Profundidad 5
Profundidad 2
Profundidad 1
Altura 5
ELO-320 12
rboles binarios
rbol binario: Un rbol binario T es una estructura
definida sobre un conjunto finito de nodos que
cumple:
no contiene nodos (rbol vaco o nulo).
Est compuesta de tres conjuntos disjuntos: un nodo raz,
un rbol binario llamado sub-rbol izquierdo, y un rbol
binario llamado sub-rbol derecho.
Hijo izquierdo / hijo derecho: la raz del sub-rbol
izquierdo / derecho
Cuntos nodos posee como mximo un rbol binario
de altura h?