TEORA GRAFOS, material de estudio

complementario

TEORA DE GRAFOS
Material de estudio complementario
O
1

TEORA GRAFOS, material de estudio

complementario

1. CAMINOS, ACCESIBILIDAD Y CONEXIONES

En los grafos se tienen caminos que se definen de la siguiente manera:
Definicin: Sea G(N,A) un digrafo sencillo. Se dice que una sucesin de aristas es un camino
de G si y solo si el nodo terminal de cada arista del camino es el nodo inicial de la prxima
arista del camino, si lo hubiere.
Se dice que un camino recorre los nodos que aparecen en la sucesin, comenzando en el
nodo inicial de la primera arista y finalizando en el nodo terminal de la ltima arista de la
sucesin.
Definicin: El nmero de aristas que aparecen en la sucesin de un camino se denomina
longitud del camino.
Desde el punto de vista de la comprobacin, en el grafo de flujo de un mdulo estamos
interesados en el conjunto de caminos independientes de ese grafo. Un camino
independiente tiene que contener al menos una arista que no est contenida en un camino
anterior.
Definicin: Un camino de un digrafo en el cual todas las aristas sean distintas se denomina
camino sencillo. Un camino en el que todos los nodos sean diferentes de denomina camino
elemental.
Ciertamente todo camino elemental de un digrafo es tambin sencillo.
Definicin: Un camino que comienza y acaba en un mismo nodo es lo que se denomina un
ciclo (circuito). Un ciclo se denomina sencillo si ninguna arista del ciclo aparece ms de una
vez en el camino. Un ciclo se denomina elemental si no pasa por ningn nodo ms de una
vez.
Observe que todo camino que no sea elemental contendr ciclos que pasen por los nodos
que aparezcan ms de una vez en el camino.
Los dgrafos que generan muchas aplicaciones nunca contienen ciclos: por ejemplo los
grafos de planificacin nunca contienen ciclos. Este tipo de grafo ha dado lugar a la
definicin siguiente:
Definicin: Un digrafo que no contenga ningn ciclo se denomina acclico.

TEORA GRAFOS, material de estudio

complementario

Naturalmente, los grafos acclicos no pueden tener bucles.

Definicin: Sea = (, ) un digrafo sencillo. Entonces se define la relacin de camino,
de de la forma = {(, )|existe un camino del nodo al nodo }
Si un nodo resulta alcanzable desde el nodo , entonces un camino de longitud mnima
que vaya desde a se denomina camino de longitud mnima. La longitud de un camino
de longitud mnima del nodo al nodo se denomina distancia, y se denota como (, ).
Se supone que (, ) = 0 para todo nodo .
La distancia d(u,v) desde un nodo u hasta un nodo v satisface las propiedades siguientes:
(, ) 0
(, ) = 0
(, ) + (, ) (, )
La ltima desigualdad se denomina desigualdad triangular. Si no se puede alcanzar desde
, entonces suele escribirse (, ) = .

BIBLIOGRAFA
http://www.cs.sunysb.edu/~algorith/files/dfs-bfs.shtml

G. Hernandez, Grafos: Teora y Algoritmos. Servicio de Publicaciones, Facultad

de Informtica, UPM, 2003.
G. Chartrand, O.R. Oellermann: Teora de grafos, aplicacin y algoritmos, Ed. Mc.
Graw Hill, 2000.