Considere o algoritmo em pseudocódigo abaixo, que
computa, dados dois inteiros, uma sequência de
inteiros.
Leia(n,a)
enquanto n!=1 faça:
imprima n
se (n mod 2)=0 então:
n:=n div 2
senão:
n:=a*n+1
imprima n
Sobre a sequência impressa, dados os valores de n e
de a especificados, analise as proposições a seguir.
1) Para n=6 e a=3, a sequência gerada é: 6 3 10 5 16
8 4 2 1.
2) Para n uma potência de 2, n=2k para algum k
inteiro; para qualquer valor de a, a sequência
gerada são as potências de 2 de 2k até 1.
3) Para n=9 e a=3, a sequência gerada é: 14 7 22 11
33 17 52 26 13 40 20 10 5 16 8 4 2 1.
4) Se n não for uma potência de 2, com a=2 o
algoritmo não para, gerando uma sequência
infinita.
5) Com a=5, se n=17 o programa fica em laço infinito
na sequência 17 86 43 216 108 54 27 136 68 34.
Estão corretas, apenas: