Relaciones binarias

Matemtica discreta

Matemtica discreta. Relaciones binarias

Relacin binaria en A
Dados dos conjuntos A y B, una relacin R binaria es cualquier subconjunto de AxB Dados aA y bB, a est relacionado con b por R si (a,b)R, aRb. Si a no est relacionado con b, es decir, (a,b)R, escribimos aRb. Si B=A, R es una relacin binaria en A.

Matemtica discreta. Relaciones binarias

Representacin de una relacin

Formal: aRb si a y b cumplen una cierta propiedad P. a b Diagrama sagital: aRb Matriz de adyacencia: aRb y aRc
b c . . . a . 1 0 . . . . . .

. .

. .

Matemtica discreta. Relaciones binarias

Diagrama sagital
Representacin grfica con flechas.
aA aRb a

ejemplo: A={a,b,c,d} R={(a,c),(a,d),(b,a),(b,b),(b,d),(c,a),(d,c)} a b c

Matemtica discreta. Relaciones binarias

d
4

Matriz de adyacencia
Matriz booleana MR=(mij) A={a1, ..., an} mij=1 si aiRaj mij=0 si aiRaj ejemplo: A={a,b,c,d} R={(a,c),(a,d),(b,a),(b,b),(b,d),(c,a),(d,c)}
MR =

0 0 1 1 1 1 0 1

1 0 0 0

0 0 1 0

Suponemos un orden en los elementos de A, en este caso el alfabtico.

Matemtica discreta. Relaciones binarias

Operaciones con relaciones 1

Dadas R1 y R2 sobre A Unin: R1 R2={(a,b) AxA / aR1b aR2b} Composicin o producto: R1R2={(a,b) AxA / cA aR1c y cR2b}
En general, R1R2 R2R1 La composicin es asociativa: Rn+1=Rn R

Matemtica discreta. Relaciones binarias

Operaciones con relaciones 2

M(R1 R2)=MR1 MR2 M(R1R2)=MR1 MR2
suma booleana producto booleano 0 1 0 0 1 1 1 1 0 1 0 0 0 1 0 1
7

Matemtica discreta. Relaciones binarias

Operaciones con relaciones 3

Dada R sobre A={a1,..,an} y MR su matriz de adyacencia: MR = OR R= (matriz nula de orden n) MR = 1R R=AxA (matriz de unos de orden n) MRm = (MR )m, m Z+ (m-sima potencia booleana)
Rm est formada por los pares de elementos que se pueden conectar mediante un camino de longitud m.
Matemtica discreta. Relaciones binarias 8

ejemplo
0 1 0 0 0 0 1 0 M = R 0 0 0 1 0 0 0 0

a d a d a d

b
R={(a,b),(b,c),(c,d)}

c b
R2={(a,c),(b,d)}

0 0 1 0 0 0 0 1 M = 2 0 0 0 0 R 0 0 0 0

0 0 0 1 0 0 0 0 M = 3 0 0 0 0 R 0 0 0 0

c b
R3={(a,d)}

c
9

Matemtica discreta. Relaciones binarias

Propiedades
R definida sobre A, con matriz de adyacencia M y Card(A)=n Reflexiva: [xA Simtrica: [x,yA xRx] InM=M xRy yRx] M=Mt

Transitiva: [x,y,zA xRy, yRz xRz] MM2=M Antisimtrica: [x,yA xRy , yRx x=y] en M+Mt no aparece ningn 2 salvo, a lo sumo en la diagonal.
Matemtica discreta. Relaciones binarias 10

Cierre de relaciones 1
Cierre reflexivo: CR(R) menor relacin reflexiva que contiene a R.
R CR(R). CR(R) es reflexiva Si S es reflexiva y tal que RS, entonces CR(R) S.

Cierre simtrico: CS(R) menor relacin simtrica que contiene a R.

R CS(R). CS(R) es simtrica Si S es simtrica y tal que RS, entonces CS(R) S.

Cierre transitivo: CT(R) menor relacin transitiva que contiene a R.

R CT(R). CT(R) es transitiva Si S es transitiva y tal que RS, entonces CT(R) S.
Matemtica discreta. Relaciones binarias 11

Cierre de relaciones 2
R definida sobre A={a1,..,an}, con matriz de adyacencia MR .

MCR(R) = MR In MCS(R) = MR MtR MCTR(R) = MR M2R M3R ... MnR

Matemtica discreta. Relaciones binarias

12

Relaciones de orden

Relaciones de orden
Dada una relacin binaria R definida sobre A, se dice que R es una relacin de orden en A si verifica las propiedades:
reflexiva antisimtrica transitiva

Se dice entonces que a est ordenado por R o que el par (A,R) es un conjunto ordenado.
Matemtica discreta. Relaciones binarias 13

Relaciones de orden

Notacin
Utilizaremos el smbolo para las relaciones de orden. aRb ab Se lee a es anterior a b (menor o igual) o bien b es posterior a a (mayor o igual) Distintas relaciones sobre un mismo conjunto, dan lugar a distintos conjuntos ordenados. a,bA son comparables si aRb o bRa
Matemtica discreta. Relaciones binarias 14

