TEORIA DE GRAFOS

Definicin
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 vrtices o nodos del grafo.
A ser el conjunto de las aristas o arcos del grafo.
Utilizaremos la notacin G = (V,A) para designar al
grafo cuyos conjuntos de vrtices (nodos) y aristas
(arcos) son, respectivamente, V y A.

Definicin
Vrtices Adyacentes
Diremos que los vrtices u y v son adyacentes,
si existe una arista, tal que a = uv.
A los vrtices u y v los llamaremos extremos de
la arista.

Representacion de un Grafo

G = (V,A)
V = {v1, v2, v3, v4, v5}
A = {v1v2, v2v3, v2v5, v3v4, v3v5}

Vrtices adyacentes: v1 y v2; v2 y v3; v2 y v5; v3 y v4; v3 y

v5.
Vrtices no adyacentes: v1 y v3; v1 y v4; v2 y v4; v4 y v5.

Definicin
Multigrafos
Llamaremos de esta forma a los grafos en los que
haya pares de vrtices unidos por ms de una
arista.

V = {v1, v2, v3}

A = {v1v2, v1v2, v1v3, v1v3, v2v3}

Definicin
Pseudografo
Llamaremos pseudografos a los grafos en los que
existan aristas cuyos extremos coincidan, es decir,
aquellos en los que existan aristas que unan
vrtices consigo mismos. A tales aristas las
llamaremos bucles o lazos.

V = {v1, v2, v3}

A = {v1v2, v1v3, v2v3, v1v1}

Pseudomultigrafo
Pseudografo + Multgrago

V = {v1, v2, v3}

A = {v1v2, v1v2, v1v3, v1v3, v2v3, v1v1}

Definicin
Dgrafo
Es un grafo en el cual el conjunto de las aristas A
est formado por pares ordenados del conjunto de
vrtices V . Lo llamaremos tambin grafo dirigido.

Grados
Definicin
Grado de un Vrtice
Llamaremos grado o valencia de un vrtice al nmero de aristas
que incidan en l.
Notaremos por grG(v) al grado del vrtice v en el grafo G y cuando
no haya posibilidad de confusin gr(v).
Definicin
Vrtice Aislado
Un vrtice de grado cero se denomina aislado.
Definicin
Grafo Regular
Un grafo se dice que es regular cuando todos sus vrtices tienen
el mismo grado.

Suma de Grados de un
Grafo
a). La suma de todos los grados de un grafo es igual
al doble del numero de sus aristas.

b). El numero de vrtices de grado impar es par.

Comprobar que la suma de los grados de los

vrtices de los grafos la figura es igual al doble del
nmero de sus aristas y que el nmero de vrtices
de grado impar es par.

Se puede construir un grafo regular con 10 aristas

en el que cada vrtice tenga grado 4?

Definicin

Grado de Entrada y de Salida

Si v es un vrtice de un dgrafo D, entonces

su grado de entrada gre(v) es el nmero de
arcos en D de la forma uv y su grado de
salida grs(v) es el nmero de arcos en D de la
forma vu.

Definicin

Isomorfismo de Grafos

Dos grafos G1 = (V1,A1) y G2 = (V2,A2) se

dice que son isomorfos cuando existe una
biyeccin entre los conjuntos de sus vrtices
que conserva la adyacencia. Si los grafos G1 y
G2 son isomorfos, notaremos G1 G2.

Construir un grafo isomorfo al de la siguiente figura

V1 = {u1, u2, u3, u4}

A1 = {u1u2, u1u3, u1u4, u2u3, u2u4, u3u4}

V2 = {v1, v2, v3, v4}

A2 = {v1v2, v1v3, v1v4, v2v3, v2v4, v3v4}

grG1(ui) = grG2(f(ui))

vi=f(ui)

Definicin
Invariante de un Grafo
Un invariante de un grafo G es un nmero
asociado con G que tiene el mismo valor para
cualquier grafo que sea isomorfo con l.

Definicin
Invariancia del Grado
Dado un grafo G, el grado de cualquiera de sus
vrtices es un invariante de G.

EJERCICIOS
(a) Probar que los grafos G1 y G2 en la figura no son isomorfos.
(b) Probar que los grafos G3 y G2 en la figura no son isomorfos.

