INE Fundamentos de Matemática Discreta para a Computação

Documentos relacionados
INE Fundamentos de Matemática Discreta para a Computação

Dep. Matemática e Aplicações 27 de Abril de 2011 Universidade do Minho 1 o Teste de Teoria das Linguagens. Proposta de resolução

Draft-v Autómatos mínimos. 6.1 Autómatos Mínimos

Problemas e Algoritmos

Modelos de Computação -Folha de trabalho n. 2

CONJUNTOS NUMÉRICOS NOTAÇÕES BÁSICAS. : Variáveis e parâmetros. : Conjuntos. : Pertence. : Não pertence. : Está contido. : Não está contido.

Apoio à Decisão. Aula 3. Aula 3. Mônica Barros, D.Sc.

x 0 0,5 0,999 1,001 1,5 2 f(x) 3 4 4,998 5,

Programação II. Ordenação (sort) Bruno Feijó Dept. de Informática, PUC-Rio

3. Seja Σ um alfabeto. Explique que palavras pertencem a cada uma das seguintes linguagens:

Elementos de Análise - Lista 6 - Solução

Linguagens Regulares e Autômatos de Estados Finitos. Linguagens Formais. Linguagens Formais (cont.) Um Modelo Fraco de Computação

1 TEORIA DOS CONJUNTOS

Conjuntos Numéricos. Conjuntos Numéricos

ALGEBRA LINEAR AUTOVALORES E AUTOVETORES. Prof. Ademilson

Modelos de Computação Folha de trabalho n. 3

Aula 5 Plano de Argand-Gauss

( ) superchaves da relação lembramos. ( ) e associativa (a equijunção ocorre apenas em alguns casos ( ) ( ) (sendo L R a lista de colunas de R):

3 Teoria dos Conjuntos Fuzzy

Exercícios. setor Aula 25. f(2) = 3. f(3) = 0. f(11) = 12. g(3) = 14. Temos: 2x 1 = 5 x = 3 Logo, f(5) = 3 2 = 9

FUNÇÕES. Mottola. 1) Se f(x) = 6 2x. é igual a (a) 1 (b) 2 (c) 3 (d) 4 (e) 5. 2) (UNIFOR) O gráfico abaixo. 0 x

Teoria de Linguagens 2 o semestre de 2014 Professor: Newton José Vieira Primeira Lista de Exercícios Entrega: até 16:40h de 23/10.

INE0003 FUNDAMENTOS DE MATEMÁTICA DISCRETA

AULA 1. 1 NÚMEROS E OPERAÇÕES 1.1 Linguagem Matemática

Teorema Fundamental do Cálculo - Parte 1

Teorema Fundamental do Cálculo - Parte 2

Definimos a unidade imaginária j, como sendo um número não real de tal forma que: PROPRIEDADES: j 4 = j 2 x j 2 = ( -1) x ( -1) = 1 ;

Aula 5: Autômatos Finitos Remoção de Não-Determinismo

CENTRO DE CIÊNCIAS E TECNOLOGIA AGROALIMENTAR UNIDADE ACADÊMICA DE TECNOLOGIA DE ALIMENTOS DISCIPLINA: FÍSICA I INFORMAÇÕES GERAIS. Prof.

ÁLGEBRA LINEAR Equações Lineares na Álgebra Linear EQUAÇÃO LINEAR SISTEMA LINEAR GEOMETRIA DA ESQUAÇÕES LINEARES RESOLUÇÃO DOS SISTEMAS

fundamental do cálculo. Entretanto, determinadas aplicações do Cálculo nos levam a formulações de integrais em que:

Aula 4: Autômatos Finitos Autômatos Finitos Não-Determinísticos

Os números racionais. Capítulo 3

8/6/2007. Dados os conjuntos: A={0,1} e B={a,b,c},

UNIVERSIDADE FEDERAL DE PERNAMBUCO CCEN DEPARTAMENTO DE MATEMÁTICA EXAME DE QUALIFICAÇÃO PARA O MESTRADO EM MATEMÁTICA

1. Sejam R e S duas relações entre os conjuntos não vazios E e F. Então mostre que

Universidade Federal de Rio de Janeiro

Universidade Federal Fluminense ICEx Volta Redonda Métodos Quantitativos Aplicados I Professora: Marina Sequeiros