Relaciones de orden

ejemplo
En N, a b n N / b=an Es una relacin de orden:
reflexiva: a=a1 aN antisimtrica: a,bN si a b y b a n,m N / b=an y a=bm, entonces b= [bm]n=bmn luego mn=1 y como n,m N m=n=1, as a=b transitiva: a,b,cN si a b y b c n,m N / b=an y c=bm, entonces c= [an]m=anm luego si k = nm, kN /c=ak, es decir, a c
Matemtica discreta. Relaciones binarias 15

Relaciones de orden

Diagrama Hasse 1
Dada una relacin de orden R en A y R1 una relacin asociada a R tal que aR1b aRb y a b (a<b a b y a b) el diagrama Hasse de R es el diagrama sagital de la relacin HR=R1-R12 Si Card(A)=n, matricialmente: MH =(MR-In)-(MR-In)2
R

Matemtica discreta. Relaciones binarias

16

Relaciones de orden

Diagrama Hasse 2
Permite asociar a una relacin de orden un diagrama ms sencillo que el diagrama sagital. Construccin del diagrama Hasse a partir del diagrama sagital:
eliminar los bucles eliminar todas las flechas que puedan derivarse de aplicar la propiedad transitiva.

Matemtica discreta. Relaciones binarias

17

Relaciones de orden

ejemplo
a

e d

e d

Matemtica discreta. Relaciones binarias

18

Relaciones de orden

Orden total y parcial

(A, ) est totalmente ordenado si cualquier par de elementos son comparables, se dice entonces que es de orden total. En otro caso, se dice que (A, ) est parcialmente ordenado y que es de orden parcial. C es una cadena de (A, ) si C A y (C, ) est totalmente ordenado.
Matemtica discreta. Relaciones binarias 19

Relaciones de orden

Elementos notables 1
Dados (A,) y C A, C aA es cota superior de C si cC, ca.
C est acotado superiormente La menor de las cotas superiores es el supremo.

aA es cota inferior de C si cC, ac.

C est acotado sinferiormente La mayor de las cotas inferiores es el nfimo.

El supremo y el nfimo, si existen, han de ser comparables con el resto de las cotas superiores o inferiores, respectivamente.
Matemtica discreta. Relaciones binarias 20

Relaciones de orden

Elementos notables 2
Dados (A,) y C A, C aC es elemento maximal de C si cC, ac a=c. mC es mximo de C si cC, cm.
si existe, es el nico elemento maximal de C

aC es elemento minimal de C si cC, ca a=c. mC es mnimo de C si cC, mc

si existe, es el nico elemento minimal de C
Matemtica discreta. Relaciones binarias 21

Relaciones de orden

Elementos notables 3
Pueden existir uno, varios o ningn elemento maximal y minimal. El mximo (mnimo), cuando existe, es el nico elemento maximal (minimal). Si en C existe supremo (nfimo) es nico. Si C tiene mximo (mnimo) coincide con el supremo (nfimo).

Matemtica discreta. Relaciones binarias

22

Relaciones de orden

ejemplo
a

e d

{a,b,e}
d es cota superior y supremo {b,e} son elementos maximales no tiene mximo a es cota inferior, nfimo, mnimo y el nico elemento minimal.

Matemtica discreta. Relaciones binarias

23

Relaciones de equivalencia

Relaciones de equivalencia
Dada una relacin binaria R definida sobre A, se dice que R es una relacin de equivalencia en A si verifica las propiedades:
reflexiva simtrica transitiva

Matemtica discreta. Relaciones binarias

24

Relaciones de equivalencia

Clase de equivalencia
Dada R una relacin de equivalencia en A y aA, se define la clase de equivalencia de a como [a]={x A / xRa }. [a] pues a[a]. [a]=[b] a,bA aRb [a][b]= a,bA aRb aA[a]=A Cualquier elemento de [a] es un representante de la clase.
Matemtica discreta. Relaciones binarias 25

Relaciones de equivalencia

Conjunto cociente
Una particin de un conjunto A es una familia de subconjuntos no vacos de A, {Ai} disjuntos entre s y cuya unin es A. i Ai; AjAi= ij; Ai=A La relacin de equivalencia R define en A una particin formada por las clases de equivalencia. Llamamos conjunto cociente de A por R a A/R={[a]/ aA}. Cada particin de A est asociada a una relacin de equivalencia definida en l.
Matemtica discreta. Relaciones binarias 26

Relaciones de equivalencia

ejemplo 1
A={palabras de n bits} w(a) el nmero de unos que contiene a aRb w(a) w(b) (mod 2) R es de equivalencia:
Reflexiva: aRa w(a) w(a)(mod 2) Simtrica: aRb bRa w(a) w(b)(mod 2) w(b)w(a)(mod 2) Transitiva: aRb y bRc aRc w(a)w(b)(mod 2) y w(b)w(c)(mod 2) w(a)w(c)(mod 2)
27

Matemtica discreta. Relaciones binarias

Relaciones de equivalencia

ejemplo 2
R define en A una particin formada por dos clases de equivalencia, cada una con 2n-1 elementos. [0]={aA / a tiene un nmero par de unos} [1]={aA / a tiene un nmero impar de unos} Para n=3 [0]={000, 011, 101, 110} [1]={001, 010, 100, 111}
Matemtica discreta. Relaciones binarias 28

Planificacin de tareas

Planificacin de tareas 1
Tareas entre las que hay relaciones de dependencia, unas han de realizarse antes que otras. Uno o varios equipos, simultneamente, realizan las tareas. Objetivo: distribuir las tareas entre los equipos disponibles, acatando la dependencia entre tareas. Planificacin: asignacin ordenada de tareas a cada equipo.
29

Matemtica discreta. Relaciones binarias

Planificacin de tareas

Planificacin de tareas 2
A: lista de tareas a realizar. R relacin binaria sobre A aRb a es previo a b, es decir, a debe realizarse antes que b. mA es minimal si aA, aRm Eliminar m de (A,R) consiste en suprimir todos los pares de R en los que a parezca m. A es realizable R se puede extender a un orden topolgico.
Matemtica discreta. Relaciones binarias 30

Planificacin de tareas

Orden topolgico 1
Un orden topolgico < es una extensin de un orden parcial sobre un conjunto A si se verifica que: si ab entonces a<b.

Matemtica discreta. Relaciones binarias

31

Planificacin de tareas

Orden topolgico 2
1 Iniciar T=[] 2 Mientras A
si mA minimal
Incluir m en T Eliminar m de (A,R) Volver a (2)

En otro caso, A no es realizable. Salir

3 Salida T orden topolgico.

Matemtica discreta. Relaciones binarias 32

Planificacin de tareas

Planificacin correcta
1 Iniciar T=[] 2 Mientras A
si mA minimal y primera tarea de un equipo E
Incluir m en T Eliminar m de (A,R) y de E Volver a (2)

En otro caso, P no es correcta. Salir

3 Salida T orden topolgico.

Matemtica discreta. Relaciones binarias 33

Planificacin de tareas

Tiempo de realizacin de tareas

coste de m, w(m), es el tiempo que se necesita para realizar la tarea m, una vez terminadas las tareas previas a m. t(m) tiempo que se necesita para la realizacin de la tarea m, incluido el tiempo de espera necesario para que se realicen las tareas previas a m. t(m)=w(m) + max{t(ai) / aiRm} t(R)=max{t(a) / aA } es el tiempo mnimo en el que se pueden realizar las tareas de A.
Matemtica discreta. Relaciones binarias 34

Planificacin de tareas

Tiempo mnimo para la realizacin de tareas

1 Mientras existan tareas no marcadas en A
si existe mA minimal no marcado
Calcular t(m)=w(m)+max{t(b) / bRm} Marcar m Volver a (1)

En otro caso, A no es realizable. Salir

2 Salida t(R)=max{t(a) / aA}

Matemtica discreta. Relaciones binarias 35

Planificacin de tareas

Tiempo para la realizacin de planificaciones 1

tp(m) tiempo que se necesita para la realizacin de la tarea m en la planificacin P, incluido el tiempo de espera necesario para que se realicen las tareas previas a m y las anteriores a m en su equipo. tp(m)=w(m) + max{tp(ai) / aiRm ai es anterior a m en su equipo} tp(R)=max{tp(a) / aA } es el tiempo mnimo en el que se pueden realizar las tareas de A en la planificacin P.
Matemtica discreta. Relaciones binarias 36

Planificacin de tareas

Tiempo para la realizacin de planificaciones 2

1 Mientras existan tareas no marcadas en A
si existe mA minimal no marcado y primera tarea no marcada de un equipo.
Calcular tp(m)=w(m)+max{tp(b) / bRm b es el anterior a m en su equipo} Marcar m Volver a (1)

En otro caso, P no es correcta. Salir

2 Salida tp(R)=max{tp(a) / aA}

Matemtica discreta. Relaciones binarias 37

Planificacin de tareas

Optimizacin del nmero de equipos equipos 1

W=w(a), aA A conjunto de n tareas Si P es una planificacin con n equipos, se verifica W nt(R) n W/t(R). Esto nos da una cota inferior para el nmero de equipos necesarios para ejecutar las tareas en el menor tiempo t(R).
Matemtica discreta. Relaciones binarias 38

Planificacin de tareas

Optimizacin del nmero de equipos equipos 2

1 Iniciar los equipos Ei=[] y los tiempo ti=0, 1 in 2 mA minimal
Encontrar el menor k / tk=0 ; xk= m ; tk= w(m) ; incluir m en Ek

3 Mientras existan tareas no marcadas en A

Si Ei / ti 0
j / tj = min{ti /ti 0}, marcar xj (ltimo elemento de Ej) ; tj= tj ; tj=0 a / xjRa y todos sus previos estn marcados
Encontrar el menor k / tk=0 ; xk=a ; tk= tj+ w(a) ; incluir a en Ek

Volver a (3)

R no es realizable. Salir

4 Salida P={Ei / Ei []}

Matemtica discreta. Relaciones binarias 39