Beruflich Dokumente
Kultur Dokumente
P. Blauth Menezes
blauth@inf.ufrgs.br
6 Endorrelaes, Ordenao
e Equivalncia
J foi introduzido
endorrelaes so especialmente importantes
6 Endorrelaes, Ordenao
e Equivalncia
Reflexiva
todo elemento est relacionado consigo mesmo exemplo: igualdade sobre os nmeros reais todo nmero igual a si mesmo
Simtrica
sempre que um elemento estiver relacionado com outro vice-versa tambm ocorre exemplo: parentesco se Joo parente de Jos (por exemplo, so irmos), ento a vice-versa tambm verdadeira:
Transitiva
exemplo: menor sobre os nmeros naturais caso um nmero seja menor que outro o qual, por sua vez, menor que um terceiro ento o primeiro menor que o terceiro contra-exemplo: faz fronteira com nos pases na Amrica do Sul Brasil faz fronteira com a Argentina Argentina faz fronteira com o Chile entretanto, o Brasil no faz fronteira com o Chile
Reflexiva irreflexiva
no so noes complementares negao da reflexiva: (a A)((a R a)) possvel definir uma relao simultaneamente reflexiva e irreflexiva no reflexiva nem irreflexiva
10
R = { 0, 1, 1, 2, 2, 1 } S = { 0, 2, 2, 0, 2, 2 }
11
Matriz
Reflexiva: a diagonal da matriz contm somente verdadeiro Irreflexiva: a diagonal da matriz contm somente falso
Grafo
Reflexiva: qq nodo tem um arco com origem e destino nele mesmo Irreflexiva: qq nodo no tem um arco com origem e destino nele mesmo
12
14
Simetria Anti-Simetria
no so noes complementares
15
16
Matriz
Simtrica metade acima da diagonal: imagem espelhada abaixo Anti-simtrica clula verdadeira em uma das metades (diagonal) correspondente na outra metade falsa
Grafo
Simtrica: entre dois nodos ou no existe seta ou existem duas setas, uma em cada sentido Anti-simtrica no mximo uma seta entre dois nodos qq
17
18
19
20
(por qu?) R = { 0, 1, 1, 2, 2, 1 } S = { 0, 2, 2, 0, 2, 2 }
22
6 Endorrelaes, Ordenao
e Equivalncia
23
24
Fecho Reflexivo de R: A A
FECHO-{ reflexiva }(R) = R { a, a a A }
Fecho Simtrico de R: A A
FECHO-{ simtrica }(R) = R { b, a a, b R }
Fecho Transitivo de R: A A
(definio indutiva!!)
se a, b R ento a, b FECHO-{ transitiva }(R) se a, b, b, c FECHO-{ transitiva }(R) ento a, c FECHO-{ transitiva }(R) os nicos elementos do fecho transitivo so os construdos acima
Matemtica Discreta para Cincia da Computao - P. Blauth Menezes
26
27
28
29
Fechos ilustrados?
30
6 Endorrelaes, Ordenao
e Equivalncia
31
6.3 Ordenao
Relao de ordem
tipo especial e importante de relao reflete a noo intuitiva de ordem exemplos de relaes de ordem j estudadas continncia em conjuntos implicao em proposies menor ou igual (ou simplesmente menor)
33
(motivacional)
se Joo antecede Jos, e Jos antecede de Maria, ento Joo antecede Maria Anti-simtrica princpio que melhor caracteriza a ordem
a ordenado em relao b e vice-versa s faz sentido se a for igual a b no exemplo, se for o mesmo cliente
34
35
6 Endorrelaes, Ordenao
e Equivalncia
6.1 Propriedades de uma Endorrelao 6.2 Fecho de uma Endorrelao 6.3 Ordenao 6.3.1 Relao de Ordem 6.3.2 Classificao de Dados 6.3.3 Diagrama de Hasse 6.3.4 Conjuntos Ordenados e Semntica de Sistemas Concorrentes 6.4 Equivalncia e Partio
Matemtica Discreta para Cincia da Computao - P. Blauth Menezes
36
6.3.1
Relao de Ordem
37
Cadeia
Cadeia Estrita
Anti-simetria e transifividade
propriedades de qualquer tipo de relao de ordem
38
39
Poset A, R
do ingls, partial ordered set A, R, relao de ordem parcial
40
41
6 Endorrelaes, Ordenao
e Equivalncia
6.1 Propriedades de uma Endorrelao 6.2 Fecho de uma Endorrelao 6.3 Ordenao 6.3.1 Relao de Ordem 6.3.2 Classificao de Dados 6.3.3 Diagrama de Hasse 6.3.4 Conjuntos Ordenados e Semntica de Sistemas Concorrentes 6.4 Equivalncia e Partio
43
6.3.2
Classificao de Dados
44
45
46
47
Exp: Algoritmo de Classificao trocou := true; while trocou do begin trocou := false; for i := 1 to 9 do if dados[i] > dados[i+1] then begin aux := dados[i]; dados[i] := dados[i+1]; dados[i+1] := aux; trocou := true end end
Matemtica Discreta para Cincia da Computao - P. Blauth Menezes
48
c a a a a
a c b a a
d b a b b
b a b b b
a b c c c
b d d d d
d d d d d
f e e e e
e f f f f
f f f f f
O algoritmo proposto eficiente em termos de espao (por qu?) no eficiente em termos do tempo, para grandes volumes
Matemtica Discreta para Cincia da Computao - P. Blauth Menezes
49
6 Endorrelaes, Ordenao
e Equivalncia
6.1 Propriedades de uma Endorrelao 6.2 Fecho de uma Endorrelao 6.3 Ordenao 6.3.1 Relao de Ordem 6.3.2 Classificao de Dados 6.3.3 Diagrama de Hasse 6.3.4 Conjuntos Ordenados e Semntica de Sistemas Concorrentes 6.4 Equivalncia e Partio
50
6.3.3
Diagrama de Hasse
(quais relaes so de ordem? Qual o tipo?) jamais ocorrer um ciclo (por qu?) excetuando-se endo-arcos ou endo-arestas arcos com origem e destino em um mesmo nodo
Matemtica Discreta para Cincia da Computao - P. Blauth Menezes
51
53
0
Matemtica Discreta para Cincia da Computao - P. Blauth Menezes
54
6 Endorrelaes, Ordenao
e Equivalncia
6.1 Propriedades de uma Endorrelao 6.2 Fecho de uma Endorrelao 6.3 Ordenao 6.3.1 Relao de Ordem 6.3.2 Classificao de Dados 6.3.3 Diagrama de Hasse 6.3.4 Conjuntos Ordenados e Semntica de Sistemas Concorrentes 6.4 Equivalncia e Partio
55
6.3.4
56
Questes sintticas
disciplinas como Linguagens Formais
Questes semnticas
disciplinas como Semntica Formal
Compiladores
integra ambas as questes
57
58
59
c1; c2; c3
Uma semntica { c1, c2, c3 }, c onde c1 c c2 , c2 c c3 e portanto, c1 c c3 Mais precisamente c = { (c1, c2), (c2, c3), (c1, c3) }
60
onde
q1 q q2 e q2 q q3
Suponha os 3 programas concorrentes sem qualquer sincronizao independentes Semntica induzida pela unio disjunta de conjuntos { c1, c2, c3 } + { p1, p2 } + { q1, q2, q3 }, c + p + q
Matemtica Discreta para Cincia da Computao - P. Blauth Menezes
61
p2
c2 c3
q2 q3
Todas as componentes so independentes (concorrentes) excetuando-se quando especificado o contrrio quando definido um par da relao de ordem determinando uma restrio de seqencialidade
Matemtica Discreta para Cincia da Computao - P. Blauth Menezes
62
p1 p2
c1 c2 c3
q1 q2 q3
63
Observe que
unio disjunta = composio paralela de sistemas incluso de pares = sincronizaes operaes simples e de fcil entendimento operadores poderosos para especificar sistemas concorrentes e comunicantes
64
65
Para verificar a expressividade dos conjuntos parcialmente ordenados Para alguma linguagem de programao concorrente faa um esboo de um programa concorrente similar ao caso exemplificado compare as especificaes qual o mais simples? Comparativamente com muitas das linguagens usualmente adotadas conjuntos parcialmente ordenados fornecem solues mais simples e claras
66
6 Endorrelaes, Ordenao
e Equivalncia
67
69
70
71
72
73
74
Prova:
Suponha R: A A uma relao de equivalncia. Para qq a A, seja [ a ]R = { b A a R b } Ento, uma partio de A { [ a ]R a A } (agrupa elementos relacionados entre si como classe de equivalncia) Para provar que uma partio de A cada classe de equivalncia no-vazia qq duas classes de equivalncia distintas so disjuntas unio de todas as classes de equivaliencia resulta em A
75
Prova:
(direta)
Suponha a A. Ento aA aRa a [ a ]R Logo, cada classe de equivalncia no-vazia reflexividade de R definio de [ a ]R
76
Prova:
Inicialmente, provado o seguinte resultado sobre classes distintas Se [ a ]R [ b ]R, ento (a R b) suponha que a R b a prova de [ a ]R = [ b ]R dividida em dois casos Caso 1. [ b ]R [ a ]R. Suponha c [ b ]R c [ b ]R bRc aRc c [ a ]R [ b ]R [ a ]R definio de [ b ]R transitividade de R suposto que a R b definio de [ a ]R definio de subconjunto (contraposio)
77
Prova:
Caso 2. [ a ]R [ b ]R. Suponha c [ a ]R c [ a ]R aRc cRa cRb bRc c [ b ]R [ a ]R [ b ]R definio de [ a ]R simetria de R transitividade de R suposto que a R b simetria de R definio de [ b ]R definio de subconjunto
78
Prova:
Suponha que [ a ]R [ b ]R e [ a ]R [ b ]R . Ento: [ a ]R [ b ]R [ a ]R [ b ]R prova anterior (a R b) [ a ]R [ b ]R definio de interseco (a R b) (c A)(c [ a ]R c [ b ]R) def. de [ a ]R, [ b ]R (a R b) a R c b R c simetria de R (a R b) a R c c R b transitividade de R (a R b) a R b, o que um absurdo!
79
Prova:
(direta)
A prova dividida em dois casos (duas continncias) Caso 1. A est contido na unio aA classe de equivalncia no-vazia a [ a ]R definio de unio a pertence unio de todas as classes de equivalncia Caso 1. Unio est contida em A a pertence unio de todas as classes (b A)(a [ b ]R) bRa aA definio de unio definio de classe suposto que R: A A
80
Prova:
Como { [ a ]R a A } tal que cada classe de equivalncia no-vazia qq duas classes de equivalncia distintas so disjuntas unio de todas as classes de equivaliencia resulta em A tem-se que R induz uma partio do conjunto A
Portanto
para construir a partio induzida pela relao basta agrupar os elementos que esto relacionados entre si como uma classe de equivalncia
81
82
83
84
85
86
87