Escolar Documentos
Profissional Documentos
Cultura Documentos
Matemática
I. O jogo
A Torre de Hanói consiste de uma base com três pinos e um certo número n de discos de
diâmetros diferentes, colocados um sobre o outro em um dos pinos, em ordem
decrescente de seus diâmetros, de baixo para cima, como na figura abaixo, em que n=6.
laetitiasilva.blogspot.com
O jogo consiste em transferir a torre de discos para um dos outros dois pinos,
movimentando um disco de cada vez, utilizando-se um dos pinos livres como auxiliar e
nunca colocando um disco sobre outro de diâmetro menor.
evelinedocinho.blogspot.com
Se o número de discos fosse n=2, claramente seriam necessários 3 movimentos. Verifique!
Dá para perceber isso na figura acima ao movermos os discos vermelho e preto para a
haste do meio.
E se n=6? Deixo para você concluir que o número de movimentos necessários para se
resolver o jogo da Torre de Hanói com 6 discos será 31+1+31=63.
Esses exemplos particulares permitem concluir que se o problema com n discos se resolve
com N movimentos, então o problema com n+1 discos se resolve com N+1+N = 2N+1
movimentos, pois é necessário liberar o disco maior, de baixo, sempre, com o
deslocamento dos n discos acima dele através de N movimentos. Depois, colocamos esse
disco grande no pino vazio com 1 movimento e, finalmente, movemos os n discos para
cima desse grande com mais N movimentos.
Esses casos particulares e essa conclusão geral, permitem que montemos a seguinte tabela
e façamos a conjectura que dela segue:
Bem, para encontrarmos a próxima linha da tabela, é fácil: quando n=9, então N será
255.2+1=511. Mas se quisermos N quando n for 26? Chegaríamos à resposta apenas
depois de termos passado por n=10, 11, 12, ... , 23, 24 e 25, um trabalho considerável.
Neste ponto, vamos parar para refletir: mesmo que a tabela acima tivesse mil linhas e essa
fórmula fosse verificada nesses mil casos, não poderíamos garantir que a fórmula valeria
para qualquer número natural n.
A versão que utilizaremos do PIM, abordada aqui de forma intuitiva, afirma o seguinte:
(a) 1 é um elemento de A;
(b) Se A contém um número qualquer x, então ele contém também o número x+1.
Pense um pouco sobre a afirmação acima e tente convencer-se de que ela deve ser mesmo
verdadeira. Vou tentar ajudar: primeiro, entenda bem que o conjunto A foi dado como
satisfazendo as duas condições (a) e (b). Assim, pela condição (a), o conjunto A contém o
número 1. Mas, pela condição (b), A deverá, então, conter o número 2 (já que contém o 1 e
2=1+1). Como ele contém o 2, pela condição (b), A deverá conter também o número
3=2+1. Mas a condição (b), poderosíssima, vai então fazer com que A contenha também o
número 4, daí o 5, portanto o 6 e, dessa forma, fará com que A contenha todos os números
naturais, logo, como também A é um subconjunto de IN, então ele deve ser igual a IN.
Perceba ainda que o poder da condição (b) de nada serviria se a condição (a) não estivesse
a permitir a presença do 1 no conjunto A.
V. De volta à Torre
Voltemos agora para a Torre de Hanói e vamos provar que .
Para tanto, utilizaremos o PIM e, para isso, precisamos adequar a situação às condições
presentes no enunciado do PIM.
A condição (a) é satisfeita pelo conjunto A, porque 1 ser elemento de A, nesse caso,
significa que o jogo da torre com apenas um disco pode ser resolvido com
movimentos, isto é, com apenas 1 movimento, o que é óbvio: basta transferir esse disco
para um dos outros dois pinos e pronto.
A condição (b), nesse caso, significa que, se para um jogo com x discos forem necessários
movimentos (que significa x ser elemento de A), então um jogo de x+1 discos
exigirá movimentos (que significa x+1 ser elemento de A).
Para ver que isso ocorre, lembremos que se são necessários X movimentos para resolver o
jogo com imagine x discos, então serão necessários 2X+1 movimentos para resolver o jogo
com x+1 discos. Basta, então, substituirmos X por e obteremos que 2X+1
movimentos. Assim, a condição (b) do PIM
também é satisfeita pelo conjunto A.
Portanto, pelo PIM, A=IN, isto é, a Torre de Hanói com n discos necessita de
movimentos para ser resolvida, qualquer que seja o número natural n de discos.