Matemática para Ciência de Computadores

Documentos relacionados
Matemática para Ciência de Computadores

Matemática para Ciência de Computadores

Matemática para Ciência de Computadores

Notas sobre Relações

Matemática para Ciência de Computadores

Lista de Exercícios 8: Soluções Relações

Matemática para Ciência de Computadores

Teoria dos Conjuntos MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES. Fundamentos de Lógica Técnicas Elementares de Prova A NOÇÃO DE CONJUNTO

Grafos e Algoritmos Raimundo Macêdo. Teorema de Hall (Prova por Indução)

Relações Binárias, Aplicações e Operações

MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES

4.1 Preliminares. No exemplo acima: Dom(R 1 ) = e Im(R 1 ) = Dom(R 2 ) = e Im(R 2 ) = Dom(R 3 ) = e Im(R 3 ) = Diagrama de Venn

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

Combinando relações. Exemplo Seja A = {1, 2, 3} e B = {1, 2, 3, 4}. As relações

complemento para a disciplina de Matemática Discreta versão 1 - Jerônimo C. Pellegrini Relações de Equivalência e de Ordem

Matemática para Ciência dos Computadores 30 de Dezembro, Docente: Luís Antunes & Sandra Alves

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

AXB = {(x, y) x A e y B}

Apontamentos de Matemática Discreta

ENFOQUE USANDO CORTES DE DEDEKIND

Matemática para Ciência de Computadores

LFA. Provas formais; Indução; Sintaxe e Semântica Teoria dos Conjuntos

Sumário Algumas Demonstrações CONCLUSÃO RESUMO ATIVIDADES... 34

Matemática Discreta Parte 11

Relações binárias. Laura Goulart. 7 de Março de 2018 UESB. Laura Goulart (UESB) Relações binárias 7 de Março de / 1

Criptografia e Segurança das Comunicações. das Comunicações Bases Matemáticas - Relações e Ordens

Teoria Elementar dos Conjuntos

Teoria Elementar dos Conjuntos

Curso: Ciência da Computação Disciplina: Matemática Discreta RELAÇÕES. Prof.: Marcelo Maraschin de Souza

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

Par ordenado [ordered pair]. É uma estrutura do tipo x, y. Se x y x,y y,x.

Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática MAT Introdução à Álgebra 2015/I

Grafos Direcionados. > Grafos Direcionados Representações Computacionais 1/36

Conjunto Quociente e Classe de Equivalência (Alguns Exemplos e Definições)

PCC104 - Projeto e Análise de Algoritmos

12 AULA. Relações de Ordem LIVRO. META: Apresentar o conceito de relações de ordem e suas propriedades.

UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ Campus Pato Branco ENGENHARIA DE COMPUTAÇÃO. Prova Parcial 1 Matemática Discreta para Computação

Matemática Discreta para Ciência da Computação

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

A2. Cada operação é distributiva sobre a outra, isto é, para todo x, y e z em A, x (y + z) = (x y) + (x z) e x + (y z) = (x + y) (x + z)

Curso: Ciência da Computação Turma: 6ª Série. Teoria da Computação. Aula 2. Conceitos Básicos da Teoria da Computação

Indução Matemática. George Darmiton da Cunha Cavalcanti CIn - UFPE

Seja S = {2, 5, 17, 27}. Quais da sentenças a seguir são verdadeiras? 3. Quantos conjuntos diferentes são descritos abaixo? Quais são eles?

Aula 1 Conjuntos. Meta. Introduzir as noções básicas de conjunto e produto cartesiano de. conjuntos. Objetivos

Capítulo 0: Conjuntos, funções, relações

Terminologia, Técnicas de Prova, Enumerabilidade

INE0003 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Aula 4: Elementos da Teoria de Conjuntos

Relações. Antonio Alfredo Ferreira Loureiro. UFMG/ICEx/DCC MD Relações 1

Produto Cartesiano. Exemplo: Dados os conjuntos A = {5,6} e B = {2,3,4}, vamos determinar o produto cartesiano AXB;

Matemática Discreta 11/12 Soluções

Relações Binárias, Aplicações e Operações

O grau de saída d + (v) de um vértice v é o número de arcos que tem

Teoria intuitiva de conjuntos

Cálculo Diferencial e Integral I

Ordem dos Inteiros AULA. 4.1 Introdução. 4.2 Ordem Ordem dos Inteiros

MA14 - Unidade 1 Divisibilidade Semana de 08/08 a 14/08

Relações. George Darmiton da Cunha Cavalcanti CIn - UFPE

O REI MALIGNO E A PRINCESA GENEROSA: SOBRE BASES NUMÉRICAS E CRITÉRIOS DE DIVISIBILIDADE

Este material é apenas um resumo de parte do conteúdo da disciplina.

3.4 Álgebra booleana, ordens parciais e reticulados

Grafos Orientados (digrafos)

MA14 - Aritmética Unidade 1 Resumo. Divisibilidade

Lista 6. Bases Matemáticas. Funções I. 1 Dados A e B conjuntos, defina rigorosamente o conceito de função de A em B.

Aulas 10 e 11 / 18 e 20 de abril

Prova Parcial 1 com peso de 0,2 na média Matemática Discreta para Computação Aluno(a): Data: 12/04/2012

Sobre Equações Recursivas e Construções de Ponto Fixo Parte I

Indução Matemática Forte. Raquel de Souza Francisco Bravo de novembro de 2016

RESOLUÇÃO DCC-UFRJ MATEMÁTICA COMBINATÓRIA 2006/2 PROVA Considere a soma. S n = n 2 n 1

Relações binárias. Relações binárias. Discrete Mathematics with Graph Theory Edgar Goodaire e Michael Parmenter, 3rd ed 2006.

Antes de abordarmos os temas centrais deste curso é conveniente recordar algumas noções básicas usadas sistematicamente no que se segue.

1 Análise combinatória

Álgebra I. Volume 1 - Módulo 1. Adilson Gonçalves Luiz Manoel Figueiredo. Apoio:

Algebra Sandro Marcos Guzzo Cascavel 1 de abril de 2019

Matemática D s r t i c e a

A ordem em que os elementos se apresentam em um conjunto não é levada em consideração. Há

(Aula 13) Ruy J. G. B. de Queiroz Centro de Informática, UFPE. Teoria dos Conjuntos. (Aula 13) Ruy de Queiroz. Conjuntos.

ELEMENTOS DE MATEMÁTICA DISCRETA Exame de Segunda Data 18/01/2011

MATEMÁTICA MÓDULO 8 DIVISIBILIDADE E CONGRUÊNCIA. Professor Matheus Secco

Matemática Discreta para Computação: Prova 1 06/09/2017

Teoria dos Grafos e Análise Combinatória

Relações. Ester Maria Klippel

apenas os caminhos que passam só por vértices em C, exceto, talvez, o próprio v A Figura 1 a seguir ilustra o significado do conjunto C edovalordist.

CONJUNTO DOS NÚMEROS INTEIROS

Percursos em um grafo

Revisões de Conjuntos

O espaço das Ordens de um Corpo

Facebook. Um grafo é uma rede. Estrutura de dados fundamental em Informática, tal como listas e árvores.

Tópicos de Matemática. Teoria elementar de conjuntos

Professores do Ensino Básico - Variante de Educação Física. Disciplina: Matemática Data: Ficha de trabalho: 2

ax + by 347 = 0 k = text UNIDADE CURRICULAR: Matemática Finita CÓDIGO: DOCENTES: Gilda Ferreira e Ana Nunes

Micro I: Aula 04. Preferências Reveladas. February 2, 2011

MDI0001 Matemática Discreta Aula 04 Álgebra de Conjuntos

Aula 2 Definições, Conceitos Básicos e Representação Interna de Grafos. Teoria dos Grafos Prof.

Lógica e Matemática Discreta

Material Teórico - Módulo: Vetores em R 2 e R 3. O Conceito de Vetor. Terceiro Ano do Ensino Médio

TEORIA DOS CONJUNTOS. Turma: A - Licenciatura em Matemática 1 Semestre de Prof. Dr. Agnaldo José Ferrari OS NÚMEROS NATURAIS

Dado um inteiro positivo n, definimos U(n) como sendo o conjunto dos inteiros positivos menores que n e primos com n. Não é difícil ver que a

GABARITO. Prova 1.2 (points: 72/100; bonus: 16 ; time: 100 ) FMC2, (Turma N12 do Thanos) Regras: Lembre-se: Boas provas! Gabarito 08/05/2017

Transcrição:

Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP

Complexidade 2002/03 1 Relações Definição: Uma relação binária de um conjunto A num conjunto B é um subconjunto R A B. Nota: Ao contrário da definição de função, não se impõe nenhuma restrição. Notação: arb significa que (a, b) R. Definição: Um grafo dirigido, D, de A em B é uma coleção de vértices V A cupb e uma colecção de ramos R A B. Se (X, y) R então existe uma arco ou ramo de x para y em D.

Complexidade 2002/03 2 Exemplos Seja: A = {a, b, c}, B = {1, 2, 3, 4}, R = {(a, 1), (a, 2), (c, 4)} a b c 1 2 3 4

Complexidade 2002/03 3 Exemplos Seja: A = {a, b, c}, B = {1, 2, 3, 4}, R = {(a, 1), (a, 2), (c, 4)} R 1 2 3 4 a X X b c X

Complexidade 2002/03 4 Relações, cont. Definição: Uma relação binária de um conjunto A nele mesmo é um subconjunto R A A. Exemplo: Seja: A = {a, b, c}, R = {(a, a), (a, b), (a, c)} a b c

Complexidade 2002/03 5 Relações: exercícios 1. Considere o conjunto A = {1, 2, 3, 4}. Quais os pares ordenados pertencentes a relação R = {(a, b) : a divide b}. 2. Quantas relações existem num conjunto com n elementos?

Complexidade 2002/03 6 Propriedades de Relações Dado: Um universo U, Uma relação binária R num subconjunto A de U. Definição: A relação R definida num conjunto A é reflexiva se (a, a) R para todo o a A. Definição: R é reflexiva sse x.(x U (x, x) R) Nota: Se U = a implicação é trivialmente verdadeira, logo a relação reflexiva.

Complexidade 2002/03 7 Reflexividade: exemplos e exercícios Das seguintes relações em {1, 2, 3, 4} indique as reflexivas. R 1 = {(1, 1), (1, 2), (2, 1), (2, 2), (3, 4), (4, 1), (4, 4)}. R 2 = {(1, 1), (1, 2), (2, 1)}. R 3 = {(1, 1), (1, 2), (1, 4), (2, 1), (2, 2), (3, 3), (4, 1), (4, 4)}. R 4 = {(2, 1), (3, 1), (3, 2), (4, 1), (4, 2), (4, 3)}. R 5 = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 4), (4, 4)}. R 6 = {(3, 4)}. A relação de divisibilidade no conjunto dos inteiros positivos é reflexiva? Quantas relações reflexivas existem num conjunto com n elementos?

Complexidade 2002/03 8 Propriedades de Relações Dado: Um universo U, Uma relação binária R num subconjunto A de U. Definição: A relação R definida num conjunto A é simétrica se (b, a) R sempre que (a, b) R para todo o a, b A. Definição: R é simétrica sse Definição: R é anti-simétrica sse x y.((x, y) R (y, x) R) x y.((x, y) R (y, x) R x = y)

Complexidade 2002/03 9 Simetria: exemplos e exercícios Das seguintes relações em {1, 2, 3, 4} indique as simétricas e anti-simétricas. R 1 = {(1, 1), (1, 2), (2, 1), (2, 2), (3, 4), (4, 1), (4, 4)}. R 2 = {(1, 1), (1, 2), (2, 1)}. R 3 = {(1, 1), (1, 2), (1, 4), (2, 1), (2, 2), (3, 3), (4, 1), (4, 4)}. R 4 = {(2, 1), (3, 1), (3, 2), (4, 1), (4, 2), (4, 3)}. R 5 = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 4), (4, 4)}. R 6 = {(3, 4)}. A relação de divisibilidade no conjunto dos inteiros positivos é simétrica? e anti-simétrica?

Complexidade 2002/03 10 Propriedades de Relações Dado: Um universo U, Uma relação binária R num subconjunto A de U. Definição: A relação R definida num conjunto A é transitiva se (a, b) R e (b, c) R, então (a, c) R para todo o a, b, c A. Definição: R é transitiva sse x y.((x, y) R (y, z) R (x, z) R)

Complexidade 2002/03 11 Transitividade: exemplos e exercícios Das seguintes relações em {1, 2, 3, 4} indique as transitivas. R 1 = {(1, 1), (1, 2), (2, 1), (2, 2), (3, 4), (4, 1), (4, 4)}. R 2 = {(1, 1), (1, 2), (2, 1)}. R 3 = {(1, 1), (1, 2), (1, 4), (2, 1), (2, 2), (3, 3), (4, 1), (4, 4)}. R 4 = {(2, 1), (3, 1), (3, 2), (4, 1), (4, 2), (4, 3)}. R 5 = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 4), (4, 4)}. R 6 = {(3, 4)}. A relação de divisibilidade no conjunto dos inteiros positivos é transitiva?

Complexidade 2002/03 12 Operações em conjuntos Seja R 1 e R 2 relações binárias num conjunto A: Se R 1 tem a propriedade 1 e R 2 tem a propriedade 2 será que R 1 R 2 tem a propriedade 3? onde R 1 R 2 é uma operação de conjuntos arbritrária?

Complexidade 2002/03 13 Exemplo Mostre, ou determine um contraexemplo, que: se R 1 é simétrica e R 2 é anti-simétrica será que R 1 R 2 é transitiva?

Complexidade 2002/03 14 Exemplo Sejam R 1 e R 2 relações transitivas num conjunto A. Será que é transitiva? R 1 R 2 Considere: A = {1, 2}. R 1 = {(1, 2)} R 2 = {(2, 1)} Então R 1 R 2 = {(1, 2), (2, 1)} não é transitiva.

Complexidade 2002/03 15 Composição de relações Definição: Sejam R 1 uma relação de A em B e R 2 uma relação de B em C. A composição de R 2 com R 1 (R 2 R 1 ) é uma relação de A em C tal que se (a, b) R 1 e (b, c) R 2 então (a, c) R 2 R 1. Exercício: determine a composição das relações R e S, com R definida de {1, 2, 3} em {1, 2, 3, 4} e R = {(1, 1), (1, 4), (2, 3), (3, 1), (3, 4)}; S definida de {1, 2, 3, 4} em {0, 1, 2} e R = {(1, 0), (2, 0), (3, 1), (3, 2), (4, 1)}. Definição: Sejam R uma relação num conjunto A. As potências R n, n = 1, 2, 3,... são definidas recursivamente por R 1 = R R n+1 = R n R.

Complexidade 2002/03 16 Transitividade Teorema: Seja R uma relação num conjunto A. R é transitiva se e só se R n R, para todo n > 0. Prova:R transitiva R n R Vamos fazer uma prova directa por indução: Supomos R transitiva Provamos que R n R por indução. Base trivialmente válido para n = 1.

Complexidade 2002/03 17 Transitividade Teorema: Seja R uma relação num conjunto A. R é transitiva se e só se R n R, para todo n > 0. Prova:R transitiva R n R Indução: Supomos que R n R é válido para n, vamos mostrar que é válido para n + 1 (R n+1 R). R n+1 = R n R logo se (x, y) R n+1 então existe um z tal que (x, z) R n e (z, y) R. Mas como (por hip. de indução) R n R, (x, z) R, como (z, y) R e R é transitivo então (x, y) R.

Complexidade 2002/03 18 Transitividade Teorema: Seja R uma relação num conjunto A. R é transitiva se e só se R n R, para todo n > 0. Prova: R n R R transitiva Por hip. R n R, em particular R 2 R. Para mostrar que R é transitiva, note que se (x, y) R e (y, z) R então (x, z) R 2. Como R 2 R, então (x, z) R. Logo R é transitiva.