SlideShare una empresa de Scribd logo
1 de 37
Descargar para leer sin conexión
Recorrência
Sumário
• Definições Recorrentes
‣ Seqüências, conjuntos e operações
• Resolução de Relações de Recorrência
Definições Recorrentes
• Uma definição recorrente é uma definição
onde o item sendo definido aparece como
parte da definição.
‣ definir algo em termos de si mesmo
• Exemplo: definição recorrente de fatorial
Partes de uma
Definição Recorrente
• Base (ou condição básica)
‣ casos elementares definidos explicitamente
• Recorrência (ou passo indutivo)
‣ demais casos definidos em função dos casos
elementares
• Recorrência é uma conceito importante
que pode ser usado para definir:
‣ seqüências
‣ conjuntos
‣ operações
‣ algoritmos
Seqüências
• Uma seqüência é uma lista ordenada de
elementos
• Exemplo:
‣ S = 2, 4, 8, 16, 32, ...
‣ S(1) = 2, S(4) = 16
Seqüências Definidas
por Recorrência
• Uma seqüência é definida por recorrência
nomeando-se, explicitamente, o primeiro
elemento na seqüência e depois definindo-
se os demais elementos em termos dos
anteriores
• Exemplo (S = 2, 4, 8, 16, 32, ...)
‣ S(1) = 2
‣ S(n) = 2 * S(n-1), para n ≥ 2
Exercício
• Escreve os cinco primeiros valores da
seqüência T definida a seguir
‣ T(1) = 1
‣ T(n) = T(n-1) + 3
Seqüência de Fibonacci
• É uma seqüência de números definida por
recorrência como a seguir:
‣ F(1) = 1
‣ F(2) = 1
‣ F(n) = F(n-1) + F(n-2), para n ≥ 3
• Escreva os 8 primeiros termos da
seqüência de Fibonacci.
Conjuntos
• Um conjunto é uma coleção de objetos
‣ não há nenhuma ordem imposta à coleção
• Conjuntos podem ser definidos por
relações de recorrência.
‣ Base: objetos elementares do conjunto
‣ Recorrência: regra para composição de novos
objetos do conjunto
Exemplo
• Definição recorrente do conjunto das
fórmulas proposicionais bem formuladas
(FBF)
‣ Base: uma proposição é uma FBF
‣ Recorrência: se P e Q são FBFs então P ∧ Q, P ∨
Q, P → Q, P′, e P Q também são FBFs
Operações Definidas
por Recorrência
• Certas operações podem ser definidas de
forma recorrente
• Exemplo: definição recorrente da
exponenciação an
‣ a0 = 1
‣ an = a * an-1, para n ≥ 1
Definições Recorrentes
Seqüência
Pelo menos o primeiro valor é definido
explicitamente; os demais valores são
definidos em termos dos anteriores.
Conjunto
Pelo menos um elemento do conjunto é
definido explicitamente; os demais
elementos são construídos a partir de
elementos que pertencem ao conjunto.
Operação
Um caso trivial (elementar) é definido
explicitamente; demais casos são calculados
a partir de casos menores.
Exercícios
• Escreve os cinco primeiros valores da
seqüência M a seguir:
‣ M(1) = 2
‣ M(2) = 2
‣ M(n) = 2*M(n-1) + M(n-2)
• Considerando a série de Fibonacci, prove
que F(n+1) + F(n-2) = 2F(n), para n≥3
Considere a seqüência S definida por recorrência:
S(1) = 2
S(n) = 2*S(n-1)
Existe uma equação na qual podemos substituir o
valor de n e calcular diretamente o valor de S(n)
sem ter que calcular os valores anteriores?
Considere a seqüência S definida por recorrência:
S(1) = 2
S(n) = 2*S(n-1)
Existe uma equação na qual podemos substituir o
valor de n e calcular diretamente o valor de S(n)
sem ter que calcular os valores anteriores?
S(n) = 2n
Resolvendo Relações
de Recorrência
• Resolver uma relação de recorrência
significa encontrar para ela uma solução em
forma fechada.
• Uma solução em forma fechada para uma
relação de recorrência sujeita a uma
condição básica é uma equação na qual
podemos substituir um valor para calcular
diretamente o elemento que queremos.
Estratégias para Resolução
de Recorrências
• Método “expandir, conjecturar e verificar”
• Solução geral
‣ no caso de uma relação de recorrência linear de
primeira ordem.
“Expandir, conjecturar e
verificar”
• Consiste em usar repetidamente a relação
de recorrência para expandir a expressão
do n-ésimo termo até que seja possível
perceber uma equação para a solução em
forma fechada.
• É preciso verificar a equação encontrada
‣ em geral, a verificação pode ser feita por
indução
Exemplo
• Considere a condição básica e a relação de
recorrência para a seqüência S a seguir:
‣ S(1) = 2
‣ S(n) = 2 * S(n-1)
• Encontre a solução em forma fechada para
a relação de recorrência.
Passo 1: Expandir
S(n) = 2 * S(n-1)
Passo 1: Expandir
S(n) = 2 * S(n-1)
= 2 * 2 * S(n-2)
Passo 1: Expandir
S(n) = 2 * S(n-1)
= 2 * 2 * S(n-2)
= 2 * 2 * 2 * S(n-3)
Passo 1: Expandir
S(n) = 2 * S(n-1)
= 2 * 2 * S(n-2)
= 2 * 2 * 2 * S(n-3)
= 2 * 2 * 2 * 2 * S(n-4)
Passo 2: Conjecturar
S(n) = 2 * S(n-1)
= 2 * 2 * S(n-2)
= 2 * 2 * 2 * S(n-3)
= 2 * 2 * 2 * 2 * S(n-4)
Após k, expansões
Passo 2: Conjecturar
S(n) = 2 * S(n-1)
= 2 * 2 * S(n-2)
= 2 * 2 * 2 * S(n-3)
= 2 * 2 * 2 * 2 * S(n-4)
...
= 2k * S(n-k)
Após k, expansões
S(n) = 2k * S(n-k)
Podemos continuar com a expansão
indefinidamente ou existe um limite para k?
S(n) = 2k * S(n-k)
Podemos continuar com a expansão
indefinidamente ou existe um limite para k?
O limite é o caso base S(1), ou seja,
n-k = 1
⇓
k = n-1
S(n) = 2k * S(n-k)
Podemos continuar com a expansão
indefinidamente ou existe um limite para k?
O limite é o caso base S(1), ou seja,
n-k = 1
⇓
k = n-1
⇓
S(n) = 2n-1 * S[n-(n-1)] = 2n-1 * S[1] = 2n-1 * 2 = 2n
Passo 3: Verificar
• Por raciocínio indutivo, inferimos que a
solução em forma fechada é S(n) = 2n.
• Ainda é preciso demonstrar que, de fato,
S(n) = 2n, para todo n ≥ 1.
‣ podemos fazer isso por indução em n.
Estratégias para Resolução
de Recorrências
• Método “expandir, conjecturar e verificar”
• Solução geral
‣ no caso de uma relação de recorrência linear de
primeira ordem.
Recorrência Linear
• Uma relação de recorrência para uma
seqüência S(n) é denominada linear se os
valores anteriores de S aparecem na relação
apenas na primeira potência.
• Forma geral:
‣ S(n) = f1(n)S(n-1)+f2(n)S(n-2)+...+fk(n)S(n-k)+g(n)
Recorrência de
Primeira Ordem
• Uma relação de recorrência para uma
seqüência S(n) é de primeira ordem se o
cálculo do termo n depende apenas do
termo n-1.
• Forma geral:
‣ S(n) = f1(n) S(n-1) + g(n)
Solução Geral
• Utilizando o método “expandir, conjecturar
e verificar”, podemos encontrar uma
solução em forma fechada geral para
relações de recorrência lineares de
primeira ordem com coeficientes
constantes.
• Solução geral para
‣
S(n) = cS(n − 1) + g(n)
S(n) = cn−1
S(1) +
n
i=2
cn−i
g(i)
Exemplo
S(n) = cS(n − 1) + g(n)
⇓
S(n) = 2S(n − 1)
c = 2 e g(n) = 0
S(n) = 2n−1
S(1) +
n
i=2
2n−1
0
= 2n−1
2 +
n
i=2
0 = 2n−1
2 + 0 = 2n
S(n) = cn−1
S(1) +
n
i=2
cn−i
g(i)
i
Métodos para resolver relações de recorrência
Método Passos
“Expandir,
conjecturar e
verificar”
1.Expandir a recorrência até que seja possível
inferir um padrão;
2.Determinar o padrão para k = n-1;
3.Demonstrar a fórmula resultante por indução.
Solução Geral
1.Escrever a recorrência na forma
2.Substitua c, S(1) e g(n) na fórmula geral
3.Calcule o somatório para obter a fórmula final
S(n) = cS(n − 1) + g(n)
S(n) = cn−1
S(1) +
n
i=2
cn−i
g(i)
Exemplo: Solução Geral
• Considere a seqüência T como definida a
seguir:
‣ T(1) = 2
‣ T(n) = T(n-1) + n + 1
• Encontre a solução em forma fechada para
a relação de recorrência, utilizando o
método da solução geral.

Más contenido relacionado

La actualidad más candente

34 nucleo e imagem de uma transformacao linear
34 nucleo e imagem de uma transformacao linear34 nucleo e imagem de uma transformacao linear
34 nucleo e imagem de uma transformacao linearAndressa Leite Rodrigues
 
Exercícios resolvidos sobre fatoração de polinômios
Exercícios resolvidos sobre fatoração de polinômiosExercícios resolvidos sobre fatoração de polinômios
Exercícios resolvidos sobre fatoração de polinômiosAndré Luís Nogueira
 
Aula 10 profmat - congruencias lineares e quadraticas - 10 11-17
Aula 10   profmat - congruencias lineares e quadraticas - 10 11-17Aula 10   profmat - congruencias lineares e quadraticas - 10 11-17
Aula 10 profmat - congruencias lineares e quadraticas - 10 11-17Aline Guedes
 
Cálculo Numérico - Aula 03: Zeros de funções
Cálculo Numérico - Aula 03: Zeros de funçõesCálculo Numérico - Aula 03: Zeros de funções
Cálculo Numérico - Aula 03: Zeros de funçõesRodolfo Almeida
 
MATEMÁTICA - FUNÇÕES - AULA 2
MATEMÁTICA - FUNÇÕES - AULA 2MATEMÁTICA - FUNÇÕES - AULA 2
MATEMÁTICA - FUNÇÕES - AULA 2Alexander Mayer
 
2º lista de exercícios potenciação e radiciação - 9º ano
2º lista de exercícios   potenciação e radiciação - 9º ano2º lista de exercícios   potenciação e radiciação - 9º ano
2º lista de exercícios potenciação e radiciação - 9º anoafpinto
 
Exercicio regra de sinais 2
Exercicio regra de sinais 2Exercicio regra de sinais 2
Exercicio regra de sinais 2Jodiléia Dutra
 
Plano de aula sobre Progressões
Plano de aula sobre ProgressõesPlano de aula sobre Progressões
Plano de aula sobre Progressõesxtganderson
 
Mat fatoracao algebrica exercicios resolvidos
Mat fatoracao algebrica exercicios resolvidosMat fatoracao algebrica exercicios resolvidos
Mat fatoracao algebrica exercicios resolvidostrigono_metria
 
Matemática Discreta - Parte VII estruturas algébricas
Matemática Discreta - Parte VII estruturas algébricasMatemática Discreta - Parte VII estruturas algébricas
Matemática Discreta - Parte VII estruturas algébricasUlrich Schiel
 
Desafio#5 : Qual o valor desconhecido?
Desafio#5 : Qual o valor desconhecido? Desafio#5 : Qual o valor desconhecido?
Desafio#5 : Qual o valor desconhecido? O Bichinho do Saber
 
Ap mat aritmetica e exercicios resolvidos
Ap mat aritmetica e exercicios resolvidosAp mat aritmetica e exercicios resolvidos
Ap mat aritmetica e exercicios resolvidostrigono_metria
 
Função afim problemas
Função afim   problemasFunção afim   problemas
Função afim problemasProfessoraIve
 
Operações básicas da matemática
Operações básicas da matemáticaOperações básicas da matemática
Operações básicas da matemáticaEdiclei Oliveira
 

La actualidad más candente (20)

34 nucleo e imagem de uma transformacao linear
34 nucleo e imagem de uma transformacao linear34 nucleo e imagem de uma transformacao linear
34 nucleo e imagem de uma transformacao linear
 
Exercícios resolvidos sobre fatoração de polinômios
Exercícios resolvidos sobre fatoração de polinômiosExercícios resolvidos sobre fatoração de polinômios
Exercícios resolvidos sobre fatoração de polinômios
 
Aula 10 profmat - congruencias lineares e quadraticas - 10 11-17
Aula 10   profmat - congruencias lineares e quadraticas - 10 11-17Aula 10   profmat - congruencias lineares e quadraticas - 10 11-17
Aula 10 profmat - congruencias lineares e quadraticas - 10 11-17
 
Cálculo Numérico - Aula 03: Zeros de funções
Cálculo Numérico - Aula 03: Zeros de funçõesCálculo Numérico - Aula 03: Zeros de funções
Cálculo Numérico - Aula 03: Zeros de funções
 
Conjuntos numéricos
Conjuntos numéricosConjuntos numéricos
Conjuntos numéricos
 
MATEMÁTICA - FUNÇÕES - AULA 2
MATEMÁTICA - FUNÇÕES - AULA 2MATEMÁTICA - FUNÇÕES - AULA 2
MATEMÁTICA - FUNÇÕES - AULA 2
 
2º lista de exercícios potenciação e radiciação - 9º ano
2º lista de exercícios   potenciação e radiciação - 9º ano2º lista de exercícios   potenciação e radiciação - 9º ano
2º lista de exercícios potenciação e radiciação - 9º ano
 
Exercicio regra de sinais 2
Exercicio regra de sinais 2Exercicio regra de sinais 2
Exercicio regra de sinais 2
 
Plano de aula sobre Progressões
Plano de aula sobre ProgressõesPlano de aula sobre Progressões
Plano de aula sobre Progressões
 
Mat fatoracao algebrica exercicios resolvidos
Mat fatoracao algebrica exercicios resolvidosMat fatoracao algebrica exercicios resolvidos
Mat fatoracao algebrica exercicios resolvidos
 
Matemática Discreta - Parte VII estruturas algébricas
Matemática Discreta - Parte VII estruturas algébricasMatemática Discreta - Parte VII estruturas algébricas
Matemática Discreta - Parte VII estruturas algébricas
 
Desafio#5 : Qual o valor desconhecido?
Desafio#5 : Qual o valor desconhecido? Desafio#5 : Qual o valor desconhecido?
Desafio#5 : Qual o valor desconhecido?
 
Ap mat aritmetica e exercicios resolvidos
Ap mat aritmetica e exercicios resolvidosAp mat aritmetica e exercicios resolvidos
Ap mat aritmetica e exercicios resolvidos
 
PROVAS EMEF
PROVAS EMEFPROVAS EMEF
PROVAS EMEF
 
Matrizes
MatrizesMatrizes
Matrizes
 
Função afim problemas
Função afim   problemasFunção afim   problemas
Função afim problemas
 
Perfil das Equações do 2º Grau
Perfil das Equações do 2º GrauPerfil das Equações do 2º Grau
Perfil das Equações do 2º Grau
 
Aula analise algoritmos
Aula analise algoritmosAula analise algoritmos
Aula analise algoritmos
 
Expressoes algebricas
Expressoes algebricasExpressoes algebricas
Expressoes algebricas
 
Operações básicas da matemática
Operações básicas da matemáticaOperações básicas da matemática
Operações básicas da matemática
 

Similar a Recorrência: métodos para resolver relações de recorrência

Relações de recorrência
Relações de recorrênciaRelações de recorrência
Relações de recorrênciaPablo Silva
 
Ma2td 09.0.5 - @risk - derivação da equação de black-scholes
Ma2td   09.0.5 - @risk - derivação da equação de black-scholesMa2td   09.0.5 - @risk - derivação da equação de black-scholes
Ma2td 09.0.5 - @risk - derivação da equação de black-scholesGustavo Mirapalheta
 
Ma2td 09.0.5 - @risk - derivação da equação de black-scholes
Ma2td   09.0.5 - @risk - derivação da equação de black-scholesMa2td   09.0.5 - @risk - derivação da equação de black-scholes
Ma2td 09.0.5 - @risk - derivação da equação de black-scholesGustavo Mirapalheta
 
Sequencias e series
Sequencias e seriesSequencias e series
Sequencias e seriesRodrigo Jrs
 
57701066 matematica-discreta-exercicios-resolvidos
57701066 matematica-discreta-exercicios-resolvidos57701066 matematica-discreta-exercicios-resolvidos
57701066 matematica-discreta-exercicios-resolvidosHAROLDO MIRANDA DA COSTA JR
 
Equações de recorrência - II (Otimização)
Equações de recorrência - II (Otimização)Equações de recorrência - II (Otimização)
Equações de recorrência - II (Otimização)Jedson Guedes
 
Binômio de newton e triângulo de pascal
Binômio de newton e triângulo de pascalBinômio de newton e triângulo de pascal
Binômio de newton e triângulo de pascalespacoaberto
 
Sequencias e series unicamp
Sequencias e series   unicampSequencias e series   unicamp
Sequencias e series unicampLuis Gustavo
 
Radicais e-racionalizacao-v1-3
Radicais e-racionalizacao-v1-3Radicais e-racionalizacao-v1-3
Radicais e-racionalizacao-v1-3Claudemar Chirnev
 
Sucessoes e series com res
Sucessoes e series com resSucessoes e series com res
Sucessoes e series com resMaths Tutoring
 
apostila_-_revisao_operacoes_fundamentais.pdf
apostila_-_revisao_operacoes_fundamentais.pdfapostila_-_revisao_operacoes_fundamentais.pdf
apostila_-_revisao_operacoes_fundamentais.pdfangelicaalves44
 
Mapa mental todas as materias
Mapa mental todas as materiasMapa mental todas as materias
Mapa mental todas as materiasCleuvânia Dias
 
Apostila matematica
Apostila matematicaApostila matematica
Apostila matematicaJ M
 
Unprotected apostila-matematica
Unprotected apostila-matematicaUnprotected apostila-matematica
Unprotected apostila-matematicaJ M
 
Intro teoria dos números cap2
Intro teoria dos  números cap2Intro teoria dos  números cap2
Intro teoria dos números cap2Paulo Martins
 

Similar a Recorrência: métodos para resolver relações de recorrência (20)

Relações de recorrência
Relações de recorrênciaRelações de recorrência
Relações de recorrência
 
Ma2td 09.0.5 - @risk - derivação da equação de black-scholes
Ma2td   09.0.5 - @risk - derivação da equação de black-scholesMa2td   09.0.5 - @risk - derivação da equação de black-scholes
Ma2td 09.0.5 - @risk - derivação da equação de black-scholes
 
Ma2td 09.0.5 - @risk - derivação da equação de black-scholes
Ma2td   09.0.5 - @risk - derivação da equação de black-scholesMa2td   09.0.5 - @risk - derivação da equação de black-scholes
Ma2td 09.0.5 - @risk - derivação da equação de black-scholes
 
Sequencias e series
Sequencias e seriesSequencias e series
Sequencias e series
 
57701066 matematica-discreta-exercicios-resolvidos
57701066 matematica-discreta-exercicios-resolvidos57701066 matematica-discreta-exercicios-resolvidos
57701066 matematica-discreta-exercicios-resolvidos
 
Equações de recorrência - II (Otimização)
Equações de recorrência - II (Otimização)Equações de recorrência - II (Otimização)
Equações de recorrência - II (Otimização)
 
Binômio de newton e triângulo de pascal
Binômio de newton e triângulo de pascalBinômio de newton e triângulo de pascal
Binômio de newton e triângulo de pascal
 
Sequencias e series unicamp
Sequencias e series   unicampSequencias e series   unicamp
Sequencias e series unicamp
 
Radicais e-racionalizacao-v1-3
Radicais e-racionalizacao-v1-3Radicais e-racionalizacao-v1-3
Radicais e-racionalizacao-v1-3
 
Sucessoes e series com res
Sucessoes e series com resSucessoes e series com res
Sucessoes e series com res
 
apostila_-_revisao_operacoes_fundamentais.pdf
apostila_-_revisao_operacoes_fundamentais.pdfapostila_-_revisao_operacoes_fundamentais.pdf
apostila_-_revisao_operacoes_fundamentais.pdf
 
Mapa mental todas as materias
Mapa mental todas as materiasMapa mental todas as materias
Mapa mental todas as materias
 
Calculo1 aula09
Calculo1 aula09Calculo1 aula09
Calculo1 aula09
 
Calculo1 aula09
Calculo1 aula09Calculo1 aula09
Calculo1 aula09
 
Apostila matematica
Apostila matematicaApostila matematica
Apostila matematica
 
Unprotected apostila-matematica
Unprotected apostila-matematicaUnprotected apostila-matematica
Unprotected apostila-matematica
 
SucessõEs 4
SucessõEs 4SucessõEs 4
SucessõEs 4
 
Radiciaçâo
RadiciaçâoRadiciaçâo
Radiciaçâo
 
Intro teoria dos números cap2
Intro teoria dos  números cap2Intro teoria dos  números cap2
Intro teoria dos números cap2
 
Cursocalc1ead
Cursocalc1eadCursocalc1ead
Cursocalc1ead
 

Más de Chromus Master (20)

Webservice
WebserviceWebservice
Webservice
 
Windows 7
Windows 7Windows 7
Windows 7
 
Usb remoção
Usb remoçãoUsb remoção
Usb remoção
 
Disco rígido
Disco rígidoDisco rígido
Disco rígido
 
Windows x Linux
Windows x LinuxWindows x Linux
Windows x Linux
 
Licenças de software
Licenças de softwareLicenças de software
Licenças de software
 
Arquiteturas PC X MAC
Arquiteturas PC X MACArquiteturas PC X MAC
Arquiteturas PC X MAC
 
Álgebra de Boole
Álgebra de BooleÁlgebra de Boole
Álgebra de Boole
 
Relações
RelaçõesRelações
Relações
 
Análise Combinatória
Análise CombinatóriaAnálise Combinatória
Análise Combinatória
 
Princípios de Contagem
Princípios de ContagemPrincípios de Contagem
Princípios de Contagem
 
Teoria dos Conjuntos
Teoria dos ConjuntosTeoria dos Conjuntos
Teoria dos Conjuntos
 
Demonstrações
DemonstraçõesDemonstrações
Demonstrações
 
Lógica Formal
Lógica FormalLógica Formal
Lógica Formal
 
Introdução a Teoria dos Grafos
Introdução a Teoria dos GrafosIntrodução a Teoria dos Grafos
Introdução a Teoria dos Grafos
 
Urbanização
UrbanizaçãoUrbanização
Urbanização
 
Guerra fria
Guerra friaGuerra fria
Guerra fria
 
Guerra mascates
Guerra mascatesGuerra mascates
Guerra mascates
 
Reformas pombalinas
Reformas pombalinasReformas pombalinas
Reformas pombalinas
 
Economia colonial
Economia colonialEconomia colonial
Economia colonial
 

Último

A horta do Senhor Lobo que protege a sua horta.
A horta do Senhor Lobo que protege a sua horta.A horta do Senhor Lobo que protege a sua horta.
A horta do Senhor Lobo que protege a sua horta.silves15
 
ANTIGUIDADE CLÁSSICA - Grécia e Roma Antiga
ANTIGUIDADE CLÁSSICA - Grécia e Roma AntigaANTIGUIDADE CLÁSSICA - Grécia e Roma Antiga
ANTIGUIDADE CLÁSSICA - Grécia e Roma AntigaJúlio Sandes
 
ATIVIDADE AVALIATIVA VOZES VERBAIS 7º ano.pptx
ATIVIDADE AVALIATIVA VOZES VERBAIS 7º ano.pptxATIVIDADE AVALIATIVA VOZES VERBAIS 7º ano.pptx
ATIVIDADE AVALIATIVA VOZES VERBAIS 7º ano.pptxOsnilReis1
 
Música Meu Abrigo - Texto e atividade
Música   Meu   Abrigo  -   Texto e atividadeMúsica   Meu   Abrigo  -   Texto e atividade
Música Meu Abrigo - Texto e atividadeMary Alvarenga
 
ALMANANHE DE BRINCADEIRAS - 500 atividades escolares
ALMANANHE DE BRINCADEIRAS - 500 atividades escolaresALMANANHE DE BRINCADEIRAS - 500 atividades escolares
ALMANANHE DE BRINCADEIRAS - 500 atividades escolaresLilianPiola
 
LEMBRANDO A MORTE E CELEBRANDO A RESSUREIÇÃO
LEMBRANDO A MORTE E CELEBRANDO A RESSUREIÇÃOLEMBRANDO A MORTE E CELEBRANDO A RESSUREIÇÃO
LEMBRANDO A MORTE E CELEBRANDO A RESSUREIÇÃOColégio Santa Teresinha
 
CRÔNICAS DE UMA TURMA - TURMA DE 9ºANO - EASB
CRÔNICAS DE UMA TURMA - TURMA DE 9ºANO - EASBCRÔNICAS DE UMA TURMA - TURMA DE 9ºANO - EASB
CRÔNICAS DE UMA TURMA - TURMA DE 9ºANO - EASBAline Santana
 
COMPETÊNCIA 1 DA REDAÇÃO DO ENEM - REDAÇÃO ENEM
COMPETÊNCIA 1 DA REDAÇÃO DO ENEM - REDAÇÃO ENEMCOMPETÊNCIA 1 DA REDAÇÃO DO ENEM - REDAÇÃO ENEM
COMPETÊNCIA 1 DA REDAÇÃO DO ENEM - REDAÇÃO ENEMVanessaCavalcante37
 
GÊNERO TEXTUAL - TIRINHAS - Charges - Cartum
GÊNERO TEXTUAL - TIRINHAS - Charges - CartumGÊNERO TEXTUAL - TIRINHAS - Charges - Cartum
GÊNERO TEXTUAL - TIRINHAS - Charges - CartumAugusto Costa
 
Slides 1 - O gênero textual entrevista.pptx
Slides 1 - O gênero textual entrevista.pptxSlides 1 - O gênero textual entrevista.pptx
Slides 1 - O gênero textual entrevista.pptxSilvana Silva
 
Época Realista y la obra de Madame Bovary.
Época Realista y la obra de Madame Bovary.Época Realista y la obra de Madame Bovary.
Época Realista y la obra de Madame Bovary.keislayyovera123
 
D9 RECONHECER GENERO DISCURSIVO SPA.pptx
D9 RECONHECER GENERO DISCURSIVO SPA.pptxD9 RECONHECER GENERO DISCURSIVO SPA.pptx
D9 RECONHECER GENERO DISCURSIVO SPA.pptxRonys4
 
activIDADES CUENTO lobo esta CUENTO CUARTO GRADO
activIDADES CUENTO  lobo esta  CUENTO CUARTO GRADOactivIDADES CUENTO  lobo esta  CUENTO CUARTO GRADO
activIDADES CUENTO lobo esta CUENTO CUARTO GRADOcarolinacespedes23
 
Modelos de Desenvolvimento Motor - Gallahue, Newell e Tani
Modelos de Desenvolvimento Motor - Gallahue, Newell e TaniModelos de Desenvolvimento Motor - Gallahue, Newell e Tani
Modelos de Desenvolvimento Motor - Gallahue, Newell e TaniCassio Meira Jr.
 
A Arte de Escrever Poemas - Dia das Mães
A Arte de Escrever Poemas - Dia das MãesA Arte de Escrever Poemas - Dia das Mães
A Arte de Escrever Poemas - Dia das MãesMary Alvarenga
 
Recurso Casa das Ciências: Sistemas de Partículas
Recurso Casa das Ciências: Sistemas de PartículasRecurso Casa das Ciências: Sistemas de Partículas
Recurso Casa das Ciências: Sistemas de PartículasCasa Ciências
 
UFCD_10392_Intervenção em populações de risco_índice .pdf
UFCD_10392_Intervenção em populações de risco_índice .pdfUFCD_10392_Intervenção em populações de risco_índice .pdf
UFCD_10392_Intervenção em populações de risco_índice .pdfManuais Formação
 
AD2 DIDÁTICA.KARINEROZA.SHAYANNE.BINC.ROBERTA.pptx
AD2 DIDÁTICA.KARINEROZA.SHAYANNE.BINC.ROBERTA.pptxAD2 DIDÁTICA.KARINEROZA.SHAYANNE.BINC.ROBERTA.pptx
AD2 DIDÁTICA.KARINEROZA.SHAYANNE.BINC.ROBERTA.pptxkarinedarozabatista
 
Cenários de Aprendizagem - Estratégia para implementação de práticas pedagógicas
Cenários de Aprendizagem - Estratégia para implementação de práticas pedagógicasCenários de Aprendizagem - Estratégia para implementação de práticas pedagógicas
Cenários de Aprendizagem - Estratégia para implementação de práticas pedagógicasRosalina Simão Nunes
 

Último (20)

A horta do Senhor Lobo que protege a sua horta.
A horta do Senhor Lobo que protege a sua horta.A horta do Senhor Lobo que protege a sua horta.
A horta do Senhor Lobo que protege a sua horta.
 
ANTIGUIDADE CLÁSSICA - Grécia e Roma Antiga
ANTIGUIDADE CLÁSSICA - Grécia e Roma AntigaANTIGUIDADE CLÁSSICA - Grécia e Roma Antiga
ANTIGUIDADE CLÁSSICA - Grécia e Roma Antiga
 
Bullying, sai pra lá
Bullying,  sai pra láBullying,  sai pra lá
Bullying, sai pra lá
 
ATIVIDADE AVALIATIVA VOZES VERBAIS 7º ano.pptx
ATIVIDADE AVALIATIVA VOZES VERBAIS 7º ano.pptxATIVIDADE AVALIATIVA VOZES VERBAIS 7º ano.pptx
ATIVIDADE AVALIATIVA VOZES VERBAIS 7º ano.pptx
 
Música Meu Abrigo - Texto e atividade
Música   Meu   Abrigo  -   Texto e atividadeMúsica   Meu   Abrigo  -   Texto e atividade
Música Meu Abrigo - Texto e atividade
 
ALMANANHE DE BRINCADEIRAS - 500 atividades escolares
ALMANANHE DE BRINCADEIRAS - 500 atividades escolaresALMANANHE DE BRINCADEIRAS - 500 atividades escolares
ALMANANHE DE BRINCADEIRAS - 500 atividades escolares
 
LEMBRANDO A MORTE E CELEBRANDO A RESSUREIÇÃO
LEMBRANDO A MORTE E CELEBRANDO A RESSUREIÇÃOLEMBRANDO A MORTE E CELEBRANDO A RESSUREIÇÃO
LEMBRANDO A MORTE E CELEBRANDO A RESSUREIÇÃO
 
CRÔNICAS DE UMA TURMA - TURMA DE 9ºANO - EASB
CRÔNICAS DE UMA TURMA - TURMA DE 9ºANO - EASBCRÔNICAS DE UMA TURMA - TURMA DE 9ºANO - EASB
CRÔNICAS DE UMA TURMA - TURMA DE 9ºANO - EASB
 
COMPETÊNCIA 1 DA REDAÇÃO DO ENEM - REDAÇÃO ENEM
COMPETÊNCIA 1 DA REDAÇÃO DO ENEM - REDAÇÃO ENEMCOMPETÊNCIA 1 DA REDAÇÃO DO ENEM - REDAÇÃO ENEM
COMPETÊNCIA 1 DA REDAÇÃO DO ENEM - REDAÇÃO ENEM
 
GÊNERO TEXTUAL - TIRINHAS - Charges - Cartum
GÊNERO TEXTUAL - TIRINHAS - Charges - CartumGÊNERO TEXTUAL - TIRINHAS - Charges - Cartum
GÊNERO TEXTUAL - TIRINHAS - Charges - Cartum
 
Slides 1 - O gênero textual entrevista.pptx
Slides 1 - O gênero textual entrevista.pptxSlides 1 - O gênero textual entrevista.pptx
Slides 1 - O gênero textual entrevista.pptx
 
Época Realista y la obra de Madame Bovary.
Época Realista y la obra de Madame Bovary.Época Realista y la obra de Madame Bovary.
Época Realista y la obra de Madame Bovary.
 
D9 RECONHECER GENERO DISCURSIVO SPA.pptx
D9 RECONHECER GENERO DISCURSIVO SPA.pptxD9 RECONHECER GENERO DISCURSIVO SPA.pptx
D9 RECONHECER GENERO DISCURSIVO SPA.pptx
 
activIDADES CUENTO lobo esta CUENTO CUARTO GRADO
activIDADES CUENTO  lobo esta  CUENTO CUARTO GRADOactivIDADES CUENTO  lobo esta  CUENTO CUARTO GRADO
activIDADES CUENTO lobo esta CUENTO CUARTO GRADO
 
Modelos de Desenvolvimento Motor - Gallahue, Newell e Tani
Modelos de Desenvolvimento Motor - Gallahue, Newell e TaniModelos de Desenvolvimento Motor - Gallahue, Newell e Tani
Modelos de Desenvolvimento Motor - Gallahue, Newell e Tani
 
A Arte de Escrever Poemas - Dia das Mães
A Arte de Escrever Poemas - Dia das MãesA Arte de Escrever Poemas - Dia das Mães
A Arte de Escrever Poemas - Dia das Mães
 
Recurso Casa das Ciências: Sistemas de Partículas
Recurso Casa das Ciências: Sistemas de PartículasRecurso Casa das Ciências: Sistemas de Partículas
Recurso Casa das Ciências: Sistemas de Partículas
 
UFCD_10392_Intervenção em populações de risco_índice .pdf
UFCD_10392_Intervenção em populações de risco_índice .pdfUFCD_10392_Intervenção em populações de risco_índice .pdf
UFCD_10392_Intervenção em populações de risco_índice .pdf
 
AD2 DIDÁTICA.KARINEROZA.SHAYANNE.BINC.ROBERTA.pptx
AD2 DIDÁTICA.KARINEROZA.SHAYANNE.BINC.ROBERTA.pptxAD2 DIDÁTICA.KARINEROZA.SHAYANNE.BINC.ROBERTA.pptx
AD2 DIDÁTICA.KARINEROZA.SHAYANNE.BINC.ROBERTA.pptx
 
Cenários de Aprendizagem - Estratégia para implementação de práticas pedagógicas
Cenários de Aprendizagem - Estratégia para implementação de práticas pedagógicasCenários de Aprendizagem - Estratégia para implementação de práticas pedagógicas
Cenários de Aprendizagem - Estratégia para implementação de práticas pedagógicas
 

Recorrência: métodos para resolver relações de recorrência

  • 2. Sumário • Definições Recorrentes ‣ Seqüências, conjuntos e operações • Resolução de Relações de Recorrência
  • 3. Definições Recorrentes • Uma definição recorrente é uma definição onde o item sendo definido aparece como parte da definição. ‣ definir algo em termos de si mesmo • Exemplo: definição recorrente de fatorial
  • 4. Partes de uma Definição Recorrente • Base (ou condição básica) ‣ casos elementares definidos explicitamente • Recorrência (ou passo indutivo) ‣ demais casos definidos em função dos casos elementares
  • 5. • Recorrência é uma conceito importante que pode ser usado para definir: ‣ seqüências ‣ conjuntos ‣ operações ‣ algoritmos
  • 6. Seqüências • Uma seqüência é uma lista ordenada de elementos • Exemplo: ‣ S = 2, 4, 8, 16, 32, ... ‣ S(1) = 2, S(4) = 16
  • 7. Seqüências Definidas por Recorrência • Uma seqüência é definida por recorrência nomeando-se, explicitamente, o primeiro elemento na seqüência e depois definindo- se os demais elementos em termos dos anteriores • Exemplo (S = 2, 4, 8, 16, 32, ...) ‣ S(1) = 2 ‣ S(n) = 2 * S(n-1), para n ≥ 2
  • 8. Exercício • Escreve os cinco primeiros valores da seqüência T definida a seguir ‣ T(1) = 1 ‣ T(n) = T(n-1) + 3
  • 9. Seqüência de Fibonacci • É uma seqüência de números definida por recorrência como a seguir: ‣ F(1) = 1 ‣ F(2) = 1 ‣ F(n) = F(n-1) + F(n-2), para n ≥ 3 • Escreva os 8 primeiros termos da seqüência de Fibonacci.
  • 10. Conjuntos • Um conjunto é uma coleção de objetos ‣ não há nenhuma ordem imposta à coleção • Conjuntos podem ser definidos por relações de recorrência. ‣ Base: objetos elementares do conjunto ‣ Recorrência: regra para composição de novos objetos do conjunto
  • 11. Exemplo • Definição recorrente do conjunto das fórmulas proposicionais bem formuladas (FBF) ‣ Base: uma proposição é uma FBF ‣ Recorrência: se P e Q são FBFs então P ∧ Q, P ∨ Q, P → Q, P′, e P Q também são FBFs
  • 12. Operações Definidas por Recorrência • Certas operações podem ser definidas de forma recorrente • Exemplo: definição recorrente da exponenciação an ‣ a0 = 1 ‣ an = a * an-1, para n ≥ 1
  • 13. Definições Recorrentes Seqüência Pelo menos o primeiro valor é definido explicitamente; os demais valores são definidos em termos dos anteriores. Conjunto Pelo menos um elemento do conjunto é definido explicitamente; os demais elementos são construídos a partir de elementos que pertencem ao conjunto. Operação Um caso trivial (elementar) é definido explicitamente; demais casos são calculados a partir de casos menores.
  • 14. Exercícios • Escreve os cinco primeiros valores da seqüência M a seguir: ‣ M(1) = 2 ‣ M(2) = 2 ‣ M(n) = 2*M(n-1) + M(n-2) • Considerando a série de Fibonacci, prove que F(n+1) + F(n-2) = 2F(n), para n≥3
  • 15. Considere a seqüência S definida por recorrência: S(1) = 2 S(n) = 2*S(n-1) Existe uma equação na qual podemos substituir o valor de n e calcular diretamente o valor de S(n) sem ter que calcular os valores anteriores?
  • 16. Considere a seqüência S definida por recorrência: S(1) = 2 S(n) = 2*S(n-1) Existe uma equação na qual podemos substituir o valor de n e calcular diretamente o valor de S(n) sem ter que calcular os valores anteriores? S(n) = 2n
  • 17. Resolvendo Relações de Recorrência • Resolver uma relação de recorrência significa encontrar para ela uma solução em forma fechada. • Uma solução em forma fechada para uma relação de recorrência sujeita a uma condição básica é uma equação na qual podemos substituir um valor para calcular diretamente o elemento que queremos.
  • 18. Estratégias para Resolução de Recorrências • Método “expandir, conjecturar e verificar” • Solução geral ‣ no caso de uma relação de recorrência linear de primeira ordem.
  • 19. “Expandir, conjecturar e verificar” • Consiste em usar repetidamente a relação de recorrência para expandir a expressão do n-ésimo termo até que seja possível perceber uma equação para a solução em forma fechada. • É preciso verificar a equação encontrada ‣ em geral, a verificação pode ser feita por indução
  • 20. Exemplo • Considere a condição básica e a relação de recorrência para a seqüência S a seguir: ‣ S(1) = 2 ‣ S(n) = 2 * S(n-1) • Encontre a solução em forma fechada para a relação de recorrência.
  • 21. Passo 1: Expandir S(n) = 2 * S(n-1)
  • 22. Passo 1: Expandir S(n) = 2 * S(n-1) = 2 * 2 * S(n-2)
  • 23. Passo 1: Expandir S(n) = 2 * S(n-1) = 2 * 2 * S(n-2) = 2 * 2 * 2 * S(n-3)
  • 24. Passo 1: Expandir S(n) = 2 * S(n-1) = 2 * 2 * S(n-2) = 2 * 2 * 2 * S(n-3) = 2 * 2 * 2 * 2 * S(n-4)
  • 25. Passo 2: Conjecturar S(n) = 2 * S(n-1) = 2 * 2 * S(n-2) = 2 * 2 * 2 * S(n-3) = 2 * 2 * 2 * 2 * S(n-4) Após k, expansões
  • 26. Passo 2: Conjecturar S(n) = 2 * S(n-1) = 2 * 2 * S(n-2) = 2 * 2 * 2 * S(n-3) = 2 * 2 * 2 * 2 * S(n-4) ... = 2k * S(n-k) Após k, expansões
  • 27. S(n) = 2k * S(n-k) Podemos continuar com a expansão indefinidamente ou existe um limite para k?
  • 28. S(n) = 2k * S(n-k) Podemos continuar com a expansão indefinidamente ou existe um limite para k? O limite é o caso base S(1), ou seja, n-k = 1 ⇓ k = n-1
  • 29. S(n) = 2k * S(n-k) Podemos continuar com a expansão indefinidamente ou existe um limite para k? O limite é o caso base S(1), ou seja, n-k = 1 ⇓ k = n-1 ⇓ S(n) = 2n-1 * S[n-(n-1)] = 2n-1 * S[1] = 2n-1 * 2 = 2n
  • 30. Passo 3: Verificar • Por raciocínio indutivo, inferimos que a solução em forma fechada é S(n) = 2n. • Ainda é preciso demonstrar que, de fato, S(n) = 2n, para todo n ≥ 1. ‣ podemos fazer isso por indução em n.
  • 31. Estratégias para Resolução de Recorrências • Método “expandir, conjecturar e verificar” • Solução geral ‣ no caso de uma relação de recorrência linear de primeira ordem.
  • 32. Recorrência Linear • Uma relação de recorrência para uma seqüência S(n) é denominada linear se os valores anteriores de S aparecem na relação apenas na primeira potência. • Forma geral: ‣ S(n) = f1(n)S(n-1)+f2(n)S(n-2)+...+fk(n)S(n-k)+g(n)
  • 33. Recorrência de Primeira Ordem • Uma relação de recorrência para uma seqüência S(n) é de primeira ordem se o cálculo do termo n depende apenas do termo n-1. • Forma geral: ‣ S(n) = f1(n) S(n-1) + g(n)
  • 34. Solução Geral • Utilizando o método “expandir, conjecturar e verificar”, podemos encontrar uma solução em forma fechada geral para relações de recorrência lineares de primeira ordem com coeficientes constantes. • Solução geral para ‣ S(n) = cS(n − 1) + g(n) S(n) = cn−1 S(1) + n i=2 cn−i g(i)
  • 35. Exemplo S(n) = cS(n − 1) + g(n) ⇓ S(n) = 2S(n − 1) c = 2 e g(n) = 0 S(n) = 2n−1 S(1) + n i=2 2n−1 0 = 2n−1 2 + n i=2 0 = 2n−1 2 + 0 = 2n S(n) = cn−1 S(1) + n i=2 cn−i g(i) i
  • 36. Métodos para resolver relações de recorrência Método Passos “Expandir, conjecturar e verificar” 1.Expandir a recorrência até que seja possível inferir um padrão; 2.Determinar o padrão para k = n-1; 3.Demonstrar a fórmula resultante por indução. Solução Geral 1.Escrever a recorrência na forma 2.Substitua c, S(1) e g(n) na fórmula geral 3.Calcule o somatório para obter a fórmula final S(n) = cS(n − 1) + g(n) S(n) = cn−1 S(1) + n i=2 cn−i g(i)
  • 37. Exemplo: Solução Geral • Considere a seqüência T como definida a seguir: ‣ T(1) = 2 ‣ T(n) = T(n-1) + n + 1 • Encontre a solução em forma fechada para a relação de recorrência, utilizando o método da solução geral.