Definicin

Subgrafos

Un subgrafo de un grafo G = (V (G),A(G)) es un grafo

H = (V (H),A(H)) tal que V (H) V (G) y A(H)
A(G).

G = ({v1, v2, v3, v4} , {v1v2, v1v3, v1v4, v2v3, v2v4, v3v4})
H1 = ({v1, v2, v4} , {v1v2, v1v4, v2v4})
H2 = ({v1, v2, v3, v4} , {v1v2, v1v4, v2v4})
H3 = ({v2, v3, v4} , {v2v3, v3v4})

Definicin

Subgrafo Expandido

Un subgrafo expandido de un grafo G, es un subgrafo

que contiene todos los vrtices de G.
En el ejemplo anterior, H2 es un subgrafo expandido de
G

Definicin
Subgrafo

Inducido

Para cualquier subconjunto W de vrtices de un grafo G, llamaremos subgrafo inducido por W, y lo

notaremos hWi, al subgrafo de G que se obtiene tomando los vrtices de W y las aristas de G que
son incidentes con ellos.
Por tanto, dos vrtices de W son adyacentes en hWi si, y slo si son adyacentes en G

En la figura anterior, H2 es un subgrafo expandido de G, ya que contiene a todos los vrtices de G,

sin embargo H1 no lo es ya que le faltan v4 y v6.
Por otra parte, H1 es un subgrafo inducido ya que si W = {v1, v2, v3, v5}, el subgrafo H1 contiene
todas las aristas de G incidentes con los vrtices de W, pero H2 no lo es ya que le faltan las aristas
v1v6, v3v4 y v5v6

Definicin

Eliminacin de Aristas

Si a es una arista del grafo G, entonces el subgrafo G\ {a}

es el grafo que se obtiene de G eliminando la arista a.
En general, escribiremos G\{a1, a2, . . . , ak} para
denominar al subgrafo que se obtiene de G eliminando las
aristas a1, a2, . . . , ak.

Definicin

Eliminacin de Vrtices

Si v es un vrtice del grafo G, entonces G \ {v} es el

subgrafo obtenido del G eliminando el vrtice v junto con
todas las aristas incidentes con l.
En general, escribimos G \ {v1, v2, . . . , vk} para notar al
grafo obtenido eliminando los vrtices v1, v2, . . . , vk en G y
todas las aristas incidentes con cualquiera de ellos.

Definicin

Grafos Completos

Se dice que un grafo es completo cuando todos sus vrtices son

adyacentes a todos los vrtices del grafo, es decir, cuando cada
par de vrtices son los extremos de una arista. Notaremos por
Kn los grafos completos de n vrtices.
La figura siguiente muestra los cinco primeros grafos completos.

Ejemplos
Demostrar que todo grafo completo es
regular y dar un ejemplo de que el recproco
no es cierto.
Prubese que en todo grafo G = (V,A) se
verifica
|A| 1/2 |V | (|V | 1)
y si se da la igualdad, entonces G es
completo.

Definicin

Complemento de un Grafo

Dado un grafo G con n vrtices, llamaremos

complemento de G, y lo notaremos por G , al subgrafo
de Kn formado por todos los vrtices de G y las aristas
que no estn en G.

Caminos y Ciclos
Definicin
Camino
Sea G un grafo o un multigrafo. Un camino en G es una
sucesin donde se alternan vrtices y aristas, comenzando y
terminando con vrtices y en el que cada arista es incidente
con los dos vrtices que la preceden y la siguen.
Nomenclatura:
Un camino que une los vrtices v1 y vn sera:
= (v1, v1v2, v2, v2v3, . . . , vn1, vn1vn, vn)
Grafo (no multigrafo):
= v1, v2, v3, . . . , vn1, vn

Caminos y Ciclos
Definicin
Camino
= v1, v2, v3, . . . , vn1, vn
Extremos del camino: v1 y vn.
Longitud del camino es el nmero (n 1) de aristas que
contiene.
Un camino es simple si en la sucesin de vrtices no hay
ninguno repetido.

Caminos y Ciclos
Definicin

Ciclo

Sea G un grafo o un multigrafo. Un ciclo en G es un

