Matemtica para Cincia de Computadores a e

1 o Ano - LCC & ERSI

Lu Antunes s

lfa@ncc.up.pt DCC-FCUP

Luis Antunes DCC-FCUP

Complexidade 2002/03

Fecho transitivo

Teorema: o fecho transitivo de uma relao R igual a relao de conectividade. ca e ca Lema: Seja A um conjunto com n elementos, e seja R uma relao em A. Se ca existe um caminho de tamanho pelo menos 1 de a para b, ento existe um a caminho de tamanho menor ou igual a n.

Luis Antunes DCC-FCUP

Complexidade 2002/03

Fecho transitivo

Denio: Seja A = [aij ] uma m k matriz 0, 1 e B = [bij ] uma k n matriz ca 0, 1. o produto Booleano de A por B, A B, a matriz m n com e cij = (ai1 b1j ) (ai2 b2j ) ...(aik bkj )

Teorema: Seja MR uma matriz 0, 1 de uma relao R num conjunto com n ca elementos. A matriz 0, 1 da relao R dada por ca e
3 n 2 MR = MR MR MR ... MR

Luis Antunes DCC-FCUP

Complexidade 2002/03

Exerc cio

Determine a matriz 0, 1 do fecho transitivo da relao R com ca 1 MR = 0 1 1 2 MR = 0 1 0 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 1 1 0 = 0 0 1 1 1 1 1 0 1

Luis Antunes DCC-FCUP

Complexidade 2002/03

Exerc cio

3 MR = M R

1 2 MR = 0 1 0 1 1 1 1 0 0 0 1

0 1 1 1 1 1

1 0 0

1 0 1

1 1 1 1 1 1

1 1 0 = 0 1 1 1 1 0 = 0 1 1

1 1 1 1 1 1

1 0 1 1 0 1

MR

1 = 0 1

1 1 0 0 1 1

Luis Antunes DCC-FCUP

Complexidade 2002/03

Reales de equivalncia co e

Denio: uma relao R num conjunto A chamada relao de equivalncia ca ca e ca e se reexiva, simtrica e transitiva. e e Exerc cio: Seja R uma relao no conjunto dos inteiros tal que aRb se a = b ou a = b. ca Mostre que R uma relao de equivalncia. e ca e Seja R uma relao no conjunto dos nmeros reais tal que aRb sse a b um ca u e inteiro. Mostre que R uma relao de equivalncia. e ca e

Luis Antunes DCC-FCUP

Complexidade 2002/03

Classes de equivalncia e

Denio: Seja R uma relao de equivalncia num conjunto A. O conjunto de ca ca e todos os elementos que esto relacionados com um elemento a A chamado de a e classe de equivalncia de a ([a]R). e Exerc cio: Seja R uma relao no conjunto dos inteiros tal que aRb se a = b ou a = b. ca R uma relao de equivalncia, determine a classe de equivalncia de um e ca e e determinado inteiro a.

Luis Antunes DCC-FCUP

Complexidade 2002/03

Classes de equivalncia e parties e co

Teorema: Seja R uma relao de equivalncia num conjunto A. As seguintes ca e armaes so equivalentes: co a 1. aRb, 2. [a] = [b], 3. [a] [b] = . Teorema: Seja R uma relao de equivalncia num conjunto A. As classes de ca e equivalncia em R formam uma partio em A. Dada uma partio {Ai : i I} e ca ca do conjunto A, existe uma relao de equivalncia R que tem os conjuntos Ai, ca e i I, como as suas classes de equivalncia. e
Luis Antunes DCC-FCUP

Complexidade 2002/03

Ordens parciais
Denio: Uma relao R num conjunto A chamada de ordem parcial se ca ca e e reexiva, anti-simtrica e transitiva. Um conjunto A juntamente com uma relao e ca parcial R chamado um um conjunto parcialmente ordenado, poset, e denotado e e por (A, R). Exerc cios: Mostre que a relao maior ou igual () uma ordem parcial no conjunto ca e dos inteiros. Mostre que a relao de divisibilidade uma ordem parcial no conjunto dos ca e naturais. Mostre que a relao uma ordem parcial no conjunto das partes, P (A), de ca e um conjunto A.
Luis Antunes DCC-FCUP

Complexidade 2002/03

Ordens Parciais

Denio: os elementos a e b de uma ordem parcial (A, R) so comparveis se ca a a aRb ou bRa, caso contrrio so incomparveis. a a a Exemplo: Considere a seguinte ordem parcial (Z +, |), 3 e 9 so comparveis? e 5 a a e 7? Denio: Se (A, R) uma ordem parcial e todo o par de elementos de A so ca e a comparveis, R chamada uma relao de ordem total. Um conjunto totalmente a e ca ordenada chamado uma cadeia. e Exemplo: (Z, ) uma ordem total? e (Z +, |)? e
Luis Antunes DCC-FCUP

Complexidade 2002/03

10

Diagramas de Hasse
Ao representarmos uma ordem parcial sob a forma de um grafo dirigido, no a e necessrio especicar todos os ramos... alguns garantidamente tem que estar a presentes. Em geral devemos: desenhar o grafo dirigido da relao ca Como a relao reexiva: ca e retirar os ramos de um vrtice para ele mesmo e Como a relao transitiva: ca e retirar os ramos que podem ser obtidos por transitividade

Luis Antunes DCC-FCUP

Complexidade 2002/03

11

Colocar os vrtices de partida abaixo dos de destino e retirar a direco dos ramos. e ca

Luis Antunes DCC-FCUP

Complexidade 2002/03

12

Exemplo

Desenhe o diagrama de Hasse da seguinte ordem parcial {(a, b) : a divide b} em {1, 2, 3, 4, 6, 8, 12}. Desenhe o diagrama de Hasse da seguinte ordem parcial {(A, B) : A B} no conjunto das partes do seguinte conjunto S = {a, b, c}.

Luis Antunes DCC-FCUP

Complexidade 2002/03

13

Elementos minimal e maximal

Denio: um elemento a maximal na ordem parcial (A, R) se no existe um ca e a elemento b A tal que aRb. Analogamente diz-se minimal se no existe um a elemento b A tal que bRa. Exerc cios: 1. Determine o elemento minimal e maximal da seguinte ordem parcial {2, 4, 5, 10, 12, 20, 25}. 2. Seja A um conjunto. Determine se existe um elemento minimal e maximal na ordem parcial (P (A), ).

Luis Antunes DCC-FCUP