Programaci

on Imperativa Modular

Grafos

Un Grafo dirigido es una pareja (V , E ) donde V es un conjunto

finito de nodos (vertices) y E es una relaci
on binaria sobre V. Las
parejas en E se denominan arcos (edges).

V ={1, 2, 3, 4, 5, 6}
E ={(1, 2), (2, 2), (2, 4), (2, 5)
(4, 1), (4, 5), (5, 4), (6, 3) }
Programaci
on Imperativa Modular

Grafos

En un Grafo no dirigido (V , E ), las parejas en E no estan

ordenadas y pueden verse como conjuntos de 2 nodos aunque se
acostumbra usar la notaci
on de parejas con los dos elementos
diferentes.
Los nodos u y v son adyacentes si
(u, v ) E
El grado de un nodo es el n umero de
arcos que llegan a (o salen de) el.
Si el grado es 0, el nodo est
a aislado.
Programaci
on Imperativa Modular

Grafos

Un camino de longitud k entre los nodos p y q en

(V , E ) es una sucesi
on de nodos v0 , v1 , . . . , vk tal que
p = v0 , q = vk y (vi1 , vi ) E para 1 i k.
Siempre hay un camino de longitud 0 entre el nodo v
y s mismo.
Un camino es simple si todos sus nodos son diferentes.
El nodo q es alcanzable desde el nodo p si existe un
camino que comienza en p y termina en q.
Un camino v0 , v1 , . . . , vk forma un ciclo si v0 = vk .
Un grafo es acclico si no tiene ciclos.
Programaci
on Imperativa Modular

Grafos

Un grafo no dirigido es conexo si cada nodo es

alcanzable a partir de todos los dem
as.
Un subconjunto de nodos de un grafo es una
componente conexa si los nodos son alcanzables entre
s.
Un grafo no dirigido es completo si cualquier par de
nodos son adyacentes.
Programaci
on Imperativa Modular

Grafos

Un bosque es un grafo acclico no Un arbol (libre) es un grafo acclico, no

dirigido dirigido y conexo
Programaci
on Imperativa Modular

Propiedades de los Arboles (libres)

Sea G = (V , E ) un grafo no dirigido. Las siguientes proposiciones son

equivalentes:

G es un
arbol libre.
Cualquier par de nodos de G est
an conectados
por un u
nico camino simple.
G es conexo, pero si se retira cualquier arco de E ,
el grafo resultante no es conexo.
G es conexo y |E | = |V | 1
G es acclico y |E | = |V | 1
G es acclico, pero si agrega un nuevo arco a E ,
el grafo resultante es cclico.
Programaci
on Imperativa Modular

Arboles (con raz)

Un
arbol con raz es un
arbol con un nodo distinguido r (la raz)

Para un nodo x en un
arbol con raz r :
- Cualquier nodo y en el camino de r a x es un
ancestro de x.
- Si y es un ancestro de x entonces x es un
descendiente de y .
- El sub
arbol con raz en x es el
arbol formado
por x y todos sus descendientes.
- Si el ultimo arco del camino entre r y x es
(y , x), y es el padre de x y x es hijo de y
- La raz es el u
nico nodo que no tiene padre.
- Si dos nodos tienen el mismo padre, son
hermanos.
Programaci
on Imperativa Modular

Arboles (con raz)

Para un nodo x en un
arbol con raz r :
- Un nodo sin hijos es una hoja o nodo
externo.
- Un nodo que no es una hoja es un nodo
interno.
- El n
umero de hijos de un nodo es igual al
grado del nodo.
Programaci
on Imperativa Modular

Arboles (con raz)

Para un nodo x en un
arbol con raz r :
- La longitud del camino de r a x es la
profundidad de x.
- Todos los nodos de la misma profundidad
conforman un nivel del arbol.
- La altura de x es el n
umero de arcos del
camino m as largo desde x hasta una hoja.
- La altura del
arbol es la altura de su raz.
Programaci
on Imperativa Modular

Arboles ordenados

En un
arbol ordenado, los hijos de cada nodo tienen un orden:
primer hijo, segundo hijo, etc.
Programaci
on Imperativa Modular

Arboles binarios

Un arbol binario T es una estructura definida sobre un conjunto finito de nodos

tal que:
No tiene nodos, o
Esta compuesta de tres conjuntos disyuntos de nodos: una raz, un arbol
binario llamado el sub arbol izquierdo y un
arbol binario llamado el
subarbol derecho.
- El
arbol binario sin nodos es el
arbol
nulo.
- Si el sub
arbol izquierdo/derecho no es
nulo, su raz es el hijo
izquierdo/derecho de la raz del
arbol
completo.
- Si un sub
arbol es nulo se dice que el
hijo correspondiente no existe.
Programaci
on Imperativa Modular

Arboles binarios

Un arbol binario es mas que un arbol ordenado.

Programaci
on Imperativa Modular

Arboles binarios

En un
arbol binario completo cada nodo o es una hoja o tiene
grado 2.