camino en el que sus extremos coinciden.
El ciclo ser simple si no hay, adems del primero y el
ltimo, ningn otro vrtice repetido.
En un grafo dirigido, utilizaremos los trminos caminos y
ciclos dirigidos.

= v1, v2, v6, v3, v4, v6, v5 es un camino.

= v1, v2, v3, v4 es un camino simple, no hay ningn
vrtice repetido
= v1, v2, v6, v5, v4, v6, v2, v1, es un ciclo.
= v2, v3, v4, v5, v6, v2, es un ciclo simple, se repiten
nicamente, los vrtices primero y ltimo.

Sea G el grafo de la figura. Encontrar:

(a) Un camino que conecte v3 con v7.
(b) Un camino simple de longitud 5 entre v3 y v7.
(c) Un camino de longitud 6 entre v3 y v7.
(d) Un ciclo con origen en v7 de longitud 6.
(e) Un ciclo de longitud 3, otro de longitud 4 y un tercero de longitud 6.
(f) Un ciclo simple de longitud 6.

Teorema

Si en un grafo existe un camino que conecta dos vrtices,

entonces existe un camino simple con extremos en dichos
vrtices.

Camino: = v1, v2, v6, v3, v4, v6, v5

Camino Simple: = v1, v2, v6, v5

Grafos Conexos

Vrtices Conectados
Dos vrtices de un grafo se dice que estn conectados
cuando existe un camino entre ambos, es decir,
u y v estn conectados = u, v
es un camino que une al vrtice u con el v.
Grafos Conexos
Un grafo se dice que es conexo si cada par de sus
vrtices estn conectados. Es decir,
G es conexo u,v : = u, v
En caso contrario, diremos que G es un grafo desconexo.

Los Grafos Conexos cumplen una relacin de

equivalencia:
1.- Reflexiva:
para todo vrtice en el grafo, = u, u.
2.- Simtrica:
Si 1 = u, v 1 = v, u.
3.- Transitiva:
Si 1 = u, v y 1 = v, w 2 = u,w.

Una relacin de equivalencia define dentro de un conjunto

A lo que se denominan, Clases de equivalencia.
Clase de equivalencia: subconjuntos de elementos que
cumplen una relacin de equivalencia.

Componentes Conexas de un Grafo

Dado un grafo G = (V,A), las clases de equivalencia definidas en el
conjunto de sus vrtices, V, por la relacin de equivalencia estar
conectado con reciben el nombre de componentes conexas de G.
Ejemplo: El conjunto de vrtices del grafo es V = {v1, v2, v3, v4,
v5, v6, v7}

Clases de equivalencia:
[v1] = {v1, v2, v6}
[v3] = {v3, v4, v5, v7} = [v4]=[v5]=[v7]

Componentes conexas:
H1 = ({v1, v2, v6} , {v1v2, v1v6})
H2 = ({v3,v4,v5,v7} , {v3v4,v3v7,v4v5,v4v7})

Definicin
Puntos de Corte
Dado un grafo conexo G = (V,A), un vrtice u de
G se llama punto de corte si al generar el
subgrafo Gu = V\{u}, Gu no es conexo.
Definicin
Puentes
Dado un grafo conexo G = (V,A), a cualquier
arista a de G tal que el grafo (V,A \ {a}) no
sea conexo, lo llamaremos puente.

Ejemplo: Hallar los puntos de corte y los

puentes del grafo G del la figura

Puntos de corte. v3, v4 y v5

Puentes. v4v5

Caminos y Ciclos de
Euler

Ciclo de Euler
Un ciclo de un grafo o
multigrafo se dice de
Euler si pasa por todos
los vrtices recorriendo
cada arista exactamente
una vez.

Grafo Euleriano
Un grafo que admita un ciclo de Euler se denomina grafo euleriano.
Primer Lema
Una condicin necesaria para que un grafo o multigrafo sea
Eureliano es que todos sus vrtices sean de grado par.
Camino de Euler
Se dice que un camino de un grafo o multigrafo es de Euler si pasa
por todos los vrtices del mismo, recorriendo cada arista
exactamente una vez.