LRE LSC LLC. Autômatos Finitos são reconhecedores para linguagens regulares. Se não existe um AF a linguagem não é regular.

ESCOLA DR. ALFREDO JOSÉ BALBI UNITAU APOSTILA LOGARITMOS PROF. CARLINHOS NOME: N O :

Pontifícia Universidade Católica de Campinas Centro de Ciências Exatas, Ambientais e de Tecnologias Faculdade de Engenharia de Computação

EXERCÍCIOS RESOLVIDOS DE TEORIA DOS GRAFOS

SERVIÇO PÚBLICO FEDERAL Ministério da Educação

Matemática A - 10 o Ano Ficha de Trabalho

INTEGRAIS DEFINIDAS. Como determinar a área da região S que está sob a curva y = f(x) e limitada pelas retas verticais x = a, x = b e pelo eixo x?

INTEGRAIS DEFINIDAS. Como determinar a área da região S que está sob a curva y = f(x) e limitada pelas retas verticais x = a, x = b e pelo eixo x?

Lista 5: Geometria Analítica

Cálculo Diferencial e Integral 1

A integral definida. f (x)dx P(x) P(b) P(a)

4 GRAFOS NÃO-ORIENTADOS. 4.1 Definições. O caminho v 1, v 2,..., v n conecta v 1 a v n. Ciclo: caminho de um vértice a ele mesmo de comprimento

Lic. Ciências da Computação 2009/10 Exercícios de Teoria das Linguagens Universidade do Minho Folha 6. δ

Hierarquia de Chomsky

(x, y) dy. (x, y) dy =

1 INTRODUÇÃO À ÁLGEBRA EM CAMPOS DE GALOIS GF(2 m )

Formas Quadráticas. FUNÇÕES QUADRÁTICAS: denominação de uma função especial, definida genericamente por: 1 2 n ij i j i,j 1.

x = x 2 x 1 O acréscimo x é também chamado de diferencial de x e denotado por dx, isto é, dx = x.

xy 1 + x 2 y + x 1 y 2 x 2 y 1 x 1 y xy 2 = 0 (y 1 y 2 ) x + (x 2 x 1 ) y + (x 1 y 2 x 2 y 1 ) = 0

5 Reticulados e sua relação com a álgebra booleana

Material Teórico - Módulo Teorema de Pitágoras e Aplicações. Algumas demonstrações do Teorema de Pitágoras - Parte 2. Nono Ano

NOTA DE AULA. Tópicos em Matemática

Noção intuitiva de limite

C Sistema destinado à preparação para Concursos Públicos e Aprimoramento Profissional via INTERNET RACIOCÍNIO LÓGICO

EQUAÇÃO DO 2 GRAU. Seu primeiro passo para a resolução de uma equação do 2 grau é saber identificar os valores de a,b e c.

Propriedades das Linguagens Regulares

Cálculo Numérico Módulo III Resolução Numérica de Sistemas Lineares Parte I

Resolução Numérica de Sistemas Lineares Parte I

Capítulo III INTEGRAIS DE LINHA

Linguagens Formais Capítulo 5: Linguagens e gramáticas livres de contexto

Conhecendo-se os valores aproximados dos logaritmos decimais, log = 1,114 e log = 1,176, então, o valor de log 10

Somos o que repetidamente fazemos. A excelência portanto, não é um feito, mas um hábito. Aristóteles

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Prof. Ms. Aldo Vieira Aluno:

Bhaskara e sua turma Cícero Thiago B. Magalh~aes

Interpretação Geométrica. Área de um figura plana

Geometria. Goiânia, de de Data de Devolução: 24/05/2016 Aluno (a): Série: 9º Ano Turma: 04 Lista Semanal Matemática

Teorema 1. Seja A um anel comutativo. Então A é um domínio de integridade se e somente se A é isomorfo a um subanel de um corpo.

Sistems Lineres Form Gerl onde: ij ij coeficientes n n nn n n n n n n b... b... b...

E m Física chamam-se grandezas àquelas propriedades de um sistema físico

Aula 27 Integrais impróprias segunda parte Critérios de convergência

Definição 1 O determinante de uma matriz quadrada A de ordem 2 é por definição a aplicação. det

Resolução Numérica de Sistemas Lineares Parte I

