Tecnicatura en Desarrollo de Software

Teora de Grafos
El origen de la palabra grafo es griego y su significado etimolgico es trazar.
Un grafo es un objeto combinatorio, es decir, un conjunto de puntos y un conjunto de
lneas tomadas de entre el conjunto de lneas que une cada par de vrtices.
Los grafos son estructuras de datos no lineales que tienen una naturaleza generalmente
dinmica. Su estudio podra dividirse en dos grandes bloques:

Grafos dirigidos
Grafos no dirigidos
Un ejemplo de grafo dirigido lo constituye la red de aguas de una ciudad ya que cada
tubera slo admite que el agua la recorra con un nico sentido. Por el contrario, la red de
carreteras de un pas representa en general un grafo no dirigido, puesto que una misma
carretera puede ser recorrida en ambos sentidos.
Grafos dirigidos
Un Grafo dirigido G=(N, A) consiste en un conjunto N de nodos y un conjunto A de arcos
cuyos elementos son pares ordenados de distintos nodos.
Ejemplo:

Red dirigida:
Una red dirigida es un grafo dirigido cuyos nodos o arcos tienen asociados valores
numricos tales como costos, capacidades, ofertas, demandas, tiempo, etc. Denotaremos
el nmero de nodos con la letra n y al nmero de arcos con la letra m.
Grafos no dirigidos
Un grafo no dirigido G=(N,A) consiste en un conjunto N de nodos y un conjunto A de arcos
cuyos elementos son pares no ordenados de nodos distintos. Un grafo no dirigido permite
el flujo en ambas direcciones, es decir desde el nodo i al nodo j y viceversa.

Tecnicatura en Desarrollo de Software

Nodos/Vrtices adyacentes
Vrtices conectados por una arista (o un arco)

Aristas/Arcos adyacentes
Arcos, aristas con un vrtice comn.

Bucle
Arco, arista cuyo vrtice inicial y final coinciden.

Camino
Sucesin de arcos adyacentes tal que el vrtice final de cada arco coincide con el inicial
del siguiente.
Secuencia (w1, w2,.., wk) V.
Tal que (w1, w2), (w2, w3),.., (wk-1, wk) E
Longitud del camino
Nmero de arcos del camino (k-1).
Un camino se dice simple cuando todos sus arcos son distintos y se dice elemental
cuando no utiliza un mismo vrtice dos veces. Por lo tanto, todo camino elemental es
simple y el recproco no es cierto.
Un camino se dice Euleriano si es simple y adems contiene a todos los arcos del grafo.
Circuito
Camino que empieza y termina en el mismo vrtice.
Un circuito se dice simple cuando todos los arcos que lo forman son distintos y se dice
elemental cuando todos los vrtices por los que pasa son distintos. La longitud de un
circuito es el nmero de arcos que lo componen.
Un circuito elemental que incluye a todos los vrtices de un grafo se llama circuito
Hamiltoniano.

Tecnicatura en Desarrollo de Software

Definicin: Consideremos un camino x-y en un grafo no dirigido G= (V, E)

a) Si no se repite ninguna arista en el camino x-y, entonces el camino es un recorrido
x-y. Un recorrido x-x cerrado es un circuito.
b) Cuando ningn vrtice del camino x-y se presenta ms de una vez, el camino es
un camino simple x-y. El trmino ciclo se usa para describir un camino simple
cerrado x-x.
Observacin: El trmino ciclo implicar siempre la presencia de al menos tres aristas
distintas (del grafo).
VRTICE(S)
REPETIDO(S)
SI
SI
SI
SI
NO
NO

ARISTA(S)
REPETIDA(S)
SI
SI
NO
NO
NO
NO

ABIERTO
SI
--------SI
--------SI
---------

CERRADO
--------SI
--------SI
--------SI

NOMBRE
Camino
Camino (cerrado)
Recorrido
Circuito
Camino Simple
Ciclo

Definicin
Sea G= (V, E) un grafo no dirigido. Decimos que G es conexo si existe un camino simple
entre cualesquiera dos vrtices distintos de G.
Sea G= (V, E) un grafo dirigido. Su grafo no dirigido asociado es el grafo obtenido de G si
no se tienen en cuenta las direcciones de las aristas. Si se obtiene ms de una arista no
dirigida de un par de vrtices distintos de G, entonces slo una de estas aristas se dibuja
en el grafo no dirigido asociado. Cuando este grafo asociado es conexo, consideramos
que G es conexo.
Un grafo que no es conexo es disconexo.
Tipos de grafos: Encontramos grafo etiquetado, ponderado y multigrafo.
Grafo etiquetado: Cada arista y/o vrtice tiene asociada una etiqueta/valor.
Grafo ponderado: Grafo etiquetado o en el que existe un valor numrico asociado
a cada arista o arco.
Multigrafo: Grafo en el que se permite que entre dos vrtices exista ms de una
arista o arco.
Definicin: Un grafo G = (V, E) es un multigrafo si existen a, b V, ab, con dos o
ms aristas de la forma (a) (a,b) para un grafo dirigido o (b) {a,b} para un grafo no
dirigido.

Tecnicatura en Desarrollo de Software

Definicin: Dado un grafo (dirigido o no) G = (V, E), sea G 1=(V1, E1) un subgrafo de G. Si
V1=V, entonces G1 es un subgrafo recubridor de G.
Coloreado de vrtices
Dada una situacin descrita mediante un grafo, podemos dividir los vrtices en distintas
clases marcndolos con colores u otra seal distinta.
Una clasificacin de este tipo se llama coloreado.
El coloreado se puede aplicar para la solucin de problemas diversos, como por ejemplo:
el asignar hora a 6 cursos diferentes c1, c2, c3, c4, c5, c6de modo que dos cursos con
alumnos comunes no tengan asignada la misma hora. Para ello construimos un grafo G 0
cuyas aristas representan a los pares de cursos que tienen oyentes comunes y nos
planteamos el problema de asignar distinta hora a vrtices adyacentes.
C4

C3

c5

c1

c6

c2

Definicin: Coloreado de vrtices de un grafo G = (V, E) con colores tomados de un

conjunto finito C es cualquier funcin C: V

C tal que si

{x; y}

E, entonces

C ( x ) c ( y ).
rbol
Sea G= (V, E) un grafo no dirigido sin lazos. El grafo G es un rbol si G es conexo y no
contiene ciclos.
Un rbol recubridor de un grafo conexo es un subgrafo recubridor que tambin es un
rbol.
Propiedades
1. Si a, b son vrtices distintos en un rbol T = (V, E), entonces hay un nico camino
que conecta esos vrtices.
2. Si G = (V, E) es un grafo no dirigido, entonces G es conexo si y solo si G tiene un
rbol recubridor.
rboles con raz
Si G es un grafo dirigido, entonces G es un rbol dirigido si el grafo no dirigido asociado
con G es un rbol. Si G es un rbol dirigido, G es un rbol con raz si existe un nico

Tecnicatura en Desarrollo de Software

vrtice r en G, llamado raz, tal que el grado de entrada de

dems vrtices v, el grado de entrada de v es

ge ( v )=1 .

r=g e ( r )=0 y para todos los