Você está na página 1de 6

Anlise de Algoritmos

Discente: Luiz Henrique Mardegan


01) Prove por induo matemtica para qualquer nmero natural no nulo tem-se

para .
Prova, por induo em .
Base da induo: .
Nesse caso, os dois lados da identidade valem e portanto so iguais.
Passo da induo: .
Por hiptese de induo,


Portanto,

)
(


02) Prove por induo matemtica para qualquer nmero natural no nulo tem-se

para .
Para temos que , o que obviamente verdade.
Para provar o passo de induo supomos que a afirmao vlida para e provemos para . Temos
que:



E fica ento provado o passo de induo, o que completa a demonstrao.
03) Prove por induo matemtica que

para .
Passo base: Para , e

. O passo base verdadeiro.


Passo indutivo: se a frmula verdadeira para , ento deve ser verdadeira para .
Hiptese indutiva:


Deve-se mostrar que:

[ ]

Sabe-se que:




04) Prove por induo matemtica que

inteiros .
Passo base: Para n = 2,

. O passo
base verdadeiro.
Passo indutivo: se a frmula verdadeira para n = k, k 2 ento deve ser verdadeira para n = k+1.
Hiptese indutiva:


Deve-se mostrar que:


Sabe-se que:

[ ]


05) Ache a frmula fechada para a soma: .
Somando os primeiros termos e simplificando temos que:


O que leva a conjectura que para todos os inteiros positivos ,



Passo base: Para ,

, que o valor da frmula fechada. O passo base verdadeiro.


Passo indutivo: se a frmula verdadeira para , ento deve ser verdadeira para .
Hiptese indutiva:



Deve-se mostrar que:




Sabe-se que:




06) Ache a frmula fechada para o produto: (

) (

) (

) (

), inteiros e
prove o resultado por induo matemtica.
Seja a suposio que
(

) (

) (

) (

) (


inteiros . Deve-se provar que de fato essa suposio verdadeira.
Passo base: Para n = 2, (

e a frmula fechada vale

. O passo base
verdadeiro.
Passo indutivo: se a frmula verdadeira para , ento deve ser verdadeira para .
Hiptese indutiva:
(

) (

) (

) (

) (


Deve-se mostrar que:
(

) (

) (

) (

)(


) (



Sabe-se que:
(


)
(

) (


)
(

) (


)



08) Prove por induo matemtica que a soma

.
Supomos que a frmula vlida para um certo e provamos que nesse caso tambm vlida para .
Fazemos isto do seguinte modo:

.
Mas estamos a supor a frmula vlida para , ou seja, que

.
Ento:
(

.
Provamos assim o chamado passo de induo, ou seja, que se a frmula se verifica para um inteiro se
verifica para o seguinte. Mas como a frmula vlida para , vlida para , e como vlida
para , vlida para e assim sucessivamente, sendo vlida para todos os inteiros.
01) construir e analisar o algoritmo para realizar a separao de uma lista de n valores presentes
em um vetor em elementos pares e impares.
algoritmo organizaVetor (vetor V, tamanho n)
Entrada: Um vetor V com n>=1 elementos inteiros.
Sada: vetor V com valores pares e mpares separados.

inteiro i, j;
i <- 1;
j <- n;
faa
enquanto V[i] par faa i++;
enquanto V[j] mpar faa j++;
troca V[i] e V[j];
i++;
j++;
enquanto (i<j);
retorne V;
fim_algorimo
02) Construir e analisar o algoritmo para realizar a transposio de uma matriz n x m.
algoritmo transposta (matriz M, tamanho n)
Entrada: Uma matriz M com n>=1 elementos inteiros. (matriz)
Sada: Matriz transposta de M.

inteiro i, j, aux;
para i de 1 at n-1 faa
para j de i-1 at n faa
aux <- M[i, j];
M[i, j] <- M[j, i];
M[j, i] <- aux;
fim_para
fim_para
retorna M;
fim_algoritmo
03) Construir e analisar o algoritmo para realizar a multiplicao de matrizes n x m.
algoritmo multiplica (matriz A, matriz B, tamanho n)
Entrada: Duas matrizes A e B com n>=1 elementos inteiros.
Sada: Uma matriz C correspondente a multiplicao de A e B.

inteiro i, j, k;
Mat C <- 0;
para i de 1 a n
para j de 1 a n
para k de 1 a n
C[i,j] += A[i,k] * B[k,j];
retorna C;
fim_algoritmo
04) Construa e analisar o algoritmo para realizar ordenao de um vetor de tamanho n utilizando
o bubble sort.
algoritmo bubble (vetor V, tamanho n)
Entrada: Um vetor V com n>=1 elementos inteiros.
Sada: Vetor V ordenado de forma decrescente.

inteiro i, j, aux;
para i de 1 ate 4 faa
para j de i + 1 ate 5 faa
se(V[i] > V[j]) ento
aux <- V[i]
V[i] <- V[j]
V[j] <- aux
fim_se
fim_para
fim_para
retorna V;
fim_algoritmo