Prof. Weber Campos Copyri'ght. Curso Agora eu Passo - Todos os direitos reservados ao autor.

Prova 1 Soluções MA-602 Análise II 27/4/2009 Escolha 5 questões

TEORIA GEOMÉTRICA DE GRUPOS. Pedro V. Silva

EXAME DE INGRESSO º Período

I PARÁBOLA MATQUEST CÔNICAS PROF.: JOSÉ LUÍS

Matemática para Economia Les 201. Aulas 28_29 Integrais Luiz Fernando Satolo

8 é possível preencher o quadriculado inicial de exatamente duas maneiras distintas.

Teste Intermédio Matemática A. 11.º Ano de Escolaridade. Resolução (Versão 1) RESOLUÇÃO GRUPO I. Duração do Teste: 90 minutos

Volumes de Sólidos de Revolução. Volumes de Sólidos de Revolução. 1.O método do disco 2.O método da arruela 3.Aplicação

Professores Edu Vicente e Marcos José Colégio Pedro II Departamento de Matemática Potências e Radicais

V ( ) 3 ( ) ( ) ( ) ( ) { } { } ( r ) 2. Questões tipo exame Os triângulos [ BC Da figura ao lado são semelhantes, pelo que: BC CC. Pág.

Matemática. Resolução das atividades complementares. M24 Equações Polinomiais. 1 (PUC-SP) No universo C, a equação

Área entre curvas e a Integral definida

ESTÁTICA DO SISTEMA DE SÓLIDOS.

Profª Cristiane Guedes DERIVADA. Cristianeguedes.pro.br/cefet

POLINÔMIOS. Definição: Um polinômio de grau n é uma função que pode ser escrita na forma. n em que cada a i é um número complexo (ou

Escola Secundária/2,3 da Sé-Lamego Ficha de Trabalho de Matemática A Ano Lectivo 2011/12 Distribuição de probabilidades 12.º Ano

FUNÇÕES EM IR n. . O conjunto D é o domínio de f. O contradomínio de f consiste em todos os números. a função de domínio D dada por:

Transcrição:

INE5403 - Fundmentos de Mtemátic Discret pr Computção 6) Relções de Ordenmento 6.1) Conjuntos Prcilmente Ordendos (Posets( Posets) 6.2) Extremos de Posets 6.3) Reticuldos 6.4) Álgers Boolens Finits 6.5) Funções Boolens

Elementos extremos de posets Definição: : Considere o poset (A, ) ) com ordem prcil.. Então: ) Um elemento A é chmdo de um elemento mximl de A se não existe c A c A tl que <c ( c, c). ) Um elemento A é chmdo de um elemento miniml de A se não existe c A c A tl que c< (c, c ). c Exemplos: 1. (Z( +, ): elemento miniml: : 1, mximl: : não tem 2. (R, ): elemento miniml: : não tem, mximl: : não tem 3. ({1,2,3,4}, ): elemento miniml: : 1, mximl: : 4 4. ({1,2,3,4}, ): elemento miniml: : 4, mximl: : 1

Elementos extremos de posets Exemplo: : Considere o poset A com o digrm de Hsse ixo: 3 1 2 1 2 3 1, 2 e 3 são elementos mximis de A 1, 2 e 3 são elementos minimis de A

Elementos extremos de posets Exemplo: : Quis elementos do poset ({2,4,5,10,12,20,25}, ) são mximis e quis são minimis? 12 20 4 10 25 2 5 Elementos mximis: : 12, 20 e 25. Elementos minimis: : 2 e 5. Note que um poset pode ter mis do que um elemento mximl e mis do que um elemento miniml.

Elementos extremos de posets Teorem: : Sej (A, ) ) um poset finito e não vzio com ordem prcil.. Então A tem pelo menos um elemento mximl e o menos um elemento miniml. Prov: Sej A. Se não é mximl,, então pode-se chr 1 A com < 1. Se 1 não é mximl então pode-se chr 2 A A com 1 < 2. Este rgumento não pode ser continudo indefinidmente, pois o conjunto A é finito. Assim, eventulmente será formd seguinte cdei: < 1 < 2 < 3 <... < k-1 < k Não é possível encontrr mis lgum A A tl que k <. Logo, k é um elemento mximl de (A, ). 5

