GRAFOS

1. Concepto de grafo.
Intuitivamente, un grafo es una configuración de puntos del plano,
llamados vértices, y líneas que los unen, llamadas aristas.
Si hay más de una arista entre dos vértices, el grafo se dice
multigrafo. Si las aristas tienen una orientación, el grafo se dice
dirigido o digrafo. Si hay lazos (aristas que unen un mismo vértice),
se dice pseudografo.

Grafo simple Multigrafo Pseudodigrafo

Formalmente, un grafo (simple) es un par G = (V, E), siendo V un
conjunto finito, llamado conjunto de vértices, y E otro conjunto
finito cuyos elementos son subconjuntos de dos elementos de V, las
aristas.
Ejemplo:
a b c
G d

e f g

V = {a, b, c, d, e, f, g}
E = {{a, b}, {a, d}, {a, e}, {b, f}, {c, g}, {d, f}, {e, f}}
O, abreviadamente, E = {ab, ad, ae, bf, cg, df, ef}.
Similarmente, un digrafo es un par G = (V, E), siendo como antes
V y E conjuntos finitos, los vértices y las aristas, respectivamente;
pero ahora las aristas son pares ordenados de elementos distintos
de V.
Ejemplo:
a b
G

c d
V = {a, b, c, d}
E = {(a, b), (a, d), (b, c), (b, d), (c, a), (d, b)}
→ → → → → →
O, abreviadamente, E = {ab, ad, bc, bd, ca, db}
 2. Algunos grafos característicos.
a) Los grafos completos Kn: contienen todas las aristas

K4
K4 K5
K5 K6
K6

b) Los ciclos Cn

C4 C5
C3 C4 C5
c) Completos bipartitos Kn,m

K2,3 K2,5
K2,3 K3,3 K2,5

d) Redes Gn,m:

G2,3
G2,3 G3,3
G3,3 GG4,5
4,5
Los n-cubos Qn: Sus vértices son las secuencias de n bits. Dos
vértices son adyacentes si sus secuencias se diferencian en un
bit exactamente.
001
010
00
00 01
01 000
000 011
011
010
001

01 100
110
110
101 111
10 100 111
11
11
110101
Q2 Q3
Q2 Q3
 3. Grado de un vértice.
En un grafo (no dirigido), el grado de un vértice es el número de
aristas que en él confluyen.
Ejemplo:
a b c gr(a) = 3, gr(b) = 2,
d gr(c) = 1, gr(d) = 2,
gr(e) = 2, gr(f) = 3,
e f g gr(g) = 1.

Teorema: La suma de los grados de todos los vértices es igual al

doble del número de aristas.
(El teorema también es válido para multigrafos y pseudografos)
En un grafo dirigido, el grado de entrada de un vértice es el
número de aristas que a él llegan; el grado de salida es el número
de aristas que de él salen.
Ejemplo:
a b gr.ent(a) = 1, gr.sal(a) = 2
gr.ent(b) = 2, gr.sal(b) = 2
gr.ent(c) = 1, gr.sal(c) = 1
c d gr.ent(d) = 2, gr.sal(d) = 1

Teorema: La suma de los grados de entrada de todos los vértices es

igual a la suma de los grados de salida e igual al número de aristas.
(El teorema también es válido para multidigrafos y pseudodigrafos)
4. Subgrafos.
En general, un subgrafo de un grafo G (o digrafo) es un grafo H
obtenido eliminando vértices o aristas de G.
Ejemplos:
a b c a b c
d d

e f g e f

a b a b

c d c d
 5. Matriz de adyacencia.
Sea un grafo (o un digrafo) con n vértices v1, v2, ..., vn. La matriz
de adyacencia del grafo es la matriz cuadrada de orden n cuya
→
entrada [i,j] es 1 si vjvi (o vjvi) es una arista del grafo; y es 0 si
dicha arista no pertenece al grafo.
Ejemplos: a b c d
a b a 0 0 1 0
b 1 0 0 1
c 0 1 0 0
d 1 1 0 0
c d
 a b c d e f g
a b c a 0 1 0 1 1 0 0
d b 1 0 0 0 0 1 0
c 0 0 0 0 0 0 1
e f g
d 1 0 0 0 0 1 0
e 1 0 0 0 0 1 0
f 0 1 0 1 1 0 0
g 0 0 1 0 0 0 0

Si el grafo es no dirigido, la matriz de adyacencia es simétrica; si

es dirigido, no tiene porque serlo.
Sumando las filas o columnas, obtenemos los grados de cada
vértice.
6. Isomorfismo de grafos.
Intuitivamente, dos grafos isomorfos son dos representaciones
gráficas del mismo grafo.
Formalmente: dos grafos (o digrafos) G = (V, E) y G' = (V', E') se
dicen isomorfos si existe f : V  V' biyectiva tal que la arista uv∈E
si y sólo si la arista f (u)f (v)∈E' ( uv∈E ⇔ f (u)f (v)∈E' ).
Tal f se dice un isomorfismo.
Ejemplos:
f
a b a' d'
f(a) = a'
f(b) = b'
f(c) = c'
c d f(d) = d' c' b'
 b b' c'
f
a c f(x) = x' a'

e d d'

Nótese que dos grafos isomorfos tienen el mismo número de

vértices y aristas, los mismos grados de los vértices, mismas
matrices de incidencia, etc.
 7. Caminos en un grafo.
En un grafo (o digrafo), un camino es una secuencia finita de
→
aristas del grafo de la forma [v0v1, v1v2 , v2v3, ..., vn-1vn] (vivi+1, si el
grafo es dirigido). El entero n es la longitud del camino, v0 es el
origen del camino y vn el final.
En lugar de las aristas, también puede considerarse la sucesión de
los vértices [v0, v1, v2 , ..., vn-1, vn].
Ejemplo:
a b → → → → → →
[ ad, db, bc, ca, ab, bd ]
o
[ a, d, b, c, a, b, d ]
c d
Si el origen del camino coincide con el final, el camino se dice
cerrado. En otro caso se dice abierto.
Un camino (abierto) se dice simple, si en la sucesión de vértices no
se repite ninguno. Un circuito es un camino cerrado que no repite
aristas. Un ciclo es un circuito con todos los vértices distintos,
excepto el primero y el último.
Ejemplo: 2
1
3
5
4
Circuito: [12, 23, 34, 42, 25, 51] = [1, 2, 3, 4, 2, 5, 1]
Ciclo: [12, 23, 34, 45, 51] = [1, 2, 3, 4, 5, 1].
Teorema: Sea un grafo (o un digrafo) con n vértices v 1, v2, ..., vn y
matriz de adyacencia A. El número de caminos de longitud k del
vértice vi al vértice vj es Ak[j,i].

a b c d
a b a 1 1 1 1
A5 : b 3 2 2 2
c 2 2 1 1
c d d 3 3 2 1

¿Cuantos caminos de longitud 5 hay de d a c?

¿Cuántos caminos cerrados de longitud 5 pasan por a?
 8. Conexión.
En un grafo (no dirigido), dos vértices están conectados si hay un
camino que nos lleva de un vértice a otro.

b
a c
En este grafo, los vértices a y f están
d conectados.
No lo están los vértices a y c.
e g
f
b
a c
d En este otro grafo, todos los vértices
están conectados.
e g
f
La relación “estar conectado” es una relación de equivalencia en el
conjunto de vértices. En cada clase de equivalencia están todos los
vértices conectados entre sí. Todas ellas constituyen una partición
del conjunto de vértices.
El grafo inducido por cada clase de equivalencia se denomina
componente conexa del grafo.
Un grafo se dice conexo si tiene una sola componente.

b b
a c a c
d d

e g e g
f f
Dos componentes Grafo conexo
En un digrafo, dos vértices u y v están conectados si hay sendos
caminos que nos llevan de u a v y de v a u.
De nuevo, esta relación “estar conectado” es de equivalencia.
Ahora, el grafo inducido por cada clase de equivalencia se
denomina componente fuertemente conexa del digrafo.
Un digrafo se dice fuertemente conexo si tiene una sola componente
fuertemente conexa.

b c

a
Digrafo fuertemente conexo.

d
 9. Grafos eulerianos y hamiltonianos.
En un grafo conexo, un camino se dice euleriano si contiene todas
sus aristas sin repetir ninguna.
Un grafo se dice euleriano si contiene un circuito euleriano.

3
1
4
2
5

Camino euleriano: Grafo euleriano

[13, 32, 24, 41, 15, 52]
Teorema: Sea un grafo (o multigrafo) conexo.
a) Tiene un camino abierto euleriano si y sólo si todos sus
vértices excepto dos tienen grado par.
b) Es euleriano si y sólo si todos sus vértices tienen grado par.

Camino No hay Grafo

euleriano camino euleriano
euleriano

K5
El problema de los puentes de Königsberg:

¿Es posible dar un paseo por la ciudad

cruzando cada uno de los siete puentes
del río una única vez y regresando al
punto de partida?

Solución: Representando por un punto

cada orilla del río y trazando una línea
entre estos puntos por cada puente,
tenemos un multigrafo.
Como los grados de los vértices no
son todos pares (de hecho, ninguno es
par), no existe un camino euleriano.
En un grafo conexo, un camino se dice hamiltoniano si contiene
todos sus vértices sin repetir ninguno.
Un grafo se dice hamiltoniano si contiene un ciclo hamiltoniano.

Camino hamiltoniano Grafo hamiltoniano

Teorema de Ore: Sea G = (V, E) un grafo conexo con n vértices.

Si ∀ u,v∈V tales que uv∉E grad(u) +grad(v) ≥n, entonces G es
hamiltoniano.