Segundo Lema
Una condicin necesaria para que un grafo o
multigrafo admita un camino de Euler es que el
nmero de vrtices de grado impar sea 2 o ninguno.
Problema de los Puentes de Knisgberg
Hay cuatro vrtices de grado impar, segn el segundo
lema no existe en el ningn camino de Euler.
Tercer Lema
Si G es un grafo en el que todos sus vrtices tienen
grado par, entonces para cada par de vrtices
adyacentes de G, puede encontrarse un ciclo que
contiene a la arista que forman ambos.

Teorema
Un grafo o multigrafo G = (V,A) es
euleriano si, y slo si es conexo y todos
sus vrtices tienen grado par.
Corolario
Camino de Euler: Conexo y 2 o 0 vrtices
de grado impar.

Ciclos de Euler:
V9,V8,V7,V10,V9 V10,V4,V9,V3,V8,V1,V6,V10

V9,V8,V7,V10,V9
V10,V4,V9,V3,V8,V1,V6,V10
V9,V8,V7,V10,V4,V9,V3,V8,V1,V6,V10, V9

Ciclos de Euler:
V9,V8,V7,V10,V4,V9,V3,V8,V1,V6,V10, V9

V9,V8,V7,V10,V4,V9,V3,V8,V1,V6,V10, V9

V4,V3,V2,V1,V6,V5,V4
V9,V8,V7,V10,V4, V3,V2,V1,V6,V5,V4,V9,V3,V8,V1,V6,V10, V9

Caminos de Euler:

Ciclo de Hamilton
Un ciclo simple en un grafo o multigrafo G se dice
que es de Hamilton, si contiene a todos los
vrtices de G.
Grafo Hamiltoniano
Un grafo o multigrafo que contenga un ciclo de
Hamilton se denomina Hamiltoniano.
Camino de Hamilton
Un camino simple en un grafo o multigrafo G que
contenga a todos los vrtices se denomina
camino de Hamilton.

Teorema
Sea G = (V,A) un grafo tal que |A| >= 3, sea U
un subconjunto no vaco de V y sea c(G \ U) el
nmero de componentes conexas del
subgrafo G \ U. Entonces, una condicin
necesaria para que G sea Hamiltoniano es
que c(G \ U) |U|.

G. Hamiltoniano

|U|=2
|U|=3
c(G\v4,v10)= 2
c(G\v4,v10)=3

G. Hamiltoniano

El grafo no es hamiltoniano
ya que el nro de componentes |U|=2
conexas es mayor al nro de c(G\v9,v6)=3
vertices eliminados

G. Hamiltoniano

Representacin de Grafos
Matriz de Adyacencia.
Dado un grafo G con un conjunto de vrtices
V = {v1,v2,,vn}, llamaremos matriz de
adyacencia del grafo G a la matriz A=(aij) de p
filas y p columna, donde
1 si vi y vj son adyacentes
(aij)=
0 si vi y vj son adyacentes

Matriz de Adyacencia

Matriz de Adyacencia
Grafo

simtrico.

Representa

bucles, no aristas repetidas

Grafo

sin bucles, tiene el grado de un vrtice

en la suma de su fila o columna.
La

multiplicacin de la matriz de adyacencia

por si misma representa los caminos de longitud
dos.

Matriz de Adyacencia

Matriz de Adyacencia

f1c1
f2c1
:
:
fnc1

f1c2 f1cn
f2c2 f2cn

fnc2

fncn

f1c1= 0*0+1*1+1*1+1*1+1*1
f4c5= 1*1+0*0+1*0+0*0+0*0

Teorema
Si A es la matriz de adyacencia de un grafo
simple, el elemento aij que ocupa la fila isima y la j-sima columna de la matriz
An=A*A**A es el numero de caminos de
longitud n que existen entre el vrtice i y el
vrtice j.

Matriz de Incidencia
Sea G=(V,A) un grafo cuyos conjuntos de
vrtices y aristas son, respectivamente,
V={v1,v2,,vn} y A= {a1,a2,,aq}
Llamaremos matriz de incidencia del grafo F a la
matriz B=(bij) de n filas y q columnas, donde
1 si vi y aj son incidentes
0 si vi y aj son incidentes

(bij)=

Matriz de Incidencia

a5 a2 a3 a6 a1 a4

Construya las matrices de incidencia y

adyacencia
Construya el grafo a partir de las matrices