Algoritmo pr ordenção topológic de posets Com o conceito de elementos minimis,, pode-se estelecer um lgoritmo pr encontrr um ordenção topológic de um ddo poset finito (A, ). O lgoritmo ixo produz um vetor chmdo SORT que stisfz: SORT[1] < SORT[2] <... A relção < sore A definid dest form é um ordenção topológic de (A, ). Algoritmo SORT: 1. I 1 2. S A 3. Enqunto S. Escolh um elemento miniml do conjunto S. SORT[I] c. I I+1 d. S S - {}

Algoritmo pr ordenção topológic de posets Exemplo: : Sej A={,,c,d,e} e sej o digrm de Hsse de sore A ddo por: c SORT d e

Algoritmo pr ordenção topológic de posets Exemplo (cont.): : Sej A={,,c,d,e} e sej o digrm de Hsse de sore A ddo por: Psso 1: c e d SORT

Algoritmo pr ordenção topológic de posets Exemplo (cont.): : Sej A={,,c,d,e} e sej o digrm de Hsse de sore A ddo por: Psso 2: c d e SORT

Algoritmo pr ordenção topológic de posets Exemplo (cont.): : Sej A={,,c,d,e} e sej o digrm de Hsse de sore A ddo por: Psso 3: SORT d e c 10

Algoritmo pr ordenção topológic de posets Exemplo (cont.): : Sej A={,,c,d,e} e sej o digrm de Hsse de sore A ddo por: Psso 4: SORT d e c

Algoritmo pr ordenção topológic de posets Exemplo (cont.): : Sej A={,,c,d,e} e sej o digrm de Hsse de sore A ddo por: Psso 5: SORT d e c c e d

Elementos extremos de posets Definição: : Sej o poset (A, ). Então: 1) Um elemento A é chmdo de um mior elemento de A se pr todo A 2) Um elemento A é chmdo de um menor elemento de A se pr todo A. Not: : Ddo um poset (A, ), um elemento A é um mior (ou menor) elemento se e somente se ele é um menor (mior) elemento do poset dul (A, ).

Elementos extremos de posets Exemplo: : Determine se os posets representdos por cd um dos digrms de Hsse ixo possuem um mior elemento e um menor elemento. c d d (A) (B) (C) (D) e d d e c c c (A): menor elemento é, não tem mior elemento (B): não tem menor nem mior elemento (C): não tem menor elemento, mior elemento é d (D): menor elemento é, mior elemento é d

Elementos extremos em posets Exemplo: : Sej A um conjunto. Determine se há um mior elemento e um menor elemento no poset (P(A), ). ). Solução: O menor elemento é o conjunto vzio, pois T pr qulquer suconjunto T de A. O próprio prio conjunto A é o mior elemento deste poset,, pois T A sempre que T é um suconjunto de A. Exemplo: : Há um mior elemento e um menor elemento no poset (Z +, )? Solução: o inteiro 1 é o menor elemento, pois 1 n sempre que n é um inteiro positivo. Não há mior elemento, pois não existe inteiro que sej divisível l por todos os inteiros positivos. 15

Elementos extremos em posets Definição: : Sejm um poset (A, ) e um suconjunto B A. Então: ) um elemento A é chmdo de um cot superior ( upper ound ) ) de B, se:, pr todo B ) um elemento A é chmdo de um cot inferior ( lower ound ) ) de B, se:, pr todo B.

Elementos extremos em posets Exemplo: : Sej o poset A={,,c,d,e,f,g,h} com o digrm de Hsse ixo. Ache tods s cots superiores e inferiores dos seguintes suconjuntos de A: ) B 1 = {,} ) B 2 = {c,d,e} f h g B 1 não tem cots inferiores sus cots superiores são: c,d,e,f,g,h d c e s cots superiores de B 2 são: f,g,h sus cots inferiores são: c,,

Elementos extremos em posets Exercício: : Encontre s cots superiores e inferiores dos suconjuntos {,,c},{j,h} e {,c,d,f} no poset cujo digrm de Hsse é ddo por: g d h j f e c cots superiores de {,,c}: e,f,j,h únic cot inferior: não há cots superiores de {j,h} sus cots inferiores são:,,c,d,e,f cots superiores de {,c,d,f}: f,h,j su cot inferior é:

Elementos extremos em posets Oservções: Note que um suconjunto B de um poset pode ou não ter cots inferiores ou superiores (em A). Além isto, um cot superior ou inferior de B pode ou não pertencer o próprio B.

Menor cot superior / Mior cot inferior Definição (1): Um elemento x é chmdo de Menor Cot Superior (LUB - Lest Upper Bound ) de um suconjunto A se x é um cot superior menor do que qulquer outr cot superior de A. ou sej, x será menor cot superior de A se: x pr todo A A e x z pr todo z que sej um cot superior de A Definição (2): Um elemento y é chmdo de Mior Cot Inferior (GLB - Gretst Lower Bound ) de A se y é um cot inferior de A e z y pr todo z que sej um cot inferior de A 20

Menor cot superior / Mior cot inferior Exemplo: : Sej o poset A={,,c,d,e,f,g,h} com o digrm de Hsse ixo. Ache todos os LUBs e GLBs de: ) B 1 = {,} ) B 2 = {c,d,e} f h g Como B 1 não tem cots inferiores, tmém não terá GLBs LUB(B 1 ) = c d c e Como s cots inferiores de B 2 são c,,, temos que GLB(B 2 ) = c As cots superiores de B 2 são f,g,h - então, como f não é comprável com g, concluímos que B 2 não tem LUB

Menor cot superior / Mior cot inferior Exercício: : Encontre LUB e GLB de {,d,g}, se els existirem, no poset cujo digrm de Hsse é: g d h j f e s cots superiores de {,d,g} são: g,h então, como g<h, g é menor cot superior (LUB) c s cots inferiores de {,d,g} são:, então, como <, é mior cot inferior (GLB)

Menor cot superior / Mior cot inferior Exemplo: : Encontre menor cot superior e mior cot inferior dos conjuntos {3,9,12} e {1,2,4,5,10}, se els existirem, no poset (Z +, ). Solução: GLBs (miores cots inferiores): um inteiro é um cot inferior de {3,9,12} se 3,9, e 12 forem divisíveis por este inteiro os únicos inteiros deste tipo são 1 e 3 então, como 1 3, 3 é mior cot inferior de {3,9,12} únic cot inferior do conjunto {1,2,4,5,10} é o 1 portnto, 1 é mior cot inferior pr {1,2,4,5,10}

Menor cot superior / Mior cot inferior Exemplo (cont.): : Encontre menor cot superior e mior cot inferior dos conjuntos {3,9,12} e {1,2,4,5,10}, se els existirem, no poset (Z +, ). LUBs (menores cots superiores): um inteiro é um cot superior de {3,9,12} sse ele for divisível por 3, 9 e 12. os inteiros com est propriedde são queles divisíveis veis pelo mmc de 3, 9 e 12, que é 36. então, 36 é menor cot superior de {3,9,12} um inteiro é um cot superior pr o conjunto {1,2,4,5,10} sse ele for divisível vel por 1,2,4,5,10 os inteiros com est propriedde são queles divisíveis veis pelo mmc de 1,2,4,5,10, que é 20. então, 20 é menor cot superior de {1,2,4,5,10}

Elementos extremos de posets Teorem: : Sej (A, ) ) um poset.. Então um suconjunto B qulquer de A tem no máximo m um LUB e um GLB. Teorem: : Suponh que (A, ) ) e (A, ) ) são posets isomorfos so o isomorfismo f:a A.. Então tem-se que: ) se é um elemento mximl (miniml)) de (A, ), então f() é um elemento mximl (miniml)) de (A, ); ) se é o mior (menor) elemento de (A, ), então f() é o mior (menor) elemento de (A, ); c) se é um cot superior (inferior) de um suconjunto B de A, então f() é um cot superior (inferior) do suconjunto f(b) de A A d) se todo suconjunto de (A, ) ) tem LUB (GLB), então todo suconjunto de (A, ) ) tem um LUB (GLB). 25

Elementos extremos de posets Exemplo: : Mostre que os posets (A, ) ) e (A, ), cujos digrms de Hsse estão mostrdos ixo, não são isomórficos rficos. ' ' c c' Solução: : Os 2 posets não são isomórficos porque (A, ) ) possui um mior elemento, enqunto que (A, ) ) não possui um mior elemento. Tmém m se pode rgumentr que eles não são isomórficos porque (A, ) ) não tem um menor elemento enqunto que (A, ) ) tem.