INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Documentos relacionados
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Relações de recorrência

INE0003 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

UNIVERSIDADE FEDERAL DO RIO DE JANEIRO DEPARTAMENTO DE CIÊNCIAS DA COMPUTAÇÃO. 4 a Lista de Exercícios Gabarito de algumas questões.

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

MC102 Aula 26. Instituto de Computação Unicamp. 17 de Novembro de 2016

Modelagem com relações de recorrência. Exemplo: Determinada população dobra a cada ano; população inicial = 5 a n = população depois de n anos

Relações de recorrência

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Sociedade Brasileira de Matemática Mestrado Profissional em Matemática em Rede Nacional

MC102 Aula 27 Recursão II

Recorrências Lineares de Primeira Ordem

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Teoria dos Conjuntos. (Aula 6) Ruy de Queiroz. O Teorema da. (Aula 6) Ruy J. G. B. de Queiroz. Centro de Informática, UFPE

INE0003 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Álgebra Linear e Aplicações - Primeira Prova - Gabarito. Problema 1 (2 pontos) Calcule dim(ran(t )) para a transformação linear T : R 4 R 3

Matemática Discreta Bacharelado em Sistemas de Informação Resolução - 4ª Lista de Exercícios. Indução e Recursão

ENQ Gabarito MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL. Questão 01 [ 1,25 ]

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

Expansões AULA ... META. Apresentar a expansão binomial e multinomial. OBJETIVOS. Ao final da aula o aluno deverá ser capaz de:

Lista 1 - PMR2300. Fabio G. Cozman 3 de abril de 2013

Algoritmos de Enumeração

Módulo Tópicos Adicionais. Recorrências

Polinômios de Legendre

Lista de Exercícios 6: Soluções Funções

Técnicas de análise de algoritmos

Soluções dos exercícios propostos

ANÁLISE DE ALGORITMOS: PARTE 4

GABARITO. Prova 2 (points: 120/100; bonus: 18 ; time: 100 ) FMC1, (Turmas do Thanos) Regras: Boas provas! Gabarito 23/11/2016

Programação Estruturada

Capítulo 2. Conjuntos Infinitos. 2.1 Existem diferentes tipos de infinito

Relações de Recorrência

Matemática Discreta - 06

Complexidade de Algoritmos

Introdução ao Curso. Área de Teoria DCC/UFMG 2019/01. Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG /01 1 / 22

Sumário. 2 Índice Remissivo 9

Matemática Discreta - 05

Quantos Dígitos...? 1

Análise de algoritmos

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

Resolvendo o sistema de equações e substituindo na solução geral, temos:

Indução Matemática. Profa. Sheila Morais de Almeida. junho DAINF-UTFPR-PG

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Classes, Herança e Interfaces

Recursão. Aula 1. Liana Duenha. Faculdade de Computação Universidade Federal de Mato Grosso do Sul

Recursividade e relações de recorrência

Aulas 5 e 6 / 28 e 30 de março

Aula 5 Equação Diferencial de Segunda Ordem Linear e Coeficientes constantes:

Capítulo 2. Conjuntos Infinitos

XX OLIMPÍADA REGIONAL DE MATEMÁTICA DE SANTA CATARINA Treinamento 7 Nível 3

Indução Matemática. Matemática Discreta. Indução Matemática. Mayara Midori Omai e Sheila Morais de Almeida UTFPR-PG. Abril

Luciana Santos da Silva Martino

Estruturas de Dados, Análise de Algoritmos e Complexidade Estrutural. Carlos Alberto Alonso Sanches

Algoritmo. Exemplo. Definição. Programação de Computadores Comparando Algoritmos. Alan de Freitas

Funções de Green. Prof. Rodrigo M. S. de Oliveira UFPA / PPGEE

Técnicas de projeto de algoritmos: Indução

Permutações Caóticas e a Brincadeira do Amigo Secreto

4. COMBINATÓRIA BÁSICA. Combinatória: ramo da matemática que trata de arranjos de objetos (configurações satisfazendo propriedades específicas).

Departamento de Matemática da Universidade de Aveiro Matemática Discreta. A prova consta de 4 questões cada uma cotada com 5 valores.

04 Recursão SCC201/501 - Introdução à Ciência de Computação II

Universidade Federal de Santa Maria Departamento de Matemática Curso de Verão Lista 2. Sequências de Números Reais

Pontos extremos, vértices e soluções básicas viáveis

Algoritmos e Programação. AULA 21: Recursividade UNIVERSIDADE FEDERAL DE PELOTAS CENTRO DE DESENVOLVIMENTO TECNOLÓGICO CIÊNCIA DA COMPUTAÇÃO

1 INTRODUÇÃO 3 RELAÇÕES DE GIRARD 2 SOMAS DE GIRARD. Exercício Resolvido 1. Matemática Polinômios CAPÍTULO 04 RELAÇÕES DE GIRARD

11º ano - Indução matemática

Cada questão da parte A vale 4 pontos e cada questão da parte B vale 10 pontos (total de pontos do nível III-fase de seleção = 60 pontos).

ENQ Gabarito MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL. (a) Sejam a, b, n Z com n > 0. Mostre que a + b a 2n b 2n.

Aula 15: Repetição (Parte 3)

Indu c ao Matem atica Indu c ao Matem atica T opicos Adicionais

parciais primeira parte

Aula 6: Dedução Natural

INTRODUÇÃO À COMPUTAÇÃO - RESUMO E EXERCÍCIOS* P2

4 de outubro de MAT140 - Cálculo I - Método de integração: Frações Parciais

Transcrição:

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/27

4 - INTROD. À ANÁLISE COMBINATÓRIA 4.1) Arranjos (permutações) 4.2) Combinações 4.3) O Princípio do Pombal 4.4) Relações de Recorrência Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.2/27

RELAÇÕES DE RECORRÊNCIA Quando o problema é encontrar uma fórmula para uma seqüência definida recursivamente, esta fórmula recursiva é chamada de relação de recorrência. As definições recursivas de seqüências, que já vimos, são exemplos de relações de recorrência. Lembre que, para definir uma seqüência recursivamente, uma fórmula recursiva deve ser acompanhada por informação sobre o início da seqüência. Esta informação é chamada de condição inicial para a seqüência. Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.3/27

RELAÇÕES DE RECORRÊNCIA Exemplo 1: (a) A relação de recorrência a n = a n 1 + 3 com a 1 = 4 recursivamente define a seqüência: 4, 7, 10, 13,.... (b) A relação de recorrência f n = f n 1 + f n 2, f 1 = f 2 = 1 define recursivamente a seqüência de Fibonacci: 1, 1, 2, 3, 5, 8, 13, 21,... Relações de recorrência aparecem naturalmente em muitos problemas de contagem e na análise de problemas de programação. Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.4/27

RELAÇÕES DE RECORRÊNCIA Exemplo 2 (1/2): Seja A = {0, 1}. Forneça uma relação de recorrência para c n : número de strings de comprimento n em A que não contêm 0 s adjacentes. Solução: 0 e 1 são as únicas strings de comprimento 1 c 1 = 2 c 2 = 3: as únicas strings deste tipo são 01, 10, 11 Em geral, toda string w de comprimento n 1 que não contém 00, se concatenada com 1, forma uma string 1 w de comprimento n e não contêm 00 Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.5/27

RELAÇÕES DE RECORRÊNCIA Exemplo 2 (2/2): Seja A = {0, 1}. Forneça uma relação de recorrência para c n : número de strings de comprimento n em A que não contêm 0 s adjacentes. Solução: Única outra possibilidade de início para uma string boa de comprimento n: 01 ou seja, pode até começar com 0, desde que seguido por 1 estas strings são da forma 01 v onde v é uma string boa de comprimento n 2 Portanto: c n = c n 1 + c n 2 com as condições iniciais: c 1 = 2 e c 2 = 3 Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.6/27

RELAÇÕES DE RECORRÊNCIA Exemplo 3 (1/2): Suponha que queremos listar todas as seqüências de n elementos sem repetições que podem ser construídas a partir do conjunto {1, 2, 3,..., n}. Uma abordagem para resolver este problema é proceder recursivamente: Passo 1: produza uma lista de todas as seqüências sem repetições que podem feitas a partir de {1, 2, 3,..., n 1} Passo 2: Para cada seqüência do passo 1, insira n em cada um dos n locais possíveis: no início, no final e entre cada par de números na seqüência imprima o resultado e remova n Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.7/27

