2

我正在尝试解决项目欧拉第二个问题。为什么下面的代码会导致堆栈溢出？我正在使用 recur 所以它不应该将所有递归调用存储在堆栈上。 

(defn sum
  [[a b]]
  [b (+ a b)])

(defn fib-r
  ([n] (fib-r n 0 [0 1]))
  ([n s [a b]]
     (if (= n 0)
       s
       (let [[c d] (sum [a b])
             e (if (even? c) c 0)
             f (+ s e)]
         (recur (dec n) f [c d])))))

(fib-r 4000000)
4

2 回答 2

6

你得到一个整数溢出（而不是堆栈溢出）如果你使用 BigInts（BigInt 文字以 N 结尾），那么 Clojure 会很高兴地计算出正确的结果：

(defn fib-r                                                                                          
  ([n] (fib-r n 0N [0N 1N]))                                                                     
  ([n s [a b]]                                                                                     
     (if (= n 0N)                                                                            
       s                                                                            
       (let [[c d] (sum [a b])                                               
             e (if (even? c) c 0N)                               
             f (+ s e)]                             
         (recur (dec n) f [c d])))))
#'autotestbed.core/fib-r                                                                                               
autotestbed.core> (fib-r 40000)
1158997879999727672946417013062336891791160667328280503727448.... big number
于 2012-06-21T02:17:45.777 回答
1

这是 Clojure 1.3 中的一个重大变化（有关详细信息，请参见http://dev.clojure.org/display/doc/Enhanced+Primitive+Support）原始类型的自动提升不会自动发生。

您不必像 Arthur Ulfeldt 建议的那样在任何地方都使用 BigInts，您可以改为使用 auto-promoting plus 操作+'：

(defn sum [[a b]] [b (+' a b)])

这会做。

关于 400 万个案例 - 是的，这个计算量很大。您可以fib-r像这样修改您的功能：

(defn fib-r
  ([n] (fib-r n 0 [0 1]))
  ([n s [a b]]
     (if (and (< 0 n) (zero? (mod n 100000)))
       (println n))
     (if (= n 0) s
       (let [[c d] (sum [a b])
             e (if (even? c) c 0)
             f (+ s e)]
         (recur (dec n) f [c d])))))

看看这进展得有多快。

于 2012-06-21T17:31:35.710 回答