![Page 1: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/1.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Análise Projeto de Algoritmos
Loana Tito Nogueira 19-Março-2012
![Page 2: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/2.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Indução Matemática
• Na Demonstração por Indução, queremos demonstrar a validade de P(n), uma propriedade P com um parâmetro natural n associado, para todo valor de n
![Page 3: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/3.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Indução Matemática
• Na Demonstração por Indução, queremos demonstrar a validade de P(n), uma propriedade P com um parâmetro natural n associado, para todo valor de n
• Há um número infinito de casos a serem considerados, um para cada valor de n. Demonstramos os infinitos casos de uma só vez:
![Page 4: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/4.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Indução Matemática
• Na Demonstração por Indução, queremos demonstrar a validade de P(n), uma propriedade P com um parâmetro natural n associado, para todo valor de n
• Há um número infinito de casos a serem considerados, um para cada valor de n. Demonstramos os infinitos casos de uma só vez: • Base da Indução: Demonstramos P(1)
![Page 5: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/5.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Indução Matemática
• Na Demonstração por Indução, queremos demonstrar a validade de P(n), uma propriedade P com um parâmetro natural n associado, para todo valor de n
• Há um número infinito de casos a serem considerados, um para cada valor de n. Demonstramos os infinitos casos de uma só vez: • Base da Indução: Demonstramos P(1) • Hipótese de Indução: Supomos que P(n) é verdadeiro
![Page 6: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/6.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Indução Matemática
• Na Demonstração por Indução, queremos demonstrar a validade de P(n), uma propriedade P com um parâmetro natural n associado, para todo valor de n
• Há um número infinito de casos a serem considerados, um para cada valor de n. Demonstramos os infinitos casos de uma só vez: • Base da Indução: Demonstramos P(1) • Hipótese de Indução: Supomos que P(n) é verdadeiro • Passo de Indução: Provamos que P(n+1) é verdadeiro, a
partir da hipótese de indução
![Page 7: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/7.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Exemplo: Prove, por indução, Σi=1 (2i-1) = k2 k
![Page 8: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/8.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Indução Forte X Indução Fraca
• A indução forte difere da indução fraca (ou simples) apenas na suposição da hipótese
• No caso da indução forte, devemos supor que a propriedade vale para todos os casos anteriores, não somente para o anterior, ou seja:
• Base da indução: demonstramos P(1) • Hipótese de Indução Forte: Supomos que P(k) é
verdadeiro, para todo k ≤ n • Passo da Indução: Provamos que P(n) é verdadeiro a partir
da Hipótese de Indução
![Page 9: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/9.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Exercícios:
• 1- Demonstre que para todo natural x e n, xn – 1 é divisível por x- 1
• Mostre que Σi=1 3+5i = 2,5n2 + 5.5n
• Mostre que Σi=1 i = n(n+1)/2
• Prove que todo número pode ser escrito como a soma de diferentes potências de 2.
n
n
![Page 10: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/10.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Torre de Hanói
![Page 11: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/11.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Torre de Hanói
A B C
![Page 12: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/12.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Torre de Hanói
A B C
![Page 13: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/13.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Torre de Hanói
A B C auxiliar
![Page 14: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/14.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Torre de Hanói - Algoritmo
Algoritmo HANOI(n, de A para B usando C) [Torre de Hanoi, n Discos] Início [1] Se n=1 então A → B Caso contrário Início [2] HANOI(n-1, de A para C usando B); [3] A → B; [4] HANOI(N-1, DE C PARA B USANDO A) Fim; Fim.
![Page 15: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/15.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Torre de Hanói - Algoritmo
Algoritmo HANOI(n, de A para B usando C) [Torre de Hanoi, n Discos] Início [1] Se n=1 então A → B Caso contrário Início [2] HANOI(n-1, de A para C usando B); [3] A → B; [4] HANOI(N-1, DE C PARA B USANDO A) Fim; Fim.
![Page 16: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/16.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Torre de Hanói - Algoritmo
Algoritmo HANOI(n, de A para B usando C) [Torre de Hanoi, n Discos] Início [1] Se n=1 então A → B Caso contrário Início [2] HANOI(n-1, de A para C usando B); [3] A → B; [4] HANOI(N-1, DE C PARA B USANDO A) Fim; Fim.
A B C
![Page 17: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/17.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Torre de Hanói - Algoritmo
Algoritmo HANOI(n, de A para B usando C) [Torre de Hanoi, n Discos] Início [1] Se n=1 então A → B Caso contrário Início [2] HANOI(n-1, de A para C usando B); [3] A → B; [4] HANOI(N-1, DE C PARA B USANDO A) Fim; Fim.
A B C
![Page 18: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/18.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Torre de Hanói - Algoritmo
Algoritmo HANOI(n, de A para B usando C) [Torre de Hanoi, n Discos] Início [1] Se n=1 então A → B Caso contrário Início [2] HANOI(n-1, de A para C usando B); [3] A → B; [4] HANOI(N-1, DE C PARA B USANDO A) Fim; Fim.
![Page 19: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/19.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Torre de Hanói - Algoritmo
Algoritmo HANOI(n, de A para B usando C) [Torre de Hanoi, n Discos] Início [1] Se n=1 então A → B Caso contrário Início [2] HANOI(n-1, de A para C usando B); [3] A → B; [4] HANOI(N-1, DE C PARA B USANDO A) Fim; Fim. A B C
![Page 20: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/20.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Torre de Hanói - Algoritmo
Algoritmo HANOI(n, de A para B usando C) [Torre de Hanoi, n Discos] Início [1] Se n=1 então A → B Caso contrário Início [2] HANOI(n-1, de A para C usando B); [3] A → B; [4] HANOI(N-1, DE C PARA B USANDO A) Fim; Fim. A B C
n-1 discos
![Page 21: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/21.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Torre de Hanói - Algoritmo
Algoritmo HANOI(n, de A para B usando C) [Torre de Hanoi, n Discos] Início [1] Se n=1 então A → B Caso contrário Início [2] HANOI(n-1, de A para C usando B); [3] A → B; [4] HANOI(N-1, DE C PARA B USANDO A) Fim; Fim. A B C
HANOI(n-1, de A para C usando B);
![Page 22: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/22.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Torre de Hanói - Algoritmo
Algoritmo HANOI(n, de A para B usando C) [Torre de Hanoi, n Discos] Início [1] Se n=1 então A → B Caso contrário Início [2] HANOI(n-1, de A para C usando B); [3] A → B; [4] HANOI(N-1, DE C PARA B USANDO A) Fim; Fim. A B C
A→B
![Page 23: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/23.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Torre de Hanói - Algoritmo
Algoritmo HANOI(n, de A para B usando C) [Torre de Hanoi, n Discos] Início [1] Se n=1 então A → B Caso contrário Início [2] HANOI(n-1, de A para C usando B); [3] A → B; [4] HANOI(N-1, DE C PARA B USANDO A) Fim; Fim. A B C
n-1 discos
![Page 24: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/24.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Torre de Hanói - Algoritmo
Algoritmo HANOI(n, de A para B usando C) [Torre de Hanoi, n Discos] Início [1] Se n=1 então A → B Caso contrário Início [2] HANOI(n-1, de A para C usando B); [3] A → B; [4] HANOI(N-1, DE C PARA B USANDO A) Fim; Fim. A B C
HANOI(n-1, de C para B usando A);
![Page 25: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/25.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Torre de Hanói - Algoritmo
Algoritmo HANOI(n, de A para B usando C) [Torre de Hanoi, n Discos] Início [1] Se n=1 então A → B Caso contrário Início [2] HANOI(n-1, de A para C usando B); [3] A → B; [4] HANOI(N-1, DE C PARA B USANDO A) Fim; Fim.
![Page 26: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/26.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
O Algoritmo recursivo HANOI resolve o problema das Torres de Hanoi com n discos
![Page 27: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/27.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
O Algoritmo recursivo HANOI resolve o problema das Torres de Hanoi com n discos
• Prova (por indução) • Base da indução
• Hipótese Indutiva
• Passo da Indução
![Page 28: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/28.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
O Algoritmo recursivo HANOI resolve o problema das Torres de Hanoi com n discos
• Prova (por indução) • Base da indução n=1 (um único disco)
• Hipótese Indutiva
• Passo da Indução
![Page 29: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/29.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
O Algoritmo recursivo HANOI resolve o problema das Torres de Hanoi com n discos
• Prova (por indução) • Base da indução n=1 (um único disco)
Algoritmo HANOI(n, de A para B usando C) [Torre de Hanoi, n Discos] Início [1] Se n=1 então A → B Caso contrário Início [2] HANOI(n-1, de A para C usando B); [3] A → B; [4] HANOI(N-1, DE C PARA B USANDO A) Fim; Fim.
![Page 30: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/30.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
O Algoritmo recursivo HANOI resolve o problema das Torres de Hanoi com n discos
• Prova (por indução) • Base da indução n=1 (um único disco) OK!!
• Hipótese Indutiva
• Passo da Indução
![Page 31: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/31.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
O Algoritmo recursivo HANOI resolve o problema das Torres de Hanoi com n discos
• Prova (por indução) • Base da indução n=1 (um único disco) OK!!
• Hipótese Indutiva: O algoritmo funciona corretamente para n-1 discos (os n-1 discos são movidos corretamente de A para Z)
• Passo da Indução:
![Page 32: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/32.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
O Algoritmo recursivo HANOI resolve o problema das Torres de Hanoi com n discos
• Prova (por indução) • Base da indução n=1 (um único disco) OK!!
• Hipótese Indutiva: O algoritmo funciona corretamente para n-1 discos (os n-1 discos são movidos corretamente de A para Z)
• Passo da Indução:suponha que o suporte X tem n>1 discos inicialmente
![Page 33: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/33.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
O Algoritmo recursivo HANOI resolve o problema das Torres de Hanoi com n discos
• Prova (por indução) • Base da indução n=1 (um único disco) OK!!
• Hipótese Indutiva: O algoritmo funciona corretamente para n-1 discos (os n-1 discos são movidos corretamente de A para Z)
• Passo da Indução:suponha que o suporte X tem n>1 discos inicialmente .
.
.
![Page 34: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/34.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Recorrência
• É uma equação ou desigualdade que descreve uma função em termos de seus valores em entradas menores.
![Page 35: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/35.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Recorrência
• É uma equação ou desigualdade que descreve uma função em termos de seus valores em entradas menores.
• Quando um algoritmo contém uma chamada recursiva a ele próprio, seu tempo de execução pode freqüentemente ser descrito por uma recorrência.
![Page 36: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/36.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Exemplo: Torre de Hanói
Algoritmo HANOI(n, de A para B usando C) [Torre de Hanoi, n Discos] Início [1] Se n=1 então A → B Caso contrário Início [2] HANOI(n-1, de A para C usando B); [3] A → B; [4] HANOI(N-1, DE C PARA B USANDO A) Fim; Fim
![Page 37: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/37.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Exemplo: Torre de Hanói
Algoritmo HANOI(n, de A para B usando C) [Torre de Hanoi, n Discos] Início [1] Se n=1 então A → B Caso contrário Início [2] HANOI(n-1, de A para C usando B); [3] A → B; [4] HANOI(N-1, DE C PARA B USANDO A) Fim; Fim
(1)
![Page 38: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/38.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Exemplo: Torre de Hanói
Algoritmo HANOI(n, de A para B usando C) [Torre de Hanoi, n Discos] Início [1] Se n=1 então A → B Caso contrário Início [2] HANOI(n-1, de A para C usando B); [3] A → B; [4] HANOI(N-1, DE C PARA B USANDO A) Fim; Fim
(1)
T(n-1)
![Page 39: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/39.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Exemplo: Torre de Hanói
Algoritmo HANOI(n, de A para B usando C) [Torre de Hanoi, n Discos] Início [1] Se n=1 então A → B Caso contrário Início [2] HANOI(n-1, de A para C usando B); [3] A → B; [4] HANOI(N-1, DE C PARA B USANDO A) Fim; Fim
(1)
T(n-1) (1)
![Page 40: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/40.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Exemplo: Torre de Hanói
Algoritmo HANOI(n, de A para B usando C) [Torre de Hanoi, n Discos] Início [1] Se n=1 então A → B Caso contrário Início [2] HANOI(n-1, de A para C usando B); [3] A → B; [4] HANOI(N-1, DE C PARA B USANDO A) Fim; Fim
(1)
T(n-1) (1)
T(n-1)
![Page 41: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/41.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Exemplo: Torre de Hanói
1, se n = 1 2T(n-1) +1, se n > 1 T(n) = {
![Page 42: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/42.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Exemplo: Torre de Hanói
1, se n = 1 2T(n-1) +1, se n > 1 T(n) = {
Lembre-se que Σ aj = an+1 – 1 j=1
n
n-1
![Page 43: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/43.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Resolvendo algumas recorrências
1, se n = 1 2T(n/2) +1, se n > 1 T(n) = {
![Page 44: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/44.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Resolvendo algumas recorrências
1, se n = 1 2T(n/2) +n2, se n > 1 T(n) = {
![Page 45: Análise Projeto de Algoritmos Loana Tito Nogueira 19-Março ...loana/teaching/analise-e-projeto-de-algori/... · Loana Tito Nogueira Análise e Síntese de Algoritmos Indução Matemática](https://reader034.vdocuments.pub/reader034/viewer/2022042808/5f84b8728422f0550e456793/html5/thumbnails/45.jpg)
Análise e Síntese de Algoritmos Loana Tito Nogueira
Resolvendo algumas recorrências
1, se n = 1 2T(n/2) +n, se n > 1 T(n) = {