<div class="gmail_quote">2011/6/29 Daniel de Oliveira Mantovani <span dir="ltr"><<a href="mailto:daniel.oliveira.mantovani@gmail.com">daniel.oliveira.mantovani@gmail.com</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

Depois que eu li boa parte desse box, eu passei a não testar mais os<br>
códigos só subo para o servidor( ainda não li inteiro)(Eden Cardim),<br>
<a href="http://www.amazon.com/Art-Computer-Programming-Volumes-Boxed/dp/0201485419" target="_blank">http://www.amazon.com/Art-Computer-Programming-Volumes-Boxed/dp/0201485419</a></blockquote><div><br></div><div>Wow, então você prova a corretude de todo algoritmo que você escreve? Parabéns :)</div>

<div>E ainda tem culhões de garantir que implementou perfeitamente correto? Você é super 10 :D</div><div>(E se você de fato chegar a ler todo ele e completar todos os exercício... avise, pois me sinto na obrigação de te pagar umas cervejas pelo feito ;)</div>

<div><br></div><div>Se alguém quiser outras recomendações de livros de algoritmos:</div><div><a href="http://www.amazon.com/gp/product/0201120372">http://www.amazon.com/gp/product/0201120372</a> - Esse livro é bem legal pois tem muitos exercícios que ele chama de "criatividade", onde o foco é bolar algoritmos. Muitas provas por indução também. (Todo time sério da maratona de programação, tem esse livro :)</div>

<div><br></div><div><a href="http://www.amazon.com/gp/product/0262033844">http://www.amazon.com/gp/product/0262033844</a> - Clássico, que é bem mais do que uma simples introdução :)</div><div><br></div><div><a href="http://www.amazon.com/gp/product/0716710455">http://www.amazon.com/gp/product/0716710455</a> - Esse (e alguns outros de complexidade computacional) acho que são muito interessantes para programadores at all, pois mostram que nosso modelo computacional possui sim limitações, tanto de problemas intratáveis (ex: problema da parada) quando como problemas que não se conhece métodos eficientes para resolução (NP/NP-C/NP-H/etc). Acho interessante, pois caso a gente saiba que está com um problema complexo neste nível, ao invés de fazer uma solução "burra" (backtracking completo por exemplo), pode-se tentar outras abordagens como heurísticas, algoritmos aproximativos e talvez algoritmos randomizados.</div>

<div><br></div><div>(Para quem está começando em algoritmos, um bom livro em pt-br: <a href="http://www.submarino.com.br/produto/1/21867646/estruturas+de+dados+e+seus+algoritmos">http://www.submarino.com.br/produto/1/21867646/estruturas+de+dados+e+seus+algoritmos</a> . Do professor Jayme, emérito na UFRJ, nivel 1A CNPQ, membro da Academia Brasileira de Ciências... alguma coisa ele sabe ;)</div>

<div><br></div><div>Eu posso sugerir também alguns livros de grafos, pois é uma ótima ferramenta para modelagem de problemas computacionais... se alguém quiser, só falar :)</div><div> </div><div>Um livro que li recentemente e recomendo é esse:</div>

<div><a href="http://www.amazon.com/Hackers-Painters-Big-Ideas-Computer/dp/1449389554/ref=sr_1_1?s=books&ie=UTF8&qid=1309349977&sr=1-1">http://www.amazon.com/Hackers-Painters-Big-Ideas-Computer/dp/1449389554/ref=sr_1_1?s=books&ie=UTF8&qid=1309349977&sr=1-1</a></div>

<div><br></div><div><br></div><div>[ ]'s</div></div>-- <br>Bruno C. Buss<br><a href="http://brunobuss.wordpress.com/">http://brunobuss.wordpress.com/</a><br><a href="http://www.dcc.ufrj.br/~brunobuss/">http://www.dcc.ufrj.br/~brunobuss/</a><br>