Tecnicatura Superior en Analisis de Sistemas

TECNOLOGA COMPUTACONAL
Tema 9: Grafos
Introduccin
La teora de grafos es una disciplina que es importante tanto para las matematicas
como para la teora de la computacion. En esta ultima disciplina todo es manejado a
traves de los grafos que son estructuras discretas que constan de puntos y de lneas
que se conectan entre s. Es importante saber que existen diferentes tipos de grafos,
que se distinguen entre s por el tipo y el numero de lneas que pueden conectar para
cada par de puntos.
Hay muchas situaciones en las cuales el modelado ms conveniente de los datos de
una aplicacin es mediante grafos, por ejemplo la representacin de una red de
carreteras, calles, telecomunicaciones, electrificacin, planificacin de tareas, etapas
de un proceso industrial, redes telefonicas, electricas, bases de datos, sistemas
operativos y de comunicaciones en general.
Grafo
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 vertices o nodos del grafo.
A seria el conjunto de las aristas o arcos del grafo.
Utilizaremos la notacion G = (V, A) para designar al grafo cuyos conjuntos de vertices
y aristas son, respectivamente, V y A.
Por lo tanto podemos decir que un grafo es un conjunto de puntos (vertices) en el
espacio, que estan conectados por un conjunto de lneas (aristas).
A cualquier arista de un grafo se le puede asociar una pareja de vrtices del mismo.
Si c y d son dos vrtices de un grafo y la arista a est asociada con este par, entonces
a = cd
Por ejemplo, si
V = {A,B,C,D,E,F,G,H} y A = {AB, AD, AC,CD,CF,EG,AA}
Entonces el grafo G = (V, A) tiene a A,B,C,D,E,F,G,H como vrtices y sus aristas son
AB, AD, AC,CD,CF,EG y AA.
Aristas
Son las lneas con las que se unen los nodos de un grafo y con la que se construyen
tambin caminos. Si la arista carece de direccin se denota indistintamente {AB} o
{BA}, siendo A y B los vrtices que une.
Si {AB } es una arista, a los vrtices A y B se les llama sus extremos.

 Aristas Adyacentes: Se dice que dos aristas son adyacentes si convergen en el

mismo vrtice.
Aristas Paralelas: Se dice que dos aristas son paralelas si vrtice inicial y el final son
el mismo.
Aristas Cclicas: Arista que parte de un vrtice para entrar en el mismo.
Cruce: Son dos aristas que cruzan en un punto.
Vrtices
Son los puntos o nodos con los que est conformado un grafo. Llamaremos grado de
un vrtice al nmero de aristas de las que es extremo. Se dice que un vrtice es par o
impar segn lo sea su grado.
Vrtices Adyacentes: si tenemos un par de vrtices de un grafo (U, V) y si tenemos
un arista que los une, entonces U y V son vrtices adyacentes y se dice que U es el
vrtice inicial y V el vrtice adyacente.
Vrtice Aislado: Es un vrtice de grado cero.
Vrtice Terminal: Es un vrtice de grado 1.
Caminos
Sean A, B " V, se dice que hay un camino en G de A a B si existe una sucesin finita no
vaca de aristas {A, V1}, {V1,V2},..., {Vn , B}. En este caso
A y B se llaman los extremos del camino
El nmero de aristas del camino se llama la longitud del camino.
Si los vrtices no se repiten el camino se dice propio o simple.
Si hay un camino no simple entre 2 vrtices, tambin habr un camino simple entre
ellos.
Cuando los dos extremos de un camino son iguales, el camino se llama circuito o
camino cerrado.
Llamaremos ciclo a un circuito simple
Un vrtice B se dice accesible desde el vrtice A si existe un camino entre ellos.
Todo vrtice es accesible respecto a si mismo
Se dice que un grafo est conectado si existe como mnimo un camino entre
cualquier par de vrtices distintos
Representacin grafica
Un grafo se representa mediante
un diagrama en el cual a cada
vrtice le corresponde un punto y
si dos vrtices son adyacentes se
unen sus puntos correspondientes
mediante una lnea.
El grafo G = (V, A) tiene a
V = {A,B,C,D,E,F,G,H} y
A = {AB, AD, AC,CD,CF,EG,AA}

Ejemplo: Red de
ordenadores

Clasificacin de grafos
Los grafos se pueden clasificar en dos grupos: dirigidos y no dirigidos. En un grafo no
dirigido el par de vrtices que representa un arco no est ordenado. Por lo tanto, los
pares (B,C ) y (C,B) representan el mismo arco. En un grafo dirigido cada arco est
representado por un par ordenado de vrtices, de forma que representan dos arcos
diferentes tal que (B,C) (C, B).
Entonces podemos decir que en un grafo dirigido el orden importa, (B,C) (C,B). El que el
vrtice B est conectado con el vrtice C no implica que el vrtice C est conectado con
el vrtice B. Por el contrario en un grafo no dirigido el orden no importa,
(B,C) (C,B) . (B,C) A (C,B) A.
Grafo no dirigido

Grafo dirigido

En muchas aplicaciones de los grafos las aristas llevan asociada informacin adicional.
En ese caso hablaremos de grafos etiquetados. Si esa informacin es numrica y
tiene el significado del coste necesario para recorrer esa arista, entonces usaremos el
nombre de grafo ponderado o red.

Red: Grafo en el que cada arista lleva asociado un coste (de aqu en adelante lo
llamaremos longitud).
Definiremos la funcin longitud entre los vrtices B y C de una red como:
0 si B=C
Longitud(B,C)

si (B,C) A
Coste(B,C) si (B,C) A

Para un grafo que no sea una red se supone que todas las aristas tienen coste unidad.

Representacin de grafos
Las dos representaciones principales de grafos son las siguientes:
Matriz de Adyacencia (MA): Se utiliza una matriz de tamao n n donde las filas
y las columnas hacen referencia a los vrtices para almacenar en cada casilla la
longitud entre cada par de vrtices del grafo. La celda MA[A,B] almacena la
longitud entre el vrtice A y el vrtice B o el coste en el caso de que lo tuviera. Si
su valor es infinito significa que no existe arista entre esos vrtices, y MA[A, B] =
0.

 Lista de Adyacencia (LA): Se utiliza un vector de tamao n (un elemento por

cada vrtice) donde LA[B] almacena la referencia a una lista de los vrtices
adyacentes a B. En una red esta lista almacenar tambin la longitud de la arista
que va desde B al vrtice adyacente.
Existen varias posibilidades a la hora de representar la lista de vrtices: arrays
dinmicos, listas enlazadas o usar una lista de adyacencia aplanada: Se
almacenan todas las listas de manera contigua en un nico vector, VA, de tamao
m, y en el vector LA se almacenan ndices al vector VA. La lista de adyacencia del
vrtice B se encuentra en VA[LA[B] .. LA[B+1]-1]. Esta representacin es til
cuando no se vaya a modificar el grafo.

Bibliografa
Sistemas Digitales y Sistemas de Computadores, Ed. Angulo Usategui, J. M. y Garca
Zubia, J, (2001), Thomson Paraninfo, Madrid, Espana.
Sistemas Digitales, Ronald J. Tocci
Apuntes de grado en Informtica-UNED.
http://informatica.isipedia.com/primero/logica-y-estructuras-discretas/matematicadiscreta/02-introduccion-a-la-teoria-de-grafos