Teoría de Grafos

Clase #1
Clase #1
 Repaso
• Relación Binaria
• Relación definida sobre un conjunto
Relación definida sobre un conjunto

Meta
• Graficas ordenadas
• Redes
d
 Grafica
• DEFINICION
– Una grafica es una pareja ordenada formada por 
g p j p
un conjunto “X”, llamado conjunto de vértices, y 
una relación “R”, definida sobre el conjunto de 
, j
arcos.
– Se usa la siguiente notación G = (X, R)
Se usa la siguiente notación G = (X R)
En este curso Markov
Vértices Eventos Vértices Estados
Arcos  Actividades Arcos Transiciones
Ejemplo #1
Ejemplo #1
SSean X = { x tales
t l que x es una población
bl ió
de Guatemala} y sea Rel(x) = R = { (x, y) tal
que x esta conectado con y por medio de
una carretera}
 Ejemplo #2
Ejemplo #2
Sea X = { x tal que x es un integrante de una organización}
R = {(x, y) tal que x recibe ordenes de y}
 Definiciones
• D
Dados dos conjunto A
d d j A y B, llamaremos producto 
B ll d
cartesiano al conjunto de todas las parejas 
ordenadas que se pueden formar con un primer
ordenadas que se pueden formar con un primer 
elemento en el conjunto A y un segundo elemento 
en el conjunto B Se utiliza la notación AxB.
en el conjunto B. Se utiliza la notación AxB.

• Una
Una relación binaria de un conjunto A
relación binaria de un conjunto A en un 
en un
conjunto B, y que se denota por Rel(A, B), es un 
subconjunto de un producto cartesiano, esto es,
subconjunto de un producto cartesiano, esto es, 
Rel(A, B) C AxB
 Definiciones
• Se dice que una relación binaria es una relación 
j ( )
definida sobre un conjunto si Rel(A, A). Esto es, 
si el primer conjunto y el segundo son iguales. 
Se escribe Rel(A A) = Rel(A) y mas brevemente 
Se escribe Rel(A, A)  Rel(A) y mas brevemente
R.
 Propiedades de una relación
Propiedades de una relación
Se dice que una relación definida en un conjunto  Rel(A) = 
{(x,y) tal que p(x,y)} es:

si ‫׊‬x ‫ א‬A 
• Reflexiva si ‫׊‬x  A ֜ (x, x) 
(x x) ‫ א‬Rel(A) ; esto es, si para todo 
Rel(A) ; esto es si para todo
elemento del conjunto A, se encuentra en la relación la 
pareja idéntica (x,x).

• Simétrica si ‫(׊‬x, y) ‫ א‬Rel(A) ֜ ( y, x) ‫ א‬Rel(A) ; esto es, si 

para toda pareja ordenada en la relación la pareja
para toda pareja ordenada en la relación, la pareja 
conmutada (simétrica) también está en la relación.

• Transitiva si [(x, y) ‫ א‬Rel(A) ‫( ר‬ y, z) ‫ א‬Rel(A)]֜ (x, z) ‫א‬

Rel(A) ; esto es, que si se encuentran relacionadas x con y & 
y con z entonces se encuentran relacionadas x con z
y con z, entonces se encuentran relacionadas x con z.
 Propiedades de una relación
Propiedades de una relación
• Antisimétrica
i i é i si [(x, y) 
[( ) Rel(A) 
l( ) ( y, x) 
( )
Rel(A)] x = y ; esto es que si están las parejas 
simétricas, entonces necesariamente x tiene 
que ser igual a y.

• De
De Equivalencia, si es Reflexiva, Simétrica y 
Equivalencia si es Reflexiva Simétrica y
Transitiva.

• De Orden, si es Transitiva y Antisimétrica
 Representación de una grafica
Representación de una grafica
• Sagital
– Muy visual
y
– Esta es la que usaremos en el curso
• Matricial
M ti i l
– Mucho mas versátil y poderosa
– Programación no lineal
 Representación Sagital
Representación Sagital

En esta forma de
B
representar una grafica se
utilizan círculos para
identificar los vértices y
flechas para representar
los arcos. Por ejemplo el
A arco (A,
(A B) se representa
en la figura.
 Otro ejemplo
Otro ejemplo
B

A E

D
 Representación Matricial
Representación Matricial
B

C
A E

A B C D E
A 0 0 AC AD 0
B BA 0 0 0 0
C 0 0 0 0 CE
D 0 0 0 0 DE
E 0 EB 0 0 0
 Definición
Dada una Grafica G = (X, R), llamaremos camino
Dada una Grafica G (X R) llamaremos camino a  a
una sucesión de arcos tales que todo punto inicial 
de un arco es punto final de otro Excepto tal vez
de un arco es punto final de otro. Excepto tal vez 
uno.
B

C
A E

D
 Definición
Se dice que una grafica es fuertemente conexa si para toda 
q g p
pareja de puntos    (xi,  xj), existe por lo menos un camino 
que los une comenzando en xi y terminando en xj.

C
A E