Académique Documents
Professionnel Documents
Culture Documents
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.
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.
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
e d d'
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
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
K5
El problema de los puentes de Königsberg: