Matematica para Ciencia de Computadores

1
o
Ano - LCC & ERSI
Lus Antunes
lfa@ncc.up.pt
DCC-FCUP
Luis Antunes DCC-FCUP
Complexidade 2002/03 1
Representacao de Relacoes
Denicao: Uma relacao binaria de um conjunto A num conjunto B e um
subconjunto R AB.
Denicao: Um grafo dirigido, D, de A em B e uma colecao de vertices V A
cupB e uma coleccao de ramos R AB. Se (X, y) R entao existe uma arco
ou ramo de x para y em D.
Matrizes Seja R uma relacao entre A = {a
1
, a
2
, ..., a
m
} e B = {b
1
, b
2
, ..., b
n
}. R
pode ser representada pela matriz M
R
= {m
ij
, onde
m
ij
=

1 se (a
i
, b
j
) R
0 se (a
i
, b
j
) R
Luis Antunes DCC-FCUP
Complexidade 2002/03 2
Propriedades de relacoes (sob a forma matricial)
Reexividade R e reexiva em A se (a, a) R para todo o a A.
Ou seja se todos os elementos da diagonal principal forem iguais a 1.
R a b c d
a 1
b 1
c 1
d 1
Luis Antunes DCC-FCUP
Complexidade 2002/03 3
Exemplos
Diga, justicando, se a seguinte relacao R e reexiva.
R a b c
a 1 1 0
b 1 1 1
c 0 1 1
Luis Antunes DCC-FCUP
Complexidade 2002/03 4
Propriedades de relacoes (sob a forma matricial)
Reexividade R e reexiva em A se (a, a) R para todo o a A.
Simetria R e simetrica em A se (a, b) R implica que (b, a) R.
R e simetrica se m
ij
= m
ji
, i, j. Ou seja R e simetrica se M
R
= (M
R
)
t
.
Luis Antunes DCC-FCUP
Complexidade 2002/03 5
Exemplos
Diga, justicando, se a seguinte relacao R e simetrica.
R a b c
a 1 1 0
b 1 1 1
c 0 1 1
Luis Antunes DCC-FCUP
Complexidade 2002/03 6
Grafos dirigidos: reexividade
a
b c
Luis Antunes DCC-FCUP
Complexidade 2002/03 7
Grafos dirigidos: simetria
a
b c
Luis Antunes DCC-FCUP
Complexidade 2002/03 8
Grafos dirigidos: transitividade
a
b c
Luis Antunes DCC-FCUP
Complexidade 2002/03 9
Fecho reexivo
A relacao R = {(1, 1), (1, 2), (2, 1), (3, 2)} em A = {1, 2, 3} nao e reexiva.
Problema determinar a menor relacao reexiva contendo R.
Resposta adiciaonar os pares (2, 2) e (3, 3).
O fecho reexivo de uma relacao R num conjunto A pode ser formado
adicionando a R todos os pares da forma (a, a) com a A.
Luis Antunes DCC-FCUP
Complexidade 2002/03 10
Exerccios
Qual o fecho reexivo da relacao R = {(a, b) : a < b} no conjunto dos naturais.
Luis Antunes DCC-FCUP
Complexidade 2002/03 11
Fecho simetrico
A relacao R = {(1, 1), (1, 2), (2, 2), (2, 3), (3, 1), (3, 2)} em A = {1, 2, 3} nao e
simetrica.
Problema determinar a menor relacao simetrica contendo R.
Resposta adiciaonar os pares (2, 1) e (1, 3).
O fecho simetrico de uma relacao R num conjunto A pode ser formado
considerando a uniao da relacao com o seu inverso, i.e, R R
1
e o fecho
simetrico de R. (R
1
= {(b, a) : (a, b) R})
Luis Antunes DCC-FCUP
Complexidade 2002/03 12
Exerccios
Qual o fecho simetrico da relacao R = {(a, b) : a < b} no conjunto dos naturais.
Luis Antunes DCC-FCUP
Complexidade 2002/03 13
Fecho transitivo
A relacao R = {(1, 3), (1, 4), (2, 1), (3, 2)} em A = {1, 2, 3, 4} nao e transitiva.
Problema determinar a menor relacao transitiva contendo R.
Resposta adiciaonar os pares (1, 2), (2, 3), (2, 4) e (3, 1)? Nao... na relacao
resultante estao os seguintes pares (3, 1) e (1, 4) mas nao esta (3, 4).
Luis Antunes DCC-FCUP
Complexidade 2002/03 14
Caminhos em grafos dirigidos.
Denicao: Um grafo dirigido, D, de A em B e uma colecao de vertices V A
cupB e uma coleccao de ramos R AB. Se (X, y) R entao existe uma arco
ou ramo de x para y em D.
Denicao: Seja R uma relacao num conjunto A. Existe um caminho de tamanho
n N de a para b se e so se (a, b) R
n
.
Luis Antunes DCC-FCUP
Complexidade 2002/03 15
Fecho transitivo
Denicao: Seja R uma relacao num conjunto A. A relacao de conectividade R

e constituida por todos os pares (a, b) para os quais existe um caminho de

tamanho pelo menos 1 de a para b em R.
R

n=1
R
n
.
Teorema: o fecho transitivo de uma relacao R e igual a relacao de conectividade.
Luis Antunes DCC-FCUP
Complexidade 2002/03 16
Exemplo
Seja R a relacao no conjunto de todas as pessoas do mundo que contem o par
(a, b) se a conhece b. Qual a relacao R
n
, com n N? e R

?
Luis Antunes DCC-FCUP
Complexidade 2002/03 17
Fecho transitivo
Teorema: o fecho transitivo de uma relacao R e igual a relacao de conectividade.
Lema: Seja A um conjunto com n elementos, e seja R uma relacao em A. Se
existe um caminho de tamanho pelo menos 1 de a para b, entao existe um
caminho de tamanho menor ou igual a n.
Luis Antunes DCC-FCUP
Complexidade 2002/03 18
Fecho transitivo
Denicao: Seja A = [a
ij
] uma mk matriz 0, 1 e B = [b
ij
] uma k n matriz
0, 1. o produto Booleano de A por B, AB, e a matriz mn com
c
ij
= (a
i1
b
1j
) (a
i2
b
2j
) ...(a
ik
b
kj
)
Teorema: Seja M
R
uma matriz 0, 1 de uma relacao R num conjunto com n
elementos. A matriz 0, 1 da relacao R

e dada por
M
R
= M
R
M
2
R
M
3
R
... M
n
R
Luis Antunes DCC-FCUP