d) Re a!es d"#) De$inio e Representao d"%) Camin&os em Re a!es e Di'ra$os d"3) (ropriedades de Re a!es d"4) Re a!es de E)ui*a +ncia d"5) Manipu ao e Fec&o de Re a!es
Re a!es
Definio, -e.am / e 0 con.untos" 1ma relao binria R de / em 0 2 um su3con.unto de / 0" 4 8u, um con.unto R de pares ordenados6 onde o #o e emento de cada par *em de / e o %o *em de 06 ou se.a6 R / 0 " -e 5a63) R6 di7-se )ue a est relacionado com b por R" 1sa-se a notao a R b para denotar )ue 5a63)R" -e a no est re acionado com 3 por R6 escre*e-se a R b Re a!es 3inrias representam i'a!es entre e ementos de % con.untos" - *amos omitir a pa a*ra 93inria:
UFSC/CTC/INE - Prof Daniel S Freitas 2
4 4 4 4
4
UFSC/CTC/INE - Prof Daniel S Freitas 3
% 3
Ento, # ; #6%656463 2 um camin&o de comprimento 4 de # a 3 % ; #6%656# 2 camin&o de comprimento 3 do *2rt" # para e e mesmo 3 ; %6% 2 camin&o de comprimento # do *2rtice % para e e mesmo
UFSC/CTC/INE - Prof Daniel S Freitas 6
4 1m camin&o )ue comea e termina no mesmo *2rtice 2 c&amado de um ciclo 5% e 3 so cic os)
Exemplo1, -e.a / o con.unto de todos os seres &umanos *i*os e se.a R a re ao 9con&ecimento mDtuo: 5a R 3 se a e 3 se con&ecem)" Ento, 4 4 4 4 a R% 3 si'ni$ica )ue a e 3 t+m um con&ecido em comum" Em 'era 6 a Rn b se a con&ece a 'u2m 5x1)6 )ue con&ece x26 """6 )ue con&ece xn-16 )ue con&ece b" Fina mente6 a R 3 si'ni$ica )ue eAiste a 'uma ista encadeada de con&ecidos )ue comea em a e termina em 3" -er )ue toda dup a de 3rasi eiros est re acionada por RE
UFSC/CTC/INE - Prof Daniel S Freitas 9
10
11
De modo simi ar6 podemos construir o d?'ra$o de Rn para )ua )uer n"
12
d e
5a) (ortanto,
R% ; <5a6a)65a63)65a6c)6536e)6536d)65c6e)=
UFSC/CTC/INE - Prof Daniel S Freitas 13
14
1 0 A= 0 1 1 0
A B=
1 0 1 0 0 0 A B= 0 0 0 1 0 1 1 0 1 0 0 0
[ ] [ [
B=
1 1 0 0 1 1
1 1 0 0 11 0 1 1 0 0 1 0 1 1 0 0 1 11 0 0 11 1 1 0 0 11 0 1 1 0 0 1
]
15
]
UFSC/CTC/INE - Prof Daniel S Freitas
1 0 M 2=M R M R = 0 R 0 0
[ ] [ ][ ][ ]
1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0
# ; 50 0) 50 0) 5# #) 50 0) 50 0)
5%64)
5%64)
1 0 0 0 0
0 1 0 0 0
0 0 1 0 0
0 1 1 0 0 0 1 0 0 1 0 0 0 0 0
0 1 0 0 0
0 0 1 0 0
0 1 1 0 0 0 1 =0 0 1 0 0 0 0 0
1 0 0 0 0
0 1 0 0 0
0 1 1 0 0
16
MR2 = MR MR
(ro*a,
4 -e.a MR;Hmi.I and MR%;Hni.IJ
4 o e emento ni. de MRMR ser # se a linha i do #o MR e a coluna j do %o MR ti*erem um # na mesma posio re ati*a 5di'amos K ) 4 ou, ni.;# se miK;# e mK.;# para a 'um K se ni.;#6 ento ai R aK e aK R a. 4 portanto6 ni.;# ai R% a. "
UFSC/CTC/INE - Prof Daniel S Freitas 17
5n $atores)
18
19
20