Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Definicion: Digrafo
Un grafo dirigido o simplemente un digrafo, es una terna D = [V , A, f ]
constituida por:
Definicion: Digrafo
Un grafo dirigido o simplemente un digrafo, es una terna D = [V , A, f ]
constituida por:
Un conjunto no vaco V , cuyos elemento llamaremos vertices.
Definicion: Digrafo
Un grafo dirigido o simplemente un digrafo, es una terna D = [V , A, f ]
constituida por:
Un conjunto no vaco V , cuyos elemento llamaremos vertices.
Un conjunto A cuyos elementos llamaremos arcos, flechas o aristas
dirigidas.
Definicion: Digrafo
Un grafo dirigido o simplemente un digrafo, es una terna D = [V , A, f ]
constituida por:
Un conjunto no vaco V , cuyos elemento llamaremos vertices.
Un conjunto A cuyos elementos llamaremos arcos, flechas o aristas
dirigidas.
Una funcion f : A V V , que asocia a cada arco de A un unico
par ordenado de vertices (v , w ); f recibe el nombre de funcion de
incidencia.
Definicion: Digrafo
Un grafo dirigido o simplemente un digrafo, es una terna D = [V , A, f ]
constituida por:
Un conjunto no vaco V , cuyos elemento llamaremos vertices.
Un conjunto A cuyos elementos llamaremos arcos, flechas o aristas
dirigidas.
Una funcion f : A V V , que asocia a cada arco de A un unico
par ordenado de vertices (v , w ); f recibe el nombre de funcion de
incidencia.
Nota
Los elementos de V seran representados por letras minusculas: v , w , u, . . ..
Por otra parte, los arcos seran denotados por:
a , b ,
c , . . ..
Por ultimo, si f ( a ) = (v , w ), lo denotaremos por a = (v , w ), en este
caso v recibe el nombre de origen o vertice inicial del arco a , mientras
que w es llamado el final o vertice final del arco a.
Ejemplo
Dados V = {x, y , z, w } y A = {a , b ,
c , d ,e }, la apliacion siguiente
sirve para construir un digrafo D = [V , A, f ].
a b c d e
f (
) (x, w ) (y , x) (x, y ) (z, w ) (z, z)
Ejemplo
Dados V = {x, y , z, w } y A = {a , b ,
c , d ,e }, la apliacion siguiente
sirve para construir un digrafo D = [V , A, f ].
a b c d e
f (
) (x, w ) (y , x) (x, y ) (z, w ) (z, z)
z w y
Ejemplo
Dados V = {x, y , z, w } y A = {a , b ,
c , d ,e }, la apliacion siguiente
sirve para construir un digrafo D = [V , A, f ].
a b c d e
f (
) (x, w ) (y , x) (x, y ) (z, w ) (z, z)
x
a
z w y
Ejemplo
Dados V = {x, y , z, w } y A = {a , b ,
c , d ,e }, la apliacion siguiente
sirve para construir un digrafo D = [V , A, f ].
a b c d e
f (
) (x, w ) (y , x) (x, y ) (z, w ) (z, z)
x
a
b
z w y
Ejemplo
Dados V = {x, y , z, w } y A = {a , b ,
c , d ,e }, la apliacion siguiente
sirve para construir un digrafo D = [V , A, f ].
a b c d e
f (
) (x, w ) (y , x) (x, y ) (z, w ) (z, z)
x
c
a
b
z w y
Ejemplo
Dados V = {x, y , z, w } y A = {a , b ,
c , d ,e }, la apliacion siguiente
sirve para construir un digrafo D = [V , A, f ].
a b c d e
f (
) (x, w ) (y , x) (x, y ) (z, w ) (z, z)
x
c
a
d b
z w y
Ejemplo
Dados V = {x, y , z, w } y A = {a , b ,
c , d ,e }, la apliacion siguiente
sirve para construir un digrafo D = [V , A, f ].
a b c d e
f (
) (x, w ) (y , x) (x, y ) (z, w ) (z, z)
x
c
a
d b
e z w y
Ejemplo
Dados V = {x, y , z, w } y A = {a , b ,
c , d ,e }, la apliacion siguiente
sirve para construir un digrafo D = [V , A, f ].
a b c d e
f (
) (x, w ) (y , x) (x, y ) (z, w ) (z, z)
x
c
a
d b
e z w y
Regresar Digrafo Simple
Obervacion
El conjunto de vertices V no puede ser vaco, sin embargo el conjunto de
arcos A si lo puede ser.
Obervacion
El conjunto de vertices V no puede ser vaco, sin embargo el conjunto de
arcos A si lo puede ser.
Obervacion
El conjunto de vertices V no puede ser vaco, sin embargo el conjunto de
arcos A si lo puede ser.
Ejemplo
Digrafo Nulo con un vertice
Obervacion
El conjunto de vertices V no puede ser vaco, sin embargo el conjunto de
arcos A si lo puede ser.
Ejemplo
Digrafo Nulo con un vertice
Obervacion
El conjunto de vertices V no puede ser vaco, sin embargo el conjunto de
arcos A si lo puede ser.
Ejemplo
Digrafo Nulo con un vertice
Obervacion
El conjunto de vertices V no puede ser vaco, sin embargo el conjunto de
arcos A si lo puede ser.
Ejemplo
Digrafo Nulo con un vertice
Obervacion
El conjunto de vertices V no puede ser vaco, sin embargo el conjunto de
arcos A si lo puede ser.
Ejemplo
Digrafo Nulo con un vertice
Obervacion
El conjunto de vertices V no puede ser vaco, sin embargo el conjunto de
arcos A si lo puede ser.
Ejemplo
Digrafo Nulo con un vertice
Obervacion
El conjunto de vertices V no puede ser vaco, sin embargo el conjunto de
arcos A si lo puede ser.
Ejemplo
Digrafo Nulo con un vertice
Obervacion
El conjunto de vertices V no puede ser vaco, sin embargo el conjunto de
arcos A si lo puede ser.
Ejemplo
Digrafo Nulo con un vertice
Definicion
Sea D = [V , A, f ] un digrafo,
Definicion
Sea D = [V , A, f ] un digrafo,
1 Dados v , w V , se define la multiplicidad del par (v , w ), como el
entero no negativo, dado por
m(v , w ) = card{
a f (
a ) = (v , w )}
Definicion
Sea D = [V , A, f ] un digrafo,
1 Dados v , w V , se define la multiplicidad del par (v , w ), como el
entero no negativo, dado por
m(v , w ) = card{
a f (
a ) = (v , w )}
Definicion
Sea D = [V , A, f ] un digrafo,
1 Dados v , w V , se define la multiplicidad del par (v , w ), como el
entero no negativo, dado por
m(v , w ) = card{
a f (
a ) = (v , w )}
Definicion
Sea D = [V , A, f ] un digrafo,
1 Dados v , w V , se define la multiplicidad del par (v , w ), como el
entero no negativo, dado por
m(v , w ) = card{
a f (
a ) = (v , w )}
Definicion
Sea D = [V , A, f ] un digrafo,
1 Dados v , w V , se define la multiplicidad del par (v , w ), como el
entero no negativo, dado por
m(v , w ) = card{
a f (
a ) = (v , w )}
Nota
Nota
Si D = [V , A, f ] es un digrafo finito con n vertices y V = {v1 , v2 , . . . , vn },
entonces
Mc (D) =
Nota
Si D = [V , A, f ] es un digrafo finito con n vertices y V = {v1 , v2 , . . . , vn },
entonces
Mc (D) =
Nota
Si D = [V , A, f ] es un digrafo finito con n vertices y V = {v1 , v2 , . . . , vn },
entonces
m(v1 , v1 )
Mc (D) =
Nota
Si D = [V , A, f ] es un digrafo finito con n vertices y V = {v1 , v2 , . . . , vn },
entonces
m(v1 , v1 ) m(v1 , v2 )
Mc (D) =
Nota
Si D = [V , A, f ] es un digrafo finito con n vertices y V = {v1 , v2 , . . . , vn },
entonces
m(v1 , v1 ) m(v1 , v2 )
Mc (D) =
Nota
Si D = [V , A, f ] es un digrafo finito con n vertices y V = {v1 , v2 , . . . , vn },
entonces
m(v1 , v1 ) m(v1 , v2 ) m(v1 , vn )
Mc (D) =
Nota
Si D = [V , A, f ] es un digrafo finito con n vertices y V = {v1 , v2 , . . . , vn },
entonces
m(v1 , v1 ) m(v1 , v2 ) m(v1 , vn )
m(v2 , v1 )
Mc (D) =
Nota
Si D = [V , A, f ] es un digrafo finito con n vertices y V = {v1 , v2 , . . . , vn },
entonces
m(v1 , v1 ) m(v1 , v2 ) m(v1 , vn )
m(v2 , v1 ) m(v2 , v2 )
Mc (D) =
Nota
Si D = [V , A, f ] es un digrafo finito con n vertices y V = {v1 , v2 , . . . , vn },
entonces
m(v1 , v1 ) m(v1 , v2 ) m(v1 , vn )
m(v2 , v1 ) m(v2 , v2 )
Mc (D) =
Nota
Si D = [V , A, f ] es un digrafo finito con n vertices y V = {v1 , v2 , . . . , vn },
entonces
m(v1 , v1 ) m(v1 , v2 ) m(v1 , vn )
m(v2 , v1 ) m(v2 , v2 ) m(v2 , vn )
Mc (D) =
Nota
Si D = [V , A, f ] es un digrafo finito con n vertices y V = {v1 , v2 , . . . , vn },
entonces
m(v1 , v1 ) m(v1 , v2 ) m(v1 , vn )
m(v2 , v1 ) m(v2 , v2 ) m(v2 , vn )
Mc (D) =
.. .. ..
. . .
Nota
Si D = [V , A, f ] es un digrafo finito con n vertices y V = {v1 , v2 , . . . , vn },
entonces
m(v1 , v1 ) m(v1 , v2 ) m(v1 , vn )
m(v2 , v1 ) m(v2 , v2 ) m(v2 , vn )
Mc (D) =
.. .. ..
. . .
m(vn , v1 )
Nota
Si D = [V , A, f ] es un digrafo finito con n vertices y V = {v1 , v2 , . . . , vn },
entonces
m(v1 , v1 ) m(v1 , v2 ) m(v1 , vn )
m(v2 , v1 ) m(v2 , v2 ) m(v2 , vn )
Mc (D) =
.. .. ..
. . .
m(vn , v1 ) m(vn , v2 )
Nota
Si D = [V , A, f ] es un digrafo finito con n vertices y V = {v1 , v2 , . . . , vn },
entonces
m(v1 , v1 ) m(v1 , v2 ) m(v1 , vn )
m(v2 , v1 ) m(v2 , v2 ) m(v2 , vn )
Mc (D) =
.. .. ..
. . .
m(vn , v1 ) m(vn , v2 )
Nota
Si D = [V , A, f ] es un digrafo finito con n vertices y V = {v1 , v2 , . . . , vn },
entonces
m(v1 , v1 ) m(v1 , v2 ) m(v1 , vn )
m(v2 , v1 ) m(v2 , v2 ) m(v2 , vn )
Mc (D) =
.. .. ..
. . .
m(vn , v1 ) m(vn , v2 ) m(vn , vn )
Ejemplo
Sea D el digrafo dado por,
~a
n~ p~
v1 ~b v2
~c
d~ e~ ~k ~h v5
v3 v4
Ejemplo
Sea D el digrafo dado por,
~a
n~ p~
v1 ~b v2
~c
d~ e~ ~k ~h v5
v3 v4
Ejemplo
Ejemplo
1 Los dos digrafos anteriores no son simples.
Ir al Primer Ejemplo Ir al Segundo Ejemplo
Ejemplo
1 Los dos digrafos anteriores no son simples.
Ir al Primer Ejemplo Ir al Segundo Ejemplo
~c v4
~b
v3
es simple.
Prof. Ismael Huerta Tema I - Primera Parte Digrafos
Digrafos
Ejemplo
Dado el digrafo D
~a
n~ p~
v1 ~b v2
~c
d~ e~ ~k ~h v5
v3 v4
Ejemplo
~a
n~ p~
v1 ~b v2
~c
d~ e~ ~k ~h v5
v3 v4
Ejemplo
~a
p~
v1 ~b v2
~c
d~ e~ ~k ~h v5
v3 v4
Ejemplo
~a
v1 ~b v2
~c
d~ e~ ~k ~h v5
v3 v4
Ejemplo
~a
v1 ~b v2
~c
d~ e~ ~h v5
v3 v4
Ejemplo
~a
v1 ~b v2
~c
d~ ~h v5
v3 v4
Ejemplo
v1 ~b v2
~c
d~ ~h v5
v3 v4
Ejemplo
D
v1 ~b v2
~c
d~ ~h v5
v3 v4
v R w
a A,
a = (v , w )
v R w
a A, a = (v , w )
m(v , w ) = 1
v R w
a A, a = (v , w )
m(v , w ) = 1
Observacion
v R w
a A, a = (v , w )
m(v , w ) = 1
Observacion
Cuando el digrafo simple D es finito, la representaciones sagitales del
digrafo simple D y la relacion R son las mismas,
v R w
a A, a = (v , w )
m(v , w ) = 1
Observacion
Cuando el digrafo simple D es finito, la representaciones sagitales del
digrafo simple D y la relacion R son las mismas, mas aun, la
representacion matricial MR de la relacion R y la matriz de conexion
Mc (D) coinciden,
v R w
a A, a = (v , w )
m(v , w ) = 1
Observacion
Cuando el digrafo simple D es finito, la representaciones sagitales del
digrafo simple D y la relacion R son las mismas, mas aun, la
representacion matricial MR de la relacion R y la matriz de conexion
Mc (D) coinciden, es decir MR = Mc (D).
Ejemplo
Dado el digrafo simple
~b
v1 v2
~c
d~ ~h v5
v3 v4
Ejemplo
Dado el digrafo simple
~b
v1 v2
~c
d~ ~h v5
v3 v4
Notemos que:
Ejemplo
Dado el digrafo simple
~b
v1 v2
~c
d~ ~h v5
v3 v4
Notemos que:
v1 R v2 ya que
c = (v1 , v2 )
Ejemplo
Dado el digrafo simple
~b
v1 v2
~c
d~ ~h v5
v3 v4
Notemos que:
v1 R v2 ya que
c = (v1 , v2 ) v2 R v1 ya que b = (v2 , v1 )
Ejemplo
Dado el digrafo simple
~b
v1 v2
~c
d~ ~h v5
v3 v4
Notemos que:
v1 R v2 ya que c = (v1 , v2 ) v2 R v1 ya que b = (v2 , v1 )
v1 R v3 ya que d = (v1 , v3 )
Ejemplo
Dado el digrafo simple
~b
v1 v2
~c
d~ ~h v5
v3 v4
Notemos que:
v1 R v2 ya que c = (v1 , v2 ) v2 R v1 ya que b = (v2 , v1 )
v1 R v3 ya que d = (v1 , v3 ) v4 R v2 ya que h = (v4 , v2 )
Ejemplo
Dado el digrafo simple
~b
v1 v2
~c
d~ ~h v5
v3 v4
Notemos que:
v1 R v2 ya que c = (v1 , v2 ) v2 R v1 ya que b = (v2 , v1 )
v1 R v3 ya que d = (v1 , v3 ) v4 R v2 ya que h = (v4 , v2 )
Luego,
Ejemplo
Dado el digrafo simple
~b
v1 v2
~c
d~ ~h v5
v3 v4
Notemos que:
v1 R v2 ya que c = (v1 , v2 ) v2 R v1 ya que b = (v2 , v1 )
v1 R v3 ya que d = (v1 , v3 ) v4 R v2 ya que h = (v4 , v2 )
Luego,
R = {(v1 , v2 ), (v2 , v1 ), (v1 , v3 ), (v4 , v2 )}
Prof. Ismael Huerta Tema I - Primera Parte Digrafos
Digrafos
v R L w x V , v R x y x L w
v R L w x V , v R x y x L w
Definicion: Potencias de R
Sea V un conjunto no vaco y R una relacion binaria sobre V y k 2.
De manera recursiva, definimos Rk como:
(
RR si k = 2
Rk =
RR k1
si k 3
v R L w x V , v R x y x L w
Definicion: Potencias de R
Sea V un conjunto no vaco y R una relacion binaria sobre V y k 2.
De manera recursiva, definimos Rk como:
(
RR si k = 2
Rk =
RR k1
si k 3
Lema
Sea V un conjunto vaco y R una relacion binaria sobre V . Entonces
k 1, R Rk = Rk R
Prof. Ismael Huerta Tema I - Primera Parte Digrafos
Digrafos
Definicion
Sea A = [aij ]nm una matriz con componentes no negativas. Se define la
matriz binaria B = [bij ]nm asociada a A, como la matriz cuyas
componentes bij vienen dadas por
(
0 si aij = 0
bij =
1 si aij 1
Definicion
Sea A = [aij ]nm una matriz con componentes no negativas. Se define la
matriz binaria B = [bij ]nm asociada a A, como la matriz cuyas
componentes bij vienen dadas por
(
0 si aij = 0
bij =
1 si aij 1
Definicion
Sea A = [aij ]nm una matriz con componentes no negativas. Se define la
matriz binaria B = [bij ]nm asociada a A, como la matriz cuyas
componentes bij vienen dadas por
(
0 si aij = 0
bij =
1 si aij 1
k 2, MRk = bin((MR )k )
Prof. Ismael Huerta Tema I - Primera Parte Digrafos
Digrafos
Teorema
Sea D un digrafo simple y R la relacion binaria asociada a D. Sean v0 , vk
vertices del digrafo D con k 2, entonces
a
a~2 k1
v0 vk
Teorema
Sea D un digrafo simple y R la relacion binaria asociada a D. Sean v0 , vk
vertices del digrafo D con k 2, entonces
a
a~2 k1
v0 vk
Corolario
Sea D un digrafo simple finito con n vertices v1 , v2 , . . . , vn . Entonces,
Definicion
Sea D un digrafo, se define:
Definicion
Sea D un digrafo, se define:
1 Trayectoria a cualquier secuencia finita de vertices y arcos alternados
de la forma
Definicion
Sea D un digrafo, se define:
1 Trayectoria a cualquier secuencia finita de vertices y arcos alternados
de la forma
Definicion
Sea D un digrafo, se define:
1 Trayectoria a cualquier secuencia finita de vertices y arcos alternados
de la forma
Definicion
Sea D un digrafo, se define:
1 Trayectoria a cualquier secuencia finita de vertices y arcos alternados
de la forma
Definicion
Sea D un digrafo, se define:
1 Trayectoria a cualquier secuencia finita de vertices y arcos alternados
de la forma
Teorema
Toda trayectoria elemental es simple
Teorema
Toda trayectoria elemental es simple
Observacion
No toda trayectoria simple es elemental
Teorema
Toda trayectoria elemental es simple
Observacion
No toda trayectoria simple es elemental
Ejemplo
Sea D el digrafo dado por
~1
~1 v1 ~3 v2 ~1 v3
~5 6~
~7
~4 ~3
v0 3~ v4
~2
v5
~2
Continuacion
Luego,
Continuacion
Luego,
1 T0 = [v0 , ~5, v1 , ~3, v2 , ~1, v3 , ~6, v4 ] es una trayectoria desde v0 hasta v4
de orden 4.
Continuacion
Luego,
1 T0 = [v0 , ~5, v1 , ~3, v2 , ~1, v3 , ~6, v4 ] es una trayectoria desde v0 hasta v4
de orden 4.
2 T1 = [v0 , ~5, v1 , ~2, v0 ] es un ciclo simple de orden 2.
Continuacion
Luego,
1 T0 = [v0 , ~5, v1 , ~3, v2 , ~1, v3 , ~6, v4 ] es una trayectoria desde v0 hasta v4
de orden 4.
2 T1 = [v0 , ~5, v1 , ~2, v0 ] es un ciclo simple de orden 2.
3 T2 = [v2 , ~1, v3 , ~6, v4 , ~3, v5 , ~4, v2 ] es un ciclo simple de orden 4.
Continuacion
Luego,
1 T0 = [v0 , ~5, v1 , ~3, v2 , ~1, v3 , ~6, v4 ] es una trayectoria desde v0 hasta v4
de orden 4.
2 T1 = [v0 , ~5, v1 , ~2, v0 ] es un ciclo simple de orden 2.
3 T2 = [v2 , ~1, v3 , ~6, v4 , ~3, v5 , ~4, v2 ] es un ciclo simple de orden 4.
4 T3 = [v1 , ~3, v2 , ~1, v3 , ~7, v5 , ~4, v2 , ~1, v4 , ] es una trayectoria simple pero
no es elemental.
Continuacion
Luego,
1 T0 = [v0 , ~5, v1 , ~3, v2 , ~1, v3 , ~6, v4 ] es una trayectoria desde v0 hasta v4
de orden 4.
2 T1 = [v0 , ~5, v1 , ~2, v0 ] es un ciclo simple de orden 2.
3 T2 = [v2 , ~1, v3 , ~6, v4 , ~3, v5 , ~4, v2 ] es un ciclo simple de orden 4.
4 T3 = [v1 , ~3, v2 , ~1, v3 , ~7, v5 , ~4, v2 , ~1, v4 , ] es una trayectoria simple pero
no es elemental.
5 T4 = [v1 , ~3, v2 , ~1, v4 , ~3, v5 ] es una trayectoria simple de orden 3.
Continuacion
Luego,
1 T0 = [v0 , ~5, v1 , ~3, v2 , ~1, v3 , ~6, v4 ] es una trayectoria desde v0 hasta v4
de orden 4.
2 T1 = [v0 , ~5, v1 , ~2, v0 ] es un ciclo simple de orden 2.
3 T2 = [v2 , ~1, v3 , ~6, v4 , ~3, v5 , ~4, v2 ] es un ciclo simple de orden 4.
4 T3 = [v1 , ~3, v2 , ~1, v3 , ~7, v5 , ~4, v2 , ~1, v4 , ] es una trayectoria simple pero
no es elemental.
5 T4 = [v1 , ~3, v2 , ~1, v4 , ~3, v5 ] es una trayectoria simple de orden 3.
6 T5 = [v4 , ~3, v5 , ~4, v2 , ~1, v3 , ~7, v5 , ~4, v2 , ~1, v4 ] en un ciclo pero no es un
ciclo simple.
Definicion
Sea D = [V , A, f ] un digrafo y v , w dos vertices. Diremos que, v es
accesible desde w si solo si v = w o existe una trayectoria T que inicie en
el vertice w y finalice en el vertice v .
Definicion
Sea D = [V , A, f ] un digrafo y v , w dos vertices. Diremos que, v es
accesible desde w si solo si v = w o existe una trayectoria T que inicie en
el vertice w y finalice en el vertice v .
Ejemplo
En el digrafo anterior,
Ejemplo
En el digrafo anterior,
1 Desde v0 podemos ir a los demas vertices utilizando las trayectorias
Tb1 = [v0 , ~5, v1 ], Tb2 = [v0 , ~5, v1 , ~3, v2 ], Tb3 = [v0 , ~5, v1 , ~3, v2 , ~1, v3 ],
Tb4 = [v0 , ~5, v1 , ~3, v2 , ~1, v3 , ~6, v4 ], Tb5 = [v0 , ~5, v1 , ~3, v2 , ~1, v3 , ~6, v4 , ~3, v5 ].
As, cada vertice del digrafo D es accesible desde v0 , incluyendo el
mismo v0 .
Ejemplo
En el digrafo anterior,
1 Desde v0 podemos ir a los demas vertices utilizando las trayectorias
Tb1 = [v0 , ~5, v1 ], Tb2 = [v0 , ~5, v1 , ~3, v2 ], Tb3 = [v0 , ~5, v1 , ~3, v2 , ~1, v3 ],
Tb4 = [v0 , ~5, v1 , ~3, v2 , ~1, v3 , ~6, v4 ], Tb5 = [v0 , ~5, v1 , ~3, v2 , ~1, v3 , ~6, v4 , ~3, v5 ].
As, cada vertice del digrafo D es accesible desde v0 , incluyendo el
mismo v0 .
2 Sin embargo, desde v2 solo podemos ir a v3 , v4 y v5 , por lo que v0 y
v1 no son accesibles desde v2 .
Ejemplo
En el digrafo anterior,
1 Desde v0 podemos ir a los demas vertices utilizando las trayectorias
Tb1 = [v0 , ~5, v1 ], Tb2 = [v0 , ~5, v1 , ~3, v2 ], Tb3 = [v0 , ~5, v1 , ~3, v2 , ~1, v3 ],
Tb4 = [v0 , ~5, v1 , ~3, v2 , ~1, v3 , ~6, v4 ], Tb5 = [v0 , ~5, v1 , ~3, v2 , ~1, v3 , ~6, v4 , ~3, v5 ].
As, cada vertice del digrafo D es accesible desde v0 , incluyendo el
mismo v0 .
2 Sin embargo, desde v2 solo podemos ir a v3 , v4 y v5 , por lo que v0 y
v1 no son accesibles desde v2 .
As, el digrafo D dado anteriormente no es fuertemente conexo.
Ejemplo
En el digrafo anterior,
1 Desde v0 podemos ir a los demas vertices utilizando las trayectorias
Tb1 = [v0 , ~5, v1 ], Tb2 = [v0 , ~5, v1 , ~3, v2 ], Tb3 = [v0 , ~5, v1 , ~3, v2 , ~1, v3 ],
Tb4 = [v0 , ~5, v1 , ~3, v2 , ~1, v3 , ~6, v4 ], Tb5 = [v0 , ~5, v1 , ~3, v2 , ~1, v3 , ~6, v4 , ~3, v5 ].
As, cada vertice del digrafo D es accesible desde v0 , incluyendo el
mismo v0 .
2 Sin embargo, desde v2 solo podemos ir a v3 , v4 y v5 , por lo que v0 y
v1 no son accesibles desde v2 .
As, el digrafo D dado anteriormente no es fuertemente conexo.
Teorema
Sea D un digrafo y D el digrafo simple asociado a D. Entonces,
v es accesible desde w en D v es accesible desde w en D
Ejemplo
En el digrafo anterior,
1 Desde v0 podemos ir a los demas vertices utilizando las trayectorias
Tb1 = [v0 , ~5, v1 ], Tb2 = [v0 , ~5, v1 , ~3, v2 ], Tb3 = [v0 , ~5, v1 , ~3, v2 , ~1, v3 ],
Tb4 = [v0 , ~5, v1 , ~3, v2 , ~1, v3 , ~6, v4 ], Tb5 = [v0 , ~5, v1 , ~3, v2 , ~1, v3 , ~6, v4 , ~3, v5 ].
As, cada vertice del digrafo D es accesible desde v0 , incluyendo el
mismo v0 .
2 Sin embargo, desde v2 solo podemos ir a v3 , v4 y v5 , por lo que v0 y
v1 no son accesibles desde v2 .
As, el digrafo D dado anteriormente no es fuertemente conexo.
Teorema
Sea D un digrafo y D el digrafo simple asociado a D. Entonces,
v es accesible desde w en D v es accesible desde w en D
Corolario
Sea D un digrafo y D el digrafo simple asociado a D. Entonces,
D es fuertemente conexo D es fuertemente conexo
Prof. Ismael Huerta Tema I - Primera Parte Digrafos
Digrafos
Ejemplo
1 0 0
La matriz A = 0 1 0 es una matriz binaria, mientras que la matriz
1 1 1
0 1 1
B= 0
1 0 no es una matriz binaria.
2 3 1
Ejemplo
1 0 0
La matriz A = 0 1 0 es una matriz binaria, mientras que la matriz
1 1 1
0 1 1
B= 0
1 0 no es una matriz binaria.
2 3 1
Definicion: H
Se define H, como el conjunto H = {0, 1}. En H, defininimos la suma y el
producto por:
0+0=0 0+1=1 1+0=1 1+1=1
00=0 01=0 10=0 11=1
Prof. Ismael Huerta Tema I - Primera Parte Digrafos
Digrafos
Ejemplo
1 0 0 0 1 1
Sean A = 0 1 0 y B = 0 0 0 , luego
1 1 1 1 0 1
1 0 0 0 1 1
AB = 0 1 0 0 0 0
1 1 1 1 0 1
Ejemplo
1 0 0 0 1 1
Sean A = 0 1 0 y B = 0 0 0 , luego
1 1 1 1 0 1
1 0 0 0 1 1
AB = 0 1 0 0 0 0
1 1 1 1 0 1
10+00+01 11+00+00 11+00+01
= 00+10+01 01+10+00 01+10+01
10+10+11 11+10+10 11+10+11
Ejemplo
1 0 0 0 1 1
Sean A = 0 1 0 y B = 0 0 0 , luego
1 1 1 1 0 1
1 0 0 0 1 1
AB = 0 1 0 0 0 0
1 1 1 1 0 1
10+00+01 11+00+00 11+00+01
= 00+10+01 01+10+00 01+10+01
10+10+11 11+10+10 11+10+11
0+0+0 1+0+0 1+0+0
= 0+0+0 0+0+0 0+0+0
0+0+1 1+0+0 1+0+0
Ejemplo
1 0 0 0 1 1
Sean A = 0 1 0 y B = 0 0 0 , luego
1 1 1 1 0 1
1 0 0 0 1 1
AB = 0 1 0 0 0 0
1 1 1 1 0 1
10+00+01 11+00+00 11+00+01
= 00+10+01 01+10+00 01+10+01
10+10+11 11+10+10 11+10+11
0+0+0 1+0+0 1+0+0 0 1 1
= 0+0+0 0+0+0 0+0+0 = 0 0 0
0+0+1 1+0+0 1+0+0 1 1 1
Ejemplo
1 0 0 0 1 1
Sean A = 0 1 0 y B = 0 0 0 , luego
1 1 1 1 0 1
1 0 0 0 1 1
AB = 0 1 0 0 0 0
1 1 1 1 0 1
10+00+01 11+00+00 11+00+01
= 00+10+01 01+10+00 01+10+01
10+10+11 11+10+10 11+10+11
0+0+0 1+0+0 1+0+0 0 1 1
= 0+0+0 0+0+0 0+0+0 = 0 0 0
0+0+1 1+0+0 1+0+0 1 1 1
0 1 1 1 0 0
Ver que BA = 0 0 0 0 1 0 =
1 0 1 1 1 1
Prof. Ismael Huerta Tema I - Primera Parte Digrafos
Digrafos
Ejemplo
1 0 0 0 1 1
Sean A = 0 1 0 y B = 0 0 0 , luego
1 1 1 1 0 1
1 0 0 0 1 1
AB = 0 1 0 0 0 0
1 1 1 1 0 1
10+00+01 11+00+00 11+00+01
= 00+10+01 01+10+00 01+10+01
10+10+11 11+10+10 11+10+11
0+0+0 1+0+0 1+0+0 0 1 1
= 0+0+0 0+0+0 0+0+0 = 0 0 0
0+0+1 1+0+0 1+0+0 1 1 1
0 1 1 1 0 0 1 1 1
Ver que BA = 0 0 0 0 1 0 = 0 0 0
1 0 1 1 1 1 1 1 1
Prof. Ismael Huerta Tema I - Primera Parte Digrafos
Digrafos
Definicion
Sea A una matriz binaria cuadrada, se define de manera recursiva
(
AA si k = 2
k 2, Ak = k1
AA si k 3
Definicion
Sea A una matriz binaria cuadrada, se define de manera recursiva
(
AA si k = 2
k 2, Ak = k1
AA si k 3
Teorema
Sea A una matriz binaria cuadrada. Entonces,
k 1, A Ak = Ak A
Definicion
Sea A una matriz binaria cuadrada, se define de manera recursiva
(
AA si k = 2
k 2, Ak = k1
AA si k 3
Teorema
Sea A una matriz binaria cuadrada. Entonces,
k 1, A Ak = Ak A
Definici on: Matriz de Accesibilidad para Digrafos Simples Finitos
Sea D un digrafo simple finito con n vertices y matriz de conexion
M = Mc (D). Se define la matriz de accesibilidad del digrafo D, la cual
denotaremos por Acc (D), como la matriz binaria cuadrada de orden n n
dada por:
Acc (D) = bin[In + M + M 2 + + M n1 ]
donde In es la matriz identidad n n.
Prof. Ismael Huerta Tema I - Primera Parte Digrafos
Digrafos
Obervacion
Sea D un digrafo finito y M = Mc (D) la matriz de conexion del digrafo D,
recordemos que M no tiene porque ser una matriz binaria. Sea k 2 y si
M k = [hij ] (bajo la multiplicacion clasica de matrices), entonces hij
representa exactamente la cantidad de trayectorias de orden k que se
inician en vi y finalizan en vj . Sin embargo, si D es el digrafo simple
asociado a D y N = Mc (D ), N si es una matriz binaria; ahora si
N k = [aij ](con la multiplicacion de matrices binarias), entonces si aij = 1
solo significa que existen trayectorias de orden k que se inician en vi y
finalizan en vj , mientras que si aij = 0 nos indica que no existen
trayectorias de orden k que se inicien en vi y finalizen en vj .
Obervacion
Sea D un digrafo finito y M = Mc (D) la matriz de conexion del digrafo D,
recordemos que M no tiene porque ser una matriz binaria. Sea k 2 y si
M k = [hij ] (bajo la multiplicacion clasica de matrices), entonces hij
representa exactamente la cantidad de trayectorias de orden k que se
inician en vi y finalizan en vj . Sin embargo, si D es el digrafo simple
asociado a D y N = Mc (D ), N si es una matriz binaria; ahora si
N k = [aij ](con la multiplicacion de matrices binarias), entonces si aij = 1
solo significa que existen trayectorias de orden k que se inician en vi y
finalizan en vj , mientras que si aij = 0 nos indica que no existen
trayectorias de orden k que se inicien en vi y finalizen en vj .
Ejemplo
Sea D el digrafo dado por
v1
v2
v3
v4
v5
v7
v6
Continuacion
La matriz de conexion del digrafo D es,
Continuacion
La matriz de conexion del digrafo D es,
0 2 0 0 0 0 0
1 0 0 1 2 0 0
2 0 2 1 0 0 2
Mc (D) = 0 1 1 0 0 0 2
0 0 0 2 0 1 0
0 0 0 0 0 1 1
0 0 0 0 0 0 1
Continuacion
La matriz de conexion del digrafo D es,
0 2 0 0 0 0 0
1 0 0 1 2 0 0
2 0 2 1 0 0 2
Mc (D) = 0 1 1 0 0 0 2
0 0 0 2 0 1 0
0 0 0 0 0 1 1
0 0 0 0 0 0 1
La matriz de conexion del digrafo simple D asociado a D es,
Continuacion
La matriz de conexion del digrafo D es,
0 2 0 0 0 0 0
1 0 0 1 2 0 0
2 0 2 1 0 0 2
Mc (D) = 0 1 1 0 0 0 2
0 0 0 2 0 1 0
0 0 0 0 0 1 1
0 0 0 0 0 0 1
La matriz de conexion del digrafo simple D asociado a D es,
0 1 0 0 0 0 0
1 0 0 1 1 0 0
1 0 0 1 0 0 1
M = Mc (D ) = 0 1 1 0 0 0 1
0 0 0 1 0 1 0
0 0 0 0 0 0 1
0 0 0 0 0 0 0
Prof. Ismael Huerta Tema I - Primera Parte Digrafos
Digrafos
Continuacion
Las potencias hasta la de orden 6 de M son:
Continuacion
Las potencias hasta la de orden 6 de M son:
1 0 0 1 1 0 0
0 1 1 1 0 1 1
0 1 1 0 0 0 1
M2 = 1 0 0 1 1 0 1 ,
0 1 1 0 0 0 1
0 0 0 0 0 0 0
0 0 0 0 0 0 0
Continuacion
Las potencias hasta la de orden 6 de M son:
1 0 0 1 1 0 0 0 1 1 1 0 1 1
0 1 1 1 0 1 1 1 1 1 1 1 0 1
0 1 1 0 0 0 1 1 0 0 1 1 0 1
2
3
M = 1 0 0 1 1 0 1 , M = 0 1 1 1 0 1 1
0 1 1 0 0 0 1 1 0 0 1 1 0 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
Continuacion
Las potencias hasta la de orden 6 de M son:
1 0 0 1 1 0 0 0 1 1 1 0 1 1
0 1 1 1 0 1 1 1 1 1 1 1 0 1
0 1 1 0 0 0 1 1 0 0 1 1 0 1
2
3
M = 1 0 0 1 1 0 1 , M = 0 1 1 1 0 1 1
0 1 1 0 0 0 1 1 0 0 1 1 0 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
1 1 1 1 1 0 1
1 1 1 1 1 1 1
0 1 1 1 0 1 1
M4 = 1 1 1 1 1 0 1 ,
0 1 1 1 0 0 1
0 0 0 0 0 0 0
0 0 0 0 0 0 0
Continuacion
Las potencias hasta la de orden 6 de M son:
1 0 0 1 1 0 0 0 1 1 1 0 1 1
0 1 1 1 0 1 1 1 1 1 1 1 0 1
0 1 1 0 0 0 1 1 0 0 1 1 0 1
2
3
M = 1 0 0 1 1 0 1 , M = 0 1 1 1 0 1 1
0 1 1 0 0 0 1 1 0 0 1 1 0 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
1 1 1 1 1 0 1 1 1 1 1 1 1 1
1 1 1 1 1 1 1 1 1 1 1 1 1 1
0 1 1 1 0 1 1 1 1 1 1 1 0 1
M4 = 1 1 1 1 1 0 1 , M5 =
1 1 1 1 1 1 1
0 1 1 1 0 0 1 1 1 1 1 1 0 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
Continuacion
Por ultimo,
Continuacion
1 1 1 1 1 1 1
1 1 1 1 1 1 1
1 1 1 1 1 1 1
6
Por ultimo, M =
1 1 1 1 1 1 1 . Luego,
1 1 1 1 1 1 1
0 0 0 0 0 0 0
0 0 0 0 0 0 0
Continuacion
1 1 1 1 1 1 1
1 1 1 1 1 1 1
1 1 1 1 1 1 1
6
Por ultimo, M =
1 1 1 1 1 1 1 . Luego,
1 1 1 1 1 1 1
0 0 0 0 0 0 0
0 0 0 0 0 0 0
Acc (D) =
Continuacion
1 1 1 1 1 1 1
1 1 1 1 1 1 1
1 1 1 1 1 1 1
6
Por ultimo, M =
1 1 1 1 1 1 1 . Luego,
1 1 1 1 1 1 1
0 0 0 0 0 0 0
0 0 0 0 0 0 0
Continuacion
1 1 1 1 1 1 1
1 1 1 1 1 1 1
1 1 1 1 1 1 1
6
Por ultimo, M =
1 1 1 1 1 1 1 . Luego,
1 1 1 1 1 1 1
0 0 0 0 0 0 0
0 0 0 0 0 0 0
Continuacion
1 1 1 1 1 1 1
1 1 1 1 1 1 1
1 1 1 1 1 1 1
6
Por ultimo, M =
1 1 1 1 1 1 1 . Luego,
1 1 1 1 1 1 1
0 0 0 0 0 0 0
0 0 0 0 0 0 0
Continuacion
1 1 1 1 1 1 1
1 1 1 1 1 1 1
1 1 1 1 1 1 1
6
Por ultimo, M =
1 1 1 1 1 1 1 . Luego,
1 1 1 1 1 1 1
0 0 0 0 0 0 0
0 0 0 0 0 0 0
Contunacion
Notese que la componente (1, 7) de M 4 es 1, esto significa que existe al
menos una trayectoria que se inicia en v1 y finaliza en v7 , por ejemplo:
v1 v2 v5 v6 v7
pero ella no tiene porque ser la unica, pueden existir otras, por ejemplo:
v1 v2 v4 v3 v7
Ahora la componente (7, 3) de la matriz Acc (D ) es 0, lo cual significa que
no existe una trayectoria de orden menor o igual a 6 que se inicie en v7 y
finalize en v3 . Si existiese una trayectoria de orden mayor que 6 de v7 a v3 ,
esta no puede ser elemental (recordemos que las trayectorias elementales
de mayor longitud que podran existir son de orden 6), por lo que se repiten
vertices, al eliminar todos los ciclos presentes es dicha cadena y los cuales
son innecesarios, obtendramos una nueva trayectoria de v7 a v3 la cual es
elemental y debe tener orden menor o igual a 6, lo cual contradice a que la
componente (7, 3) de Acc (D ) sea 0. As, v3 no es accesible desde v7 .
Prof. Ismael Huerta Tema I - Primera Parte Digrafos
Digrafos
Corolario
Corolario
Sea D un digrafo finito. Entonces,
Corolario
Sea D un digrafo finito. Entonces,
Corolario
Sea D un digrafo finito. Entonces,
Corolario
Sea D un digrafo finito. Entonces,
Ejemplo
El digrafo del ejemplo anterior no es fuertemente conexo, ya que la matriz
Acc (D) tiene algunas componentes nulas.
Definicion: Dicotoma
Definicion: Dicotoma
Sea A un conjunto no vaco. Diremos que el par {B, D} es una dicotoma
de A si y solo si se cumple que:
Definicion: Dicotoma
Sea A un conjunto no vaco. Diremos que el par {B, D} es una dicotoma
de A si y solo si se cumple que:
1 B A, D A
Definicion: Dicotoma
Sea A un conjunto no vaco. Diremos que el par {B, D} es una dicotoma
de A si y solo si se cumple que:
1 B A, D A
2 B 6= , D 6=
Definicion: Dicotoma
Sea A un conjunto no vaco. Diremos que el par {B, D} es una dicotoma
de A si y solo si se cumple que:
1 B A, D A
2 B 6= , D 6=
3 A=B D
Definicion: Dicotoma
Sea A un conjunto no vaco. Diremos que el par {B, D} es una dicotoma
de A si y solo si se cumple que:
1 B A, D A
2 B 6= , D 6=
3 A=B D
4 B D=
Definicion: Dicotoma
Sea A un conjunto no vaco. Diremos que el par {B, D} es una dicotoma
de A si y solo si se cumple que:
1 B A, D A
2 B 6= , D 6=
3 A=B D
4 B D=
Teorema
Definicion: Dicotoma
Sea A un conjunto no vaco. Diremos que el par {B, D} es una dicotoma
de A si y solo si se cumple que:
1 B A, D A
2 B 6= , D 6=
3 A=B D
4 B D=
Teorema
Sea D = [V , A, f ] un digrafo con mas de un vertice. Las siguientes
proposiciones son equivalentes,
Definicion: Dicotoma
Sea A un conjunto no vaco. Diremos que el par {B, D} es una dicotoma
de A si y solo si se cumple que:
1 B A, D A
2 B 6= , D 6=
3 A=B D
4 B D=
Teorema
Sea D = [V , A, f ] un digrafo con mas de un vertice. Las siguientes
proposiciones son equivalentes,
1 D es fuertemente conexo
Definicion: Dicotoma
Sea A un conjunto no vaco. Diremos que el par {B, D} es una dicotoma
de A si y solo si se cumple que:
1 B A, D A
2 B 6= , D 6=
3 A=B D
4 B D=
Teorema
Sea D = [V , A, f ] un digrafo con mas de un vertice. Las siguientes
proposiciones son equivalentes,
1 D es fuertemente conexo
2 Para cualquier dicotoma de {V1 , V2 } del conjunto de vertices V ,
Definicion: Dicotoma
Sea A un conjunto no vaco. Diremos que el par {B, D} es una dicotoma
de A si y solo si se cumple que:
1 B A, D A
2 B 6= , D 6=
3 A=B D
4 B D=
Teorema
Sea D = [V , A, f ] un digrafo con mas de un vertice. Las siguientes
proposiciones son equivalentes,
1 D es fuertemente conexo
2 Para cualquier dicotoma de {V1 , V2 } del conjunto de vertices V ,
existen arcos ~a y ~b tales que
Definicion: Dicotoma
Sea A un conjunto no vaco. Diremos que el par {B, D} es una dicotoma
de A si y solo si se cumple que:
1 B A, D A
2 B 6= , D 6=
3 A=B D
4 B D=
Teorema
Sea D = [V , A, f ] un digrafo con mas de un vertice. Las siguientes
proposiciones son equivalentes,
1 D es fuertemente conexo
2 Para cualquier dicotoma de {V1 , V2 } del conjunto de vertices V ,
existen arcos ~a y ~b tales que el vertice inicial de ~a esta en V1 y el
vertice final de ~a esta en V2 ,
Definicion: Dicotoma
Sea A un conjunto no vaco. Diremos que el par {B, D} es una dicotoma
de A si y solo si se cumple que:
1 B A, D A
2 B 6= , D 6=
3 A=B D
4 B D=
Teorema
Sea D = [V , A, f ] un digrafo con mas de un vertice. Las siguientes
proposiciones son equivalentes,
1 D es fuertemente conexo
2 Para cualquier dicotoma de {V1 , V2 } del conjunto de vertices V ,
existen arcos ~a y ~b tales que el vertice inicial de ~a esta en V1 y el
vertice final de ~a esta en V2 , mientras que,
Definicion: Dicotoma
Sea A un conjunto no vaco. Diremos que el par {B, D} es una dicotoma
de A si y solo si se cumple que:
1 B A, D A
2 B 6= , D 6=
3 A=B D
4 B D=
Teorema
Sea D = [V , A, f ] un digrafo con mas de un vertice. Las siguientes
proposiciones son equivalentes,
1 D es fuertemente conexo
2 Para cualquier dicotoma de {V1 , V2 } del conjunto de vertices V ,
existen arcos ~a y ~b tales que el vertice inicial de ~a esta en V1 y el
vertice final de ~a esta en V2 , mientras que, el vertice inicial de ~b esta
en V2 y el vertice final de ~b esta en V1 .
Prof. Ismael Huerta Tema I - Primera Parte Digrafos
Digrafos
Ejemplo
Ejemplo
Sean V1 = {v, v2 , v3 , v4 , v5 } y V2 = {v6 , v7 },
Ejemplo
Sean V1 = {v, v2 , v3 , v4 , v5 } y V2 = {v6 , v7 }, entonces {V1 , V2 } es una
dicotoma del conjunto de vertices V = {v1 , v2 , v3 , v4 , v5 , v6 , v7 } del digrafo
D del ejemplo anterior.
Ejemplo
Sean V1 = {v, v2 , v3 , v4 , v5 } y V2 = {v6 , v7 }, entonces {V1 , V2 } es una
dicotoma del conjunto de vertices V = {v1 , v2 , v3 , v4 , v5 , v6 , v7 } del digrafo
D del ejemplo anterior.
Notese que no existe un arco que tenga vertice inicial en V2 y vertice final
en V1 ;
Ejemplo
Sean V1 = {v, v2 , v3 , v4 , v5 } y V2 = {v6 , v7 }, entonces {V1 , V2 } es una
dicotoma del conjunto de vertices V = {v1 , v2 , v3 , v4 , v5 , v6 , v7 } del digrafo
D del ejemplo anterior.
Notese que no existe un arco que tenga vertice inicial en V2 y vertice final
en V1 ; ya que, no existen arcos que se originen en v7 ,
Ejemplo
Sean V1 = {v, v2 , v3 , v4 , v5 } y V2 = {v6 , v7 }, entonces {V1 , V2 } es una
dicotoma del conjunto de vertices V = {v1 , v2 , v3 , v4 , v5 , v6 , v7 } del digrafo
D del ejemplo anterior.
Notese que no existe un arco que tenga vertice inicial en V2 y vertice final
en V1 ; ya que, no existen arcos que se originen en v7 , mientras que los
arcos que se originan en v6 finalizan en v6 o en v7 , ninguno de los cuales
estan en V1 .
Ejemplo
Sean V1 = {v, v2 , v3 , v4 , v5 } y V2 = {v6 , v7 }, entonces {V1 , V2 } es una
dicotoma del conjunto de vertices V = {v1 , v2 , v3 , v4 , v5 , v6 , v7 } del digrafo
D del ejemplo anterior.
Notese que no existe un arco que tenga vertice inicial en V2 y vertice final
en V1 ; ya que, no existen arcos que se originen en v7 , mientras que los
arcos que se originan en v6 finalizan en v6 o en v7 , ninguno de los cuales
estan en V1 . Luego, del teorema anterior, se concluye que el digrafo D del
ejemplo anterior no es fuertemente conexo.
Definicion: Ponderacion
Sea D = [V , A, f ] un digrafo. Una ponderacion es una funcion
: A R+ , que asocia a cada arco del digrafo D un unico numero real
positivo.
Deficion
Sean v , w vertices del digrafo D = [V , A, f ], denotaremos por T (v , w ) al
conjunto de todas las trayectorias en D de v a w (es decir, que se inician
en v y finalizan en w ).
Nota
Puede acontecer que T (v , w ) =
Trayectorias Optimas
Sean v , w vertices del digrafo D tales que T (v , w ) sea no vaco. Diremos
que una trayectoria Tb de v a w es optima si
(Tb ) (T ), T T (v , w )
Nota
1 Sean v , w vertices del digrafo D tales que T (v , w ) sea no vaco. No
tiene porque existir una unica trayectoria optima de v a w . Lo que si
acontece, es que todas las trayectorias optimas de v a w tienen la
misma ponderacion.
Ejemplo
Sea D el digrafo ponderado dado por,
v2 3 v3
3
v1 2
2
2 1
2
2 3 v7
v4
2
4
1
v5
4 v6
Continuacion
1 En v1 hay un lazo de ponderacion 2.
2 De v2 a v3 hay dos arcos, uno de ponderacion 2 y otro de
ponderacion 3.
3 De v7 a v6 hay solo un arco y su ponderacion es 1.
4 Sea T1 la trayectoria de v2 a v6 dada por
T1 : v2 , 3, v3 , 2, v7 , 2, v5 , 4, v6
T2 : v2 , 3, v3 , 2, v7 , 1, v6 con (T2 ) = 3 + 2 + 1 = 6
T3 : v2 , 2, v3 , 2, v7 , 2, v5 , 4, v6 con (T3 ) = 2 + 2 + 2 + 4 = 10
T4 : v2 , 2, v3 , 2, v7 , 1, v6 con (T4 ) = 2 + 2 + 1 = 5
T5 : v2 , 1, v4 , 4, v5 , 4, v6 con (T5 ) = 1 + 4 + 4 = 9
T6 : v2 , 1, v4 , 3, v7 , 1, v6 con (T6 ) = 1 + 3 + 1 = 5
Prof. Ismael Huerta Tema I - Primera Parte Digrafos
Digrafos
Continuacion
Si no existiesen mas trayectorias de v2 a v6 o si llegasen a existir y ninguna
tuviese ponderacion menor a 5, entonces T4 y T6 seran dos trayectorias
optimas de v2 a v6 .
Ejemplo
En el digrafo D del ejemplo anterior se tiene que dist(v1 , v1 ) = 0 (por
definicion) y como no existen trayectoria desde v1 a los demas vertices, se
tiene que dist(v1 , vk ) = para k = 2, 3, 4, 5, 6, 7.
Seleccionar vertice
w1 , v
/ W1 , calcular w2 tal que el nu-
W1 = {w0 , d1 (w1 ) d2 (v ) = min{d1 (v ), d1 (w1 ) + (w1 , v )} mero d2 (w2 ) sea
w1 } d1 (v ) v / W1 mnimo entre los
valores d2 (v )
Seleccionar vertice
w2 , v
/ W2 , calcular w3 tal que el nu-
W2 = {w0 , d2 (w2 ) d3 (v ) = min{d2 (v ), d2 (w2 ) + (w2 , v )} mero d3 (w3 ) sea
Continuacon
Continuacion del Algoritmo para encontrar las distancias de un vertice v0 a los demas
vertices
del digrafo finito D.
.. .. .. ..
. . . .
Seleccionar vertice
Wk = {w0 , wk , v
/ Wk , calcular
wk+1 tal que el nu-
w1 , w2 , dk (wk ) dk+1 (v ) = min{dk (v ), dk (wk ) + (wk , v )} mero dk+1 (wk+1
) sea
. . . , wk } dk (v ) v / Wk mnimo entre los
valores dk+1 (v )
.. .. .. ..
. . . .