Escolar Documentos
Profissional Documentos
Cultura Documentos
Matemtica Discreta - 06
Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
2.
Uma base, ou condio bsica, onde alguns casos simples (pelo menos um) do item que est sendo definido so dados explicitamente. Um passo de induo ou recorrncia, onde novos casos do item que est sendo definido so dados em funo dos casos anteriores.
O item 1 nos d o comeo, 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
=2 = 2S(n -1) para n 2 Pela proposio 1, S(1) = 2. Depois, pela proposio 2, o segundo objeto em S S(2) = 2S(1) = 2(2)=4. Novamente, pela proposio 2, S(3)=2S(2) = 2(4) = 8. Continuando desse modo, vemos que a sequncia S : 2, 4, 8, 16, 32...
2.S(n)
Uma regra como a da proposio 2, que define um valor de uma sequncia em termos de um ou mais valores anteriores uma relao de recorrncia.
Ex. 03: A famosa sequncia de Fibonacci uma sequncia de nmeros definida por recorrncia por:
F(1) = 1 F(2) = 1 F(n) = F(n-2) + F(n-1), para n>2 Nesse caso, so dados os dois primeiros valores e relao de recorrncia define o n-simo valor em termos dos dois valores precedentes. Na sua forma mais geral, a relao de recorrncia a soma de F em seus dois valores anteriores.
Ex. 09: Uma definio recorrente para a multiplicao de dois inteiros positivos m e n :
1. 2.
Como: S(1) = 2 = 21 S(2) = 4 = 22 Soluo em S(3) = 8 = 23 forma fechada para a relao de S(4) = 16 = 24 recorrncia (2) e assim por diante, vemos que sujeita condio bsica (1) n S(n) = 2 (3) possvel calcular diretamente S(n) sem ter que calcular explicitamente ou por recorrncia.
11
Desconsiderando que j sabemos a soluo fechada, vamos usar a abordagem de expandir, conjecturar e verificar para encontrar a soluo.
A relao S(n) = 2S(n -1) estabelece que um elemento S pode ser substitudo 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)] = 22S(n-2) = 22[2S(n-3)] = 23S(n-3) Olhando o padro que est se formando, conjecturamos que, aps k expanses, a equao tem a forma: S(n) = 2kS(n-k) 13
A soluo encontrada apenas a conjectura, que precisa ser confirmada, ou seja devemos provar que S(n)=2n para n 1.
Provaremos usando a induo matemtica.
14
15