Você está na página 1de 20

INE5403 - Fundamentos de Matemtica Discreta para a Computao

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

UFSC/CTC/INE - Prof Daniel S Freitas

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

Representao de re a!es usando di'ra$os


Exemplo, -e.am /;<#6%6364= e R;<5#6#)65#6%)65%6#)65%6%)65%63)65%64)65364)6546#)= > 8 d?'ra$o de R 2,

4
UFSC/CTC/INE - Prof Daniel S Freitas 3

Camin&os em re a!es e di'ra$os


Def., -e.a R uma re ao so3re o con.unto /" 1m caminho de comprimento n em R de a para 3 2 uma se)@+ncia $inita ; a6A#6A%6"""6An-#63 ta )ue, a R A#6 A# R A%6 """ 6 An-# R 3

UFSC/CTC/INE - Prof Daniel S Freitas

Camin&os em re a!es e di'ra$os


Def., -e.a R uma re ao so3re o con.unto /" 1m caminho de comprimento n em R de a para 3 2 uma se)@+ncia $inita ; a6A#6A%6"""6An-#63 ta )ue, a R A#6 A# R A%6 """ 6 An-# R 3 4 1m camin&o de comprimento n en*o *e nB# e ementos de / 5no necessariamente distintos)" 4 8 modo mais $ci de *isua i7ar um camin&o 2 com o di'ra$o de uma re ao, sucesso de arestas6 se'uindo os sentidos indicados"

UFSC/CTC/INE - Prof Daniel S Freitas

Camin&os em re a!es e d?'ra$os


Exemplo, Considere o d?'ra$o,

% 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

Camin&os em re a!es e d?'ra$os

4 1m camin&o )ue comea e termina no mesmo *2rtice 2 c&amado de um ciclo 5% e 3 so cic os)

4 Camin&os de comprimento # so identi$icados pe os pares ordenados 5A6C) )ue pertencem a R

UFSC/CTC/INE - Prof Daniel S Freitas

Camin&os em re a!es e d?'ra$os


4 Camin&os em re a!es R podem ser usados para de$inir no*as re a!es 3astante Dteis Def, 5re ao Rn so3re /) A Rn C si'ni$ica )ue & um caminho de comprimento n de A at2 C em R" Def, 5re ao R so3re /) A R C si'ni$ica )ue & a 'um camin&o em R de A at2 C" 5R 2 c&amada de relao de conectividade para R)

UFSC/CTC/INE - Prof Daniel S Freitas

Camin&os em re a!es e d?'ra$os


4 4 Rn5A), todos os *2rtices )ue podem ser a canados a partir de A por meio de um camin&o em R de comprimento n" R5A), todos os *2rtices )ue podem ser a canados a partir de A por meio de algum camin&o em R"

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

Camin&os em re a!es e d?'ra$os


Exemplo2, -e.a / o con.unto de cidades 3rasi eiras6 e se.a A R C se & a 'um *Fo direto 5de a 'uma cia a2rea) de A para C" 4 A e C esto re acionados por Rn se $or poss?*e a'endar um *Fo de A para C com eAatamente n-# paradas intermedirias A R C se $or poss?*e ir de a*io de A para C"

UFSC/CTC/INE - Prof Daniel S Freitas

10

Camin&os em re a!es e d?'ra$os


Exemplo3, -e.a /;<#6%6364656G= e se.am os d?'ra$os das re a!es R e R% so3re / dados por,

UFSC/CTC/INE - Prof Daniel S Freitas

11

Camin&os em re a!es e d?'ra$os


EAemp o3 5cont"),
4 1ma in&a conecta % *2rtices no d?'ra$o para R% somente se eAistir um camin&o de comprimento % conectando os mesmos *2rtices no d?'ra$o para R#" (ortanto, # R% % por)ue # R % e # R% 4 por)ue # R % e # R% 5 por)ue # R % e % R% % por)ue % R % e e assim sucessi*amente" 4 %R% %R4 %R5 %R%

De modo simi ar6 podemos construir o d?'ra$o de Rn para )ua )uer n"

UFSC/CTC/INE - Prof Daniel S Freitas

12

Camin&os em re a!es e d?'ra$os


Exemplo4, -e.am /;<a636c6d6e= e R;<5a6a)65a63)6536c)65c6e)65c6d)65d6e)=" Compute 5a) R% 53) R
-o uo, o d?'ra$o de R 2 dado por,

d e

5a) (ortanto,

R% ; <5a6a)65a63)65a6c)6536e)6536d)65c6e)=
UFSC/CTC/INE - Prof Daniel S Freitas 13

Camin&os em re a!es e d?'ra$os


Exemplo4 (cont.),
53) R ; 9todos os pares ordenados de *2rtices para os )uais & um camin&o de )ua )uer comprimento do primeiro *2rtice para o se'undo: ou se.a, R ; <5a6a)65a63)65a6c)65a6d)65a6e)6536c)6536d)6536e)65c6d)65c6e)65d6e)=
> (or eAemp o6 5a6d)R6 . )ue & um camin&o de comprimento 3 de a para d, 9a636c6d:" > 5a6e)R6 . )ue & um camin&o de comprimento 3 de a para e, 9a636c6e: 5assim como 9a636c6d6e:)

UFSC/CTC/INE - Prof Daniel S Freitas

14

(roduto 3oo eano


EAemp o, Encontre o produto 3oo eano de / e 06 onde,

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

Camin&os em re a!es e matri7es


Exemplo, -e.am / e R como no eAemp o anterior" Ento, 1 0 M R= 0 0 0

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

UFSC/CTC/INE - Prof Daniel S Freitas

16

Camin&os em re a!es e matri7es


4 -e.a R uma re ao so3re /;<a#6a%6"""6an= e se.a MR uma matri7 n n representando R"
Teorema, -e R 2 uma re ao so3re /;<a#6a%6"""6an= ento,

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

Camin&os em re a!es e matri7es


4 Esta id2ia pode ser 'enera i7ada, Teorema, (ara n % e para uma re ao R so3re /6 temos,
M R n = M R M R M R

5n $atores)

UFSC/CTC/INE - Prof Daniel S Freitas

18

Camin&os em re a!es e matri7es


4 EAerc?cio, (ara a re ao R cu.o d?'ra$o 2 dado a3aiAo6 a) Desen&e os d?'ra$os de R% e R 3) Encontre MR% e MR
% 3

UFSC/CTC/INE - Prof Daniel S Freitas

19

Leituras so3re Camin&os em Re a!es


4 Mo man5, seo 4"3

RosenG, seo N"#

UFSC/CTC/INE - Prof Daniel S Freitas

20