RELAÇÕES DE RECORRÊNCIA Exemplo 3 (2/2): Listar seqüências de n elementos sem repetições construídas do conjunto {1, 2, 3,..., n}. O número de ações do tipo inserir-imprimir-remover é o número de seqüências de n elementos. ou: n vezes o número de seqüências produzidas no passo 2 logo: nro de seqs de n elems = n (nro de seqs de (n 1) elems) isto fornece uma fórmula recursiva para o número de seqüências de n elementos condição inicial? Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.8/27

RELAÇÕES DE RECORRÊNCIA Uma técnica para encontrar uma fórmula explícita para a seqüência definida por uma relação de recorrência é o backtracking. Ilustrado no exemplo a seguir... Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.9/27

BACKTRACKING Exemplo 4 (1/2): A relação de recorrência a n = a n 1 + 3 com a 1 = 2 define a seqüência: 2, 5, 8,.... Fazemos o backtracking de a n substituindo a definição de a n 1, a n 2 e assim por diante até que um padrão fique claro: a n = a n 1 + 3 ou a n = a n 1 + 3 = (a n 2 + 3) + 3 = a n 2 + 2 3 = ((a n 3 + 3) + 3) + 3 = a n 3 + 3 3 Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.10/27

BACKTRACKING Exemplo 4 (2/2): A relação de recorrência a n = a n 1 + 3 com a 1 = 2 define a seqüência: 2, 5, 8,.... eventualmente, chegaremos a: a n = a n (n 1) + (n 1) 3 = a 1 + (n 1) 3 = 2 + (n 1) 3 logo, uma fórmula explícita para a seqüência é: a n = 2 + (n 1)3 Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.11/27

BACKTRACKING Exemplo 5 (1/2): Use o backtracking para encontrar uma fórmula explícita para a seqüência definida pela relação de recorrência b n = 2.b n 1 + 1 com condição inicial b 1 = 7. Solução: Começamos substituindo a definição do termo anterior na fórmula: b n = 2b n 1 + 1 = 2(2b n 2 + 1) + 1 = 2[2(2b n 3 + 1) + 1] + 1 = 2 3 b n 3 + 4 + 2 + 1 = 2 3 b n 3 + 2 2 + 2 1 + 1 Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.12/27

BACKTRACKING Exemplo 5 (2/2): Use o backtracking para encontrar uma fórmula explícita para a seqüência definida por b n = 2.b n 1 + 1 com condição inicial b 1 = 7. Solução: Note que um padrão está aparecendo com as re-escritas de b n. Nota: não há regras feitas para esta re-escrita. Pode ser necessário experimentar um pouco. O backtracking terminará em: b n = 2 n 1 b n (n 1) + 2 n 2 + 2 n 3 + + 2 2 + 2 1 + 1 = 2 n 1 b 1 + 2 n 1 1 (ver exerc. de indução) = 7 2 n 1 + 2 n 1 1 (usando b 1 = 7) = 8 2 n 1 1 = 2 n+2 1 Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.13/27

BACKTRACKING Nota 1: duas somas muito úteis, que já foram provadas: S1) 1 + a + a 2 + a 3 + + a n 1 = an 1 a 1 S2) 1 + 2 + 3 + + n = n(n+1) 2 Nota 2: o backtracking pode não revelar um padrão explícito para a seqüência definida por uma relação de recorrência. Em seguida, veremos uma técnica mais geral para resolver uma relação de recorrência... Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.14/27

EQUAÇÕES CARACTERÍSTICAS Antes uma definição útil... Uma relação de recorrência é uma relação homogênea linear de grau k se for da forma: a n = r 1 a n 1 + r 2 a n 2 + + r k a n k aonde os r i s são constantes De maneira informal: cada parcela é construída do mesmo ( homogêneo ) modo: cada parcela é um múltiplo de um dos k ( grau k ) termos que antecedem a n ( linear ) Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.15/27

