Este problema 3n+1 me ocupou durante bastante tempo no início da minha graduação (no 2o ano). Eu queria ver o que eu descobriria a respeito da série (quem sabe até resolver o problema). Obviamente, não provei nada, mas descobri algumas coisas interessantes. Por exemplo, descobri que o problema é equivalente a descobrir se a função
;; next(4k) = 3k ;; next(4k+2) = k ;; next(2k+1) = 3k+2 (defun next (x) (case (mod x 4) (0 (* 3 (floor x 4))) (2 (floor x 4)) ;; = (x-2)/4 ((1 3) (+ 2 (* (floor x 2) 3))))) gera uma seqüência convergente a zero. 2009/4/30 Gilzamir Gomes <[email protected]> > > Segue o link: > http://groups.google.com.br/group/inteligencia-computacional-uva/web/problema3nplus1.pdf > . > > É uma idéia básica (que também não é nova). O objetivo era testar > porque um juiz robô (um software que compila e analisa o resultado da > compilação de programas para problemas determinados) não estava > aceitando uma implementação por força bruta do problema. O mesmo > algoritmo era aceito por outras linguagens. Foi detectado que o > problema era o tempo de resposta das operações de entrada e saída em > Java. No entanto, a idéia apresentada no texto pode ser utilizada em > qualquer implementação, não importa a linguagem. Acredito que o paper > indicado > (http://www.cs.berkeley.edu/~fateman/papers/factorial.pdf<http://www.cs.berkeley.edu/%7Efateman/papers/factorial.pdf> > ) > nos posts anteriores utiliza essa idéia básica, mas de forma > otimizada, fazendo um balanceamento e entre desemepenho e consumo de > memória. Ou seja, utiliza uma heurística para encontrar o melhor > compromisso entre desemepenho e consumo de memória. > --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Lisp-br" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/lisp-br?hl=en -~----------~----~----~----~------~----~------~--~---
