Em seu artigo, intitulado "Using induction to design algorithms", Udi Manber faz uma analogia entre a prova de teoremas matemáticos e a construção de algoritmos usando indução. E diz que embora esses dois processos sirvam para alcançar resultados diferentes, eles são muito similares. Além disso, Manber deixa claro que a indução não serve apenas para construir algoritmos recursivos, pois támbem podemos construir algoritmos iterativos pensando de forma indutiva.
"Although induction suggests implementation by recursion, this is not necessarily the case. (Indeed, we call this approach inductive rather than recursive to deemphasize recursive implementations.) In many cases, iterative implementation is just as easy, even if the algorithm was designed with induction in mind; iteration is also generally more efficient." Udi Manber
Então pessoal, não deixem de conferir as nossas postagens, e fiquem atentos ao trio: caso base, hipótese de indução e caso geral.
Nenhum comentário:
Postar um comentário