EQUAÇÕES CARACTERÍSTICAS Exemplo 6: (a) A relação c n = ( 2)c n 1 é uma relação de recorrência homogênea linear de grau 1. (b) A relação a n = a n 1 + 3 não é uma relação de recorrência homogênea linear. (c) A relação f n = f n 1 + f n 2 homogênea linear de grau 2. (d) A relação g n = gn 1 2 + g n 2 linear. é uma relação de recorrência não é uma relação homogênea Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.16/27

EQUAÇÕES CARACTERÍSTICAS Seja uma relação de recorrência homogênea linear de grau k: a n = r 1 a n 1 + r 2 a n 2 + + r k a n k A sua equação característica é dada pelo polinômio de grau k a ela associado: x k = r 1 x k 1 + r 2 x k 2 + + r k as raízes desta equação têm um papel chave na fórmula explícita para a seqüência definida pela relação de recorrência e as condições iniciais O caso geral pode ser resolvido, mas veremos apenas o grau 2 neste caso, é comum escrever a equação característica como: x 2 r 1 x r 2 = 0 Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.17/27

EQUAÇÕES CARACTERÍSTICAS Teorema 1: (a) Se a equação característica x 2 r 1 x r 2 = 0, da relação de recorrência a n = r 1 a n 1 + r 2 a n 2, tem duas raízes distintas s 1 e s 2, então a fórmula explícita para a seqüência é dada por: a n = us n 1 + vs n 2 (b) Se a equação característica x 2 r 1 x r 2 = 0 tem uma raíz única s, a fórmula explícita é dada por: a n = us n + vns n onde u e v dependem das condições iniciais. Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.18/27

EQUAÇÕES CARACTERÍSTICAS Prova de (a): (duas raízes distintas: a n = us n 1 + vs n 2 ) já que s 1 e s 2 são raízes de x 2 r 1 x r 2 = 0, temos: s 2 1 r 1s 1 r 2 = 0 e s 2 2 r 1s 2 r 2 = 0 vamos mostrar que: a n = us n 1 + vsn 2, n 1 define a mesma seqüência que: a n = r 1 a n 1 + r 2 a n 2 primeiro, note que as condições iniciais são satisfeitas, pois u e v vêm de: a 1 = us 1 + vs 2 e a 2 = us 2 1 + vs2 2 Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.19/27

EQUAÇÕES CARACTERÍSTICAS Prova de (a): (duas raízes distintas: a n = us n 1 + vs n 2 ) já que s 1 e s 2 são raízes de x 2 r 1 x r 2 = 0, temos: s 2 1 r 1s 1 r 2 = 0 e s 2 2 r 1s 2 r 2 = 0 vamos mostrar que: a n = us n 1 + vsn 2, n 1 define a mesma seqüência que: a n = r 1 a n 1 + r 2 a n 2 primeiro, note que as condições iniciais são satisfeitas, pois u e v vêm de: a 1 = us 1 + vs 2 e a 2 = us 2 1 + vs2 2 então: a n = us n 1 + vsn 2 = us n 2 1 s 2 1 + vsn 2 2 s 2 2 = us n 2 1 (r 1 s 1 + r 2 ) + vs n 2 2 (r 1 s 2 + r 2 ) = r 1 us n 1 1 + r 2 us n 2 1 + r 1 vs n 1 2 + r 2 vs n 2 2 ) = r 1 (us n 1 1 + vs n 1 2 ) + r 2 (us n 2 1 + vs n 2 2 ) = r 1 a n 1 + r 2 a n 2 Prova de (b): totalmente similar. Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.20/27

EQUAÇÕES CARACTERÍSTICAS Exemplo 7: Encontre uma fórmula explícita para a seqüência: c n = 3c n 1 2c n 2 condições iniciais: c 1 = 5 e c 2 = 3 Solução: a relação dada é homogênea linear de grau 2 equação associada: x 2 = 3x 2 ou: x 2 3x + 2 = 0, raízes: 1 e 2 o teorema 1 mostra que u e v vêm da solução de: c 1 = u.(1) + v.(2) e c 2 = u.(1) 2 + v.(2) 2 levando a: u = 7 e v = 1 daí, pelo teorema 1, temos: c n = 7 1 n + ( 1) 2 n = 7 2 n Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.21/27

EQUAÇÕES CARACTERÍSTICAS Exemplo 8: Resolva a relação de recorrência d n = 2d n 1 d n 2, com condições iniciais d 1 = 1.5 e d 2 = 3. Solução: equação associada para esta rel. homog. linear: x 2 2x + 1 = 0 com uma raíz múltipla: 1 pelo teorema 1(b): d n = u.(1) n + v.n.(1) n usando esta fórmula e as condições iniciais, temos que: d 1 = 1.5 = u + v.(1) e d 2 = 3 = u + v.(2) cuja solução é: u = 0 e v = 1.5 logo: d n = 1.5n Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.22/27

EQUAÇÕES CARACTERÍSTICAS Nota: apesar da seqüência de Fibonacci ser bem conhecida, a sua forma explícita levou mais de 200 anos para ser encontrada... Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.23/27

EQUAÇÕES CARACTERÍSTICAS Exemplo 9: Encontre uma fórmula explícita para a seqüência de Fibonacci: f n = f n 1 + f n 2, onde f 1 = f 2 = 1 Solução: relação de recorrência homogênea linear de grau 2 equação característica: x 2 x 1 = 0 cujas raízes são: s 1 = 1+ 5 e s 2 2 = 1 5 2 O u e o v do teorema 1 vêm da solução de: 8 < 1 = u.( 1+ 5 ) + v.( 1 5 ) 2 2 : 1 = u.( 1+ 5 ) 2 2 + v.( 1 5 ) 2 2 Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.24/27

EQUAÇÕES CARACTERÍSTICAS Exemplo 9: Encontre uma fórmula explícita para a seqüência de Fibonacci: f n = f n 1 + f n 2, onde f 1 = f 2 = 1 Solução: relação de recorrência homogênea linear de grau 2 equação característica: x 2 x 1 = 0 cujas raízes são: s 1 = 1+ 5 e s 2 2 = 1 5 2 O u e o v do teorema 1 vêm da solução de: 8 < 1 = u.( 1+ 5 ) + v.( 1 5 ) 2 2 : 1 = u.( 1+ 5 ) 2 2 + v.( 1 5 ) 2 2 o que leva a: u = 1 5 e v = 1 5 e a fórmula explícita para a seqüência de Fibonacci fica: f n = 1 5 ( 1+ 5 2 ) n 1 5 ( 1 5 2 ) n Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.25/27

RELAÇÃO DE RECORRÊNCIA X INDUÇÃO Algumas vezes é útil conhecer algumas propriedades de uma relação de recorrência com a qual estamos trabalhando. Em virtude da forte conexão entre recorrência (recursão) e indução matemática, são comuns as provas para estas propriedades utilizarem indução. Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.26/27

RELAÇÃO DE RECORRÊNCIA X INDUÇÃO Exemplo: Uma propriedade dos números de Fibonacci: f n ( 5 3 )n (um limite superior para a rapidez de crescimento dos nros) Prova (por indução forte): Passo básico: P (1) é 1 5 3, o que, evidentemente, é V. Passo indutivo: usar P (j), j k, para mostrar P (k + 1) : f k+1 ( 5 3 )k+1 f k+1 = f k + f k 1 ( 5 3 )k + ( 5 3 )k 1 Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.27/27

RELAÇÃO DE RECORRÊNCIA X INDUÇÃO Exemplo: Uma propriedade dos números de Fibonacci: f n ( 5 3 )n (um limite superior para a rapidez de crescimento dos nros) Prova (por indução forte): Passo básico: P (1) é 1 5 3, o que, evidentemente, é V. Passo indutivo: usar P (j), j k, para mostrar P (k + 1) : f k+1 ( 5 3 )k+1 f k+1 = f k + f k 1 ( 5 3 )k + ( 5 3 )k 1 = ( 5 3 )k 1 ( 5 3 + 1) = ( 5 3 )k 1 ( 8 3 ) < ( 5 3 )k 1 ( 5 3 )2 = ( 5 3 )k+1 Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.28/27