Matemática Discreta - 06

Documentos relacionados
Recursividade e relações de recorrência

Matemática Discreta - 05

Matemática Discreta - 04

Aula prática 5. Funções Recursivas

Quantos Dígitos...? 1

Divisão e Conquista. Norton T. Roman. Apostila baseada nos trabalhos de Cid de Souza, Cândida da Silva e Delano M. Beder

Técnicas de análise de algoritmos

Análise de Problemas Recursivos. Algoritmos e Estruturas de Dados Flavio Figueiredo (

Algoritmos e Programação

XIX Semana Olímpica de Matemática. Nível 3. Funções Geratrizes. José Armando Barbosa

Matemática Discreta - 09

Princípio da boa ordenação. Aula 03. Princípio da boa ordenação. Princípio da boa ordenação. Indução Finita e Somatórios

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

Matemática Discreta - 07

Solução de Recorrências

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

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

11º ano - Indução matemática

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

Matemática Discreta - 07

Relações de recorrência

Relações de Recorrência

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Módulo Tópicos Adicionais. Recorrências

Aula 06: Análise matemática de algoritmos recursivos

ALGORITMOS AVANÇADOS UNIDADE II Recursividade. Luiz Leão

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

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

Algoritmos e Programação

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

PCC104 - Projeto e Análise de Algoritmos

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

O verbo induzir significa gerar. Nesta aula, começaremos a ver o assunto Indução Matemática

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

Matemática Discreta - 01

Prof. Jorge Cavalcanti

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

Algoritmos e Estrutura de Dados. Aula 04 Recorrência Prof. Tiago A. E. Ferreira

4.1 O exercício de Fibonacci

Programação Estruturada

Números Naturais. MA12 - Unidade 1. Os Axiomas de Peano. O Axioma da Indução. Exemplo: uma demonstração por indução

Bruno Hott Algoritmos e Estruturas de Dados I DECSI UFOP. Recursividade

étodos uméricos SISTEMAS DE EQUAÇÕES LINEARES (Continuação) Prof. Erivelton Geraldo Nepomuceno PROGRAMA DE PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA

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

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

Notas sobre Definições Recursivas

Luciana Santos da Silva Martino

Princípio KISS. Semana Olímpica/ Nível 1. Prof. Armando Barbosa. 25 de janeiro de 2019

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

Aula 05: - Recursão (parte 1)

Análise I. Notas de Aula 1. Alex Farah Pereira de Agosto de 2017

Relações de recorrência

Algoritmos de Ordenação

MA14 - Aritmética Unidade 2 - Parte 2

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Matemática Discreta - 08

05 Análise de Algoritmos (parte 4) SCC201/501 - Introdução à Ciência de Computação II

Introdução à Análise Algoritmos

Referências e materiais complementares desse tópico

1 Conjuntos, Números e Demonstrações

Introdução à Ciência da Computação II. Recursão. Prof. Ricardo J. G. B. Campello

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

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

Pré-Cálculo. Humberto José Bortolossi. Aula 5 27 de agosto de Departamento de Matemática Aplicada Universidade Federal Fluminense

Recursividade. David Menotti Algoritmos e Estruturas de Dados II DInf UFPR

Determinação de raízes de polinômios: Método de Briot-Ruffini-Horner

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Roteiro da segunda aula presencial - ME

ANÁLISE DE ALGORITMOS: PARTE 4

Universidade Federal do ABC Centro de Matemática, Computação e Cognição Análise na Reta (2017) Curso de Verão

Matemática Discreta 10

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

Provas de Análise Real - Noturno - 3MAT003

1 a Lista de Exercícios

X Encontro da Olimpíada Regional de Matemática

19 AULA. Princípio da Boa Ordem LIVRO. META Introduzir o princípio da boa ordem nos números naturais e algumas de suas conseqüências.

José Paulo Carneiro (0; 0) (0; 1) (0; 2) (0; 3) (1; 0) (1; 1) (1; 2) (1; 3) (2; 0) (2; 1) (2; 2) (2; 3) (3; 0) (3; 1) (3; 2) (3; 3)

Aula 05: - Recursão (parte 1)

A DEFINIÇÃO AXIOMÁTICA DO CONJUNTO DOS NÚMEROS NATURAIS.

Análise de Algoritmos

RADICIAÇÃO, POTENCIAÇÃO, LOGARITMAÇÃO. Potência POTENCIAÇÃO, RADICIAÇÃO E LOGARITMAÇÂO NOS NÚMEROS REAIS. Potenciação 1

Funções Polinomiais com Coeficientes Complexos. Quantidade de Raízes e Consequências. 3 ano E.M. Professores Cleber Assis e Tiago Miranda

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

Torre de Hanói e Sequência de Fibonacci via Transformada Z

Á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

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

Transformada de Fourier: fundamentos matemáticos, implementação e aplicações musicais

Transcrição:

Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 06 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav 1

Recursividade e relações de recorrência 2

Definições Recorrentes Uma definição onde o item a ser definido aparece como parte da definição é chamada de definição recorrente ou definição por recorrência ou ainda definição por indução. Como definir algo em torno de si mesmo? 1. Uma base, ou condição básica, onde alguns casos simples (pelo menos um) do item que está sendo definido são dados explicitamente. 2. Um passo de indução ou recorrência, onde novos casos do item que está sendo definido são dados em função dos casos anteriores. O item 1 nos dá o começo, fornecendo casos simples e concretos. O item 2 nos permite construir novos casos, a partir dos simples e ainda outros casos a partir desses novos e assim por diante. 3

Sequências definidas por Recorrência Uma sequência S é uma lista de objetos que são numerados em uma determinada ordem. Existe um primeiro objeto, um segundo e assim por diante. S(k) denota o k-ésimo objeto da sequência. Uma sequência é definida por recorrência nomeando-se o primeiro valor (ou alguns primeiros) na sequência e depois definindo os demais valores subsequentes em termos dos valores anteriores. 4

Sequências definidas por Recorrência Ex. 01:A seqüência S é definida por recorrência por 1.S(1) = 2 2.S(n) = 2S(n -1) para n 2 Pela proposição 1, S(1) = 2. Depois, pela proposição 2, o segundo objeto em S é S(2) = 2S(1) = 2(2)=4. Novamente, pela proposição 2, S(3)=2S(2) = 2(4) = 8. Continuando desse modo, vemos que a sequência S é: 2, 4, 8, 16, 32... Uma regra como a da proposição 2, que define um valor de uma sequência em termos de um ou mais valores anteriores é uma relação de recorrência. 5

Sequências definidas por Recorrência Ex. 02:A seqüência T é definida por recorrência por 1.T(1) = 1 2.T(n) = T(n -1) + 3 para n 2 Escreva os cinco primeiros valores da sequência T. Ex. 03: A famosa sequência de Fibonacci é uma sequência de números definida por recorrência por: F(1) = 1 F(2) = 1 F(n) = F(n-2) + F(n-1), para n>2 Nesse caso, são dados os dois primeiros valores e relação de recorrência define o n-ésimo valor em termos dos dois valores precedentes. Na sua forma mais geral, a relação de recorrência é a soma de F em seus dois valores anteriores. Ex. 04: Escreva os oito primeiros valores da sequência de Fibonacci. 6

Sequências definidas por Recorrência Ex. 05: Prove diretamente que, na sequência de Fibonacci, a fórmula F(n+4)=3F(n+2) F(n), para todo n 1, é verdadeira. A relação de recorrência da sequência de Fibonacci pode ser escrita como: F(n+2)=F(n)+F(n+1) ou, F(n+1) = F(n+2) F(n) (1) Logo, F(n+4)=F(n+2)+F(n+3) F(n+4)=F(n+2)+F(n+2)+F(n+1) //Reescrevendo F(n+3) F(n+4)=F(n+2)+ F(n+2)+[F(n+2)-F(n)] // de (1) F(n+4)=3F(n+2)-F(n) 7

Sequências definidas por Recorrência Ex. 06: Prove diretamente que, na sequência de Fibonacci, a fórmula F(n+1)+F(n-2) = 2F(n), para todo n 3, é verdadeira. Da relação de Recorrência: F(n+1)=F(n-1) + F(n) e F(n)=F(n-1)+F(n-2) = F(n-1)+F(n) + F(n-2) = [F(n-1)+F(n-2)] + F(n) =F(n)+ F(n) = 2F(n) Observar que só é válida porque n 3. 8

Sequências definidas por Recorrência Ex. 07: Prove diretamente que, na sequência de Fibonacci, a fórmula F(n+3)=2F(n+1) + F(n), para todo n 1, é verdadeira. 9

Operações definidas por Recorrência Certas operações comuns em objetos podem ser definidas de forma recorrente, conforme os exemplos a seguir: Ex. 08: Uma definição recorrente da operação de exponenciação a n de um número real não nulo a, onde n é um inteiro não negativo é: 1. a 0 =1 2. a n =(a n-1 )a para n 1 Ex. 09: Uma definição recorrente para a multiplicação de dois inteiros positivos m e n é: 1. m(1) = m 2. m(n) = m(n-1) + m para n 2 10

Resolvendo Relações de Recorrência Tomando por base novamente o Exemplo 01 Ex.01: A seqüência S é definida por recorrência por S(1) = 2 (1) S(n) = 2S(n -1) para n 2 (2) Como: S(1) = 2 = 2 1 S(2) = 4 = 2 2 S(3) = 8 = 2 3 S(4) = 16 = 2 4 e assim por diante, vemos que S(n) = 2 n (3) Solução em forma fechada para a relação de recorrência (2) sujeita à condição básica (1) É possível calcular diretamente S(n) sem ter que calcular explicitamente ou por recorrência. 11

Resolvendo Relações de Recorrência Relações de recorrência são usadas em programas computacionais, estudos de decaimento químico, crescimento populacional etc. Seria bom encontrar sempre soluções fechadas! Uma técnica para resolver relações de recorrência é uma abordagem do tipo expandir, conjecturar e verificar. Essa técnica usa repetidamente a relação de recorrência para expandir a expressão a partir do n-ésimo termo até que se tenha uma idéia da forma geral. Após obtida a forma geral, a conjectura é provada por indução matemática. 12

Resolvendo Relações de Recorrência Ex. 10: Considere novamente a seqüência S S(1) = 2 (1) S(n) = 2S(n -1) para n 2 (2) Desconsiderando que já sabemos a solução fechada, vamos usar a abordagem de expandir, conjecturar e verificar para encontrar a solução. A relação S(n) = 2S(n -1) estabelece que um elemento S pode ser substituído por duas vezes o elemento anterior. Seguindo essa receita, expandimos para n, n-1, n-2, assim por diante: S(n) = 2S(n -1) = 2[2S(n -2)] = 2 2 S(n-2) = 2 2 [2S(n-3)] = 2 3 S(n-3) Olhando o padrão que está se formando, conjecturamos que, após k expansões, a equação tem a forma: S(n) = 2 k S(n-k) 13

Resolvendo Relações de Recorrência Ex. 10: Forma geral da expansão: S(n) = 2 k S(n-k) A expansão dos elementos de S em função dos elementos anteriores pára quando n-k=1 (significa que estamos com o último e o penúltimo elemento da relação). n-k =1 então, k=n-1 e nesse ponto temos: S(n) = 2 n-1 S[n-(n-1)] = 2 n-1 S(1) 2 n-1 (2) = 2 n que é a solução em forma fechada A solução encontrada é apenas a conjectura, que precisa ser confirmada, ou seja devemos provar que S(n)=2 n para n 1. Provaremos usando a indução matemática. 14

Resolvendo Relações de Recorrência Ex. 10: Provar que S(n) = 2 n para n 1. 1. Base da indução S(1) = 2 1 é verdadeiro 2. Hipótese da indução S(k) = 2 k 3. Devemos provar que S(k+1) = 2 k+1 S(k+1) = 2S(k) S(k+1) =2(2 k ) S(k+1) =2 k+1 Isso prova que a solução fechada encontrada está correta. 15