Gabarito E
É uma metodologia elegante para o projeto de algoritmos baseada na indução matemática. O coração dessa metodologia está assentada na analogia entre o processo de provar um teorema e o processo de construção de um algoritmo.
A indução é uma poderosa técnica de prova que permite estender soluções de subproblemas menores para subproblemas maiores.
O benefício imediato dessa metodologia de construção de algoritmos é que a corretude do algoritmo é obtida diretamente.
"Retroceder Nunca Render-se Jamais !"
Força e Fé !
Fortuna Audaces Sequitur !