Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Introducción
Un Grafo G está formado por un conjunto de nodos y
un conjunto de arcos que los relaciona.
Ejemplo: Los puentes de Königsberg (Euler, 1736)
Fuente: www.planometromadrid.org
Ejemplo: Facebook
§ V: Conjunto de personas
§ p: Relación de amistad (hay un arco entre dos personas si y
solo si son amigas)
§ Es una relación mutua
Relación
“ser amigo/a de”
c
c
d
d
Grafo No Dirigido
Relación
“ser hijo/a de”
c
c
d
d
Grafo Dirigido
v1
a5 a1 a8
a6
v5 v2 a1 a2 a3 a4
v1 v2 v3 v4 v5
a7
a8 a7
a4 a2
a6
v4 a3 v3
a5
a 2
c
1 f
a 2
c
1 f
sD
3
b
Ge
h k
d
g
5
j
e
4
G no es grafo
Ø Los nombres de los arcos no son etiquetas
Ø Si lo fueran, h podría etiquetar dos arcos y G sería un grafo
etiquetado. En ese caso, la aplicación no se define así
Ø Cuando las etiquetas de los arcos son números, se llama
grafo ponderado.
a4 æ0 2 0 0 0ö
ç ÷
v1 v4 ç2 0 1 0 0÷
a1 a6 M ady (G ) = ç 0 1 0 0 0÷
a2 a5 ç ÷
ç0 0 0 1 2÷
v2 v3 v5 ç0 0 0 2 0 ÷ø
a3 è
a4 æ0 1 0 0 0ö
ç ÷
v1 v4 ç1 0 1 0 0÷
a1 a6 M ady (G ) = ç 0 0 0 0 0÷
a2 a5 ç ÷
ç0 0 0 1 0÷
v2 v3 v5 ç0 0 0 2 0 ÷ø
a3 è
2 2
3
3
4 G 4 D(G)
a 2 a 2
c c
1 f 1 f
i i
3 3
b h k b h k
d d
g g
5 5
j j
e e
4 4
D G(D)
1 1 1
2 2 2
3 3 3
4 4 4
G D(G) G(D(G))
b 2 2
a
1 d
c e c
3 3
4 g 4 g
f
h h
5 5
b 2 b 2
a a
1 d 1 d
c e e
3 3
4 g 4
f f
h h
5 5
b 2 2
a
1 d d
c e e
({2 ,3 ,5 })
G
3 3
4 g
f f
h
5 5
b 2 2
a a
1 d 1
c e c
})
3 G({a,c,g
4 g 4 g
f
h
5 5
b 2 2
a a
1 d 1 d
c e c
3 3
4 g 4
f
h
5
2 2 2
3 3 3
4 4 4
Grafo simple Grafo NO simple Grafo Nulo
Autómatas y Matemáticas Discretas p. 27 / 125
Unión e Intersección
Dados G1=(V1, A1, p1) y G2=(V2, A2, p2)
G1 È G2 = (V1 È V2, A1 È A2, p)
§ siendo p(a) = p1(a) si aÎA1…
§ … y p(a) = p2(a) si aÎA2
Análogamente para G1 Ç G2
G1 G2
a En este caso no existe G1∨G2
a 2 3
2 3 ni G1∧G2, debido a que el
b c arco “a” tiene extremos
d diferentes en G1 y G2
5
åd (v) = 2 A
vÎV
Sea aÎA un arco cualquiera del grafo, éste contribuye en
una unidad al grado total de cada uno de sus vértices
extremos, por lo que se cuenta dos veces.
Ejemplo de uso: Algoritmo de Ranking de Google
§ Cada web es un nodo
§ Cada link desde una web a otra es un arco (grafo dirigido)
§ Ordena las páginas en función de sus grados dE(v) y dS(v)
Autómatas y Matemáticas Discretas p. 31 / 125
Grafo regular
Un grafo G = (V, A, p) es regular si todos sus vértices
tienen el mismo grado.
Se le denomina k-regular si todos sus vértices tienen
grado k. 1 2
2-regular
1 2
3 4
1 2
3 4 5 6 3-regular
3 4
1
a
h b 6a1b3c2d4
2
6 i
g c Características:
e § Longitud: 4
5 d § Abierto
3
f § Simple
4 § Elemental
§ No es un ciclo
1
a
h b 6a1h6g5f4
2
6 i
g c Características:
e § Longitud: 4
5 d § Abierto
3
f § Simple
4 § No es elemental
§ No es un ciclo
1
a
h b 6a1h6a1b3c2d4e6
2
6 i
g c Características:
e § Longitud: 7
5 d § Cerrado
3
f § No Simple
4 § No es elemental
§ No es un ciclo
1
a
h b 6a1b3c2d4e6
2
6 i
g c Características:
e § Longitud: 5
5 d § Cerrado
3
f § Simple
4 § Elemental
§ Ciclo
¿
æ a11 ! a1n ö æ b11 ! b1n ö æ c11 ! c1n ö
?
ç ÷ ç ÷ ç ÷
ç " " ÷=ç " " ÷xç " " ÷
ç a ! a ÷ çb ! b ÷ çc ! c ÷
è n1 nn ø è n1 nn ø è n1 nn ø
¿
æ a11 ! a1n ö æ b11 ! b1n ö æ c11 ! c1n ö
?
ç ÷ ç ÷ ç ÷
ç " " ÷=ç " " ÷xç " " ÷
ç a ! a ÷ çb ! b ÷ çc ! c ÷
è n1 nn ø è n1 nn ø è n1 nn ø
&
𝑎!" = ( 𝑏!# · 𝑐#" = 𝑏!% · 𝑐%" ⊕ ⋯ ⊕ 𝑏!& · 𝑐&" ∀𝑖, 𝑗 = 1, … , 𝑛
#$%
vi vj vi vp vj
longitud k-1
longitud k
𝑴 𝑫 = 𝑰 ⊕ ( 𝑴𝒌
𝒌(𝟏
vi w vj
𝑴 𝑫 = 𝑰 ⊕ 𝑴 ⊕ ⋯ ⊕ 𝑴𝒏"𝟏 , 𝒏 = |𝑽|
d e f
G’2
G’1
Autómatas y Matemáticas Discretas p. 51 / 125
Conexión fuerte
Digrafo fuertemente conexo:
§ Todo vértice es accesible desde cualquier otro
Las componentes fuertemente conexas de un dígrafo
son las clases de equivalencia bajo la relación “Ser
mutuamente accesibles”
1 2 3
4 5
1 1
3 3
4 4
2 2
6 l 7 2 3 6 l 7 2 3
f f
j k n e c b j k n e c b
m d m d
8 9 4 5 8 9 4 5
i g i g
h 10 h 10
6 7 6 7
G’2
l 2 3 G’1 l 2 3
f f
k n e c k n e c
m d m d
8 9 4 5 8 9 4 5
h 10 G’3 h 10
10 h 10
Camino de partida: 1 a 3 b 5 g 10 i 8 j 6 o 1
C’1 C’2 C’3
Camino final: 1 a b 5 d 4 e 2 f 3 c 5 g 10 h 10 i 8 j 6 l 9 n 7 m 8 k 6 o 1
Autómatas y Matemáticas Discretas p. 56 / 125
Caminos Eulerianos
G no tiene vértices aislados y posee un camino euleriano no
cerrado
b c
2 3 4
Ejemplo: construye un a
k
camino euleriano no 1
j l d
cerrado para el i
7 6 5
h g
siguiente grafo: f e
8
Autómatas y Matemáticas Discretas p. 57 / 125
Caminos Eulerianos
• Cómo construir un camino euleriano no cerrado
1. Añadir un nuevo arco (“0” en el ejemplo) entre los dos vértices de
grado impar, para que así todos los vértices tengan grado par:
b c
2 3 4
a
k
1 0 l d
j
i
7 h 6 5
g
f e
8
2. Construir un camino euleriano cerrado, mediante el método explicado
anteriormente:
• Supongamos que sale 1 a 2 0 7 h 6 f 8 e 5 g 6 k 3 c 4 d 5 l 2 b 3 j 7 i 1
3. Quitar del camino el arco “0” que añadimos antes:
• Resultado final: 7 h 6 f 8 e 5 g 6 k 3 c 4 d 5 l 2 b 3 j 7 i 1 a 2
Autómatas y Matemáticas Discretas p. 58 / 125
Caminos Hamiltonianos
Un camino hamiltoniano es un camino elemental que
contiene todos los vértices del grafo.
1 1 Tiene camino
a No tiene a
camino hamiltoniano
2 2
c b hamiltoniano c b abierto
3 4
d (1a2b4d3)
3 4
Tiene camino 1
1 a No tiene
a
hamiltoniano abierto e 2 camino
e 2 (1a2b4d3) y cerrado c b
c b hamiltoniano
(1a2b4d3e1) d
d 3 4
3 4
æ0 1 1 0 0ö æ0 1 1 0 0ö æ0 0 0 1 1ö
ç ÷ ç ÷ ç ÷
ç0 0 0 0 0÷ ç0 0 0 0 0÷ ç0 0 0 0 0÷
M 2 = ç0 0 0 1 1 ÷ xç 0 0 0 1 1÷ = ç0 0 0 0 0÷
ç ÷ ç ÷ ç ÷
ç0 0 0 0 0÷ ç0 0 0 0 0÷ ç0 0 0 0 0÷
ç0 0 0 0 0 ÷ø çè 0 0 0 0 0 ÷ø çè 0 0 0 0 0 ÷ø
è
1 2 1 2 1 2 1 2
3 3 3 3
§ …es de equivalencia?
§ …es de orden? (no siempre se puede hacer)
§ …es de orden total? (no siempre se puede hacer)
𝑴𝑻 = ( 𝑴𝒓
𝒓(𝟏
Autómatas y Matemáticas Discretas p. 70 / 125
Cierre transitivo
D = (V, R), n = |V|, vi Î V
vi es m-accesible desde vi para algún m ≥ 1
𝑴𝑻𝒂𝒅𝒚 = 𝑴 ⊕ ⋯ ⊕ 𝑴𝒏 , 𝒏 = |𝑽|
æ1 1 0 0ö æ1 1 0 1ö
ç ÷ ç ÷
ç0 1 0 1÷ ç0 1 0 1÷
M1 = ç M2=ç
0 0 1 0÷ 0 0 1 0÷
ç ÷ ç ÷
ç1 0 0 1 ÷ø ç0 0 0 1 ÷ø
è è
æ1 0 0 0 0ö æ1 1 0 0 0ö
ç ÷ ç ÷
ç0 1 1 0 0÷ ç1 1 0 0 0÷
M R = ç0 1 1 0 0÷ M S = ç0 0 1 0 0÷
ç ÷ ç ÷
ç0 0 0 1 1÷ ç0 0 0 1 0÷
ç0 0 0 1 1 ÷ø ç0 0 0 0 1 ÷ø
è è
1 1 0 0 0
1 1 1 0 0
𝑀L ⊕ 𝑀M = 0 1 1 0 0
0 0 0 1 1
0 0 0 1 1
æ1 1 1 1 1ö
2
ç ÷
3 ç0 1 0 1 0÷
M R = ç0 0 1 0 0÷
1
ç ÷
4 ç0 0 0 1 0÷
5 ç0 0 0 0 1 ÷ø
✔ Reflexiva è
✔ Antisimétrica
✘ Simétrica Relación de orden
✔ Transitiva
æ0 0 1 0 0ö
2 ç ÷
3
ç0 0 0 1 0÷
1 MS = ç0 0 0 0 1÷
ç ÷
ç0 0 0 0 0÷
5
4
ç0 0 0 0 0 ÷ø
è
✘ Reflexiva
✔ Antisimétrica
✘ Simétrica
✘ Transitiva (M2 no está contenida en MS)
Autómatas y Matemáticas Discretas p. 82 / 125
Ejercicio Relaciones 3 (IV)
Ø Determinar las matrices de 𝑅 ∩ 𝑆, 𝑅 ∪ 𝑆 y de 𝑅 ∘ 𝑆
𝑅 ∪ 𝑆 = {(1,1), (1,2), (1,3), (1,4), (1,5), (2,2), (2,4), (3,3), (4,4), (5,5)} ∪
∪ {(1,3), (2,4), (3,5)}
𝑅 ∪ 𝑆 = {(1,1), (1,2), (1,3), (1,4), (1,5), (2,2), (2,4), (3,3), (3,5), (4,4), (5,5)}
2 æ1 1 1 1 1ö
3
ç ÷
1 ç0 1 0 1 0÷
M R!S = ç0 0 1 0 1÷
ç ÷
5
4 ç0 0 0 1 0÷
ç0 0 0 0 1 ÷ø
è
2 æ0 0 1 0 0ö
3
ç ÷
1 ç0 0 0 1 0÷
M RÇS = ç0 0 0 0 0÷
ç ÷
5
4 ç0 0 0 0 0÷
ç0 0 0 0 0 ÷ø
è
æ1 1 1 1 1ö æ0 0 1 0 0ö æ0 0 1 1 1ö
ç ÷ ç ÷ ç ÷
ç0 1 0 1 0÷ ç0 0 0 1 0÷ ç0 0 0 1 0÷
M R! S = M R Ä MS = ç0 0 1 0 0÷ Ä ç0 0 0 0 1÷ = ç0 0 0 0 1÷
ç ÷ ç ÷ ç ÷
ç0 0 0 1 0÷ ç0 0 0 0 0÷ ç0 0 0 0 0÷
ç0 0 0 0 1 ÷ø çè 0 0 0 0 0 ÷ø çè 0 0 0 0 0 ÷ø
è
δ=1
δ=1 δ=1
δ=1
No es No es Sí es
árbol árbol árbol
dirigido dirigido dirigido
32 Nivel 2
11 12 31
Nivel 3
321 322 323
TI TD
* -
- b c a
a 6
((a - 6) * b) / (c - a)
Autómatas y Matemáticas Discretas p. 99 / 125
Árboles binarios
Ø El número de nodos del nivel “i” de un árbol binario
es menor o igual que 2i
Ø El número de nodos n de un árbol binario de altura h
verifica:
𝑛 ≤ 2,-. − 1
Ø La altura h de un árbol binario de n nodos verifica:
ℎ ≥ log / (𝑛 + 1) − 1
Sí Lleno No Lleno
Sí homogéneo Sí homogéneo
Sí completo No completo
No Lleno
No Lleno
No homogéneo
Sí homogéneo
Sí completo No completo
b c
d e f g
h i j k
Preorden: a b d h i e j c f g k
Inorden: h d i b e j a f c k g
Postorden: h i d j e b f k g c a
Autómatas y Matemáticas Discretas p. 104 / 125
Coloreado
Un grafo es n-coloreable si:
§ Existe una función 𝑓: 𝑉 → {1,2, … , 𝑛}, tal que tal que para
todo par de vértices adyacentes, u y v, f(u) ≠ f(v)
2
3
KG=3
KG=2
δ(1)=2 δ(3) = 4
4 5
δ(2)=3 δ(4) = 4
δ(3)=4 δ(7) = 4
δ(4)=4 δ(2) = 3
6 7 8
δ(5)=3 ordenar δ(5) = 3
δ(6)=3 δ(6) = 3
9 δ(7)=4 δ(1) = 2
δ(8)=1 δ(9) = 2
δ(9)=2 δ(8) = 1
𝟑
𝒓 ≤ 𝒎 ≤ 𝟑𝒏 − 𝟔
𝟐
Dado que G es simple, cada región está limitada al menos por 3 aristas. Además,
cada arista es borde de, a lo sumo, 2 regiones. Por tanto, se cumple que:
2m ≥ 3r, y por tanto 3/2 r ≤m
Por la formula de Euler:
n–m+r=2
6 = 3n – 3m + 3r ≤ 3n – 3m + 2m = 3n – m
m ≤ 3n - 6
K5
Teorema de Euler:
n-m+r = 2 = 6 – 9 + r = 2 Þ r = 5
Se cumple,
y sin embargo no es plano…
K3,3
Teorema de Euler:
n-m+r = 2 = 6 – 9 + r = 2 Þ r = 5
K3,3
Teorema de Euler:
n-m+r = 2 = 7 – 10 + r = 2 Þ r = 5
Se cumple,
y sin embargo sigue sin ser plano…
3 Km
1 2
6
æ- 3 - 2ö
1 3
1
ç ÷
2
4
3 ç- - - 4 6÷
W = ç- - - 1 4÷
4
1
ç ÷
5 ç- - - - 2÷
ç- - - - - ÷ø
2
4 è
1 2
3 1
4 5 6