SICP 1.27 1.28体会

标签：style   ar   sp   on   art   代码   bs   ad   ef   

这2题目， 还算比较简单。

做了3天的题，最大的痛苦就是还不大会调试， 所有代码均靠大脑分析，太痛苦了。

最坑的就是， 经常漏函数参数， load的时候系统也不报错， 运行时的错误提示又如同天书， 看来还是先要找本讲scheme的书先学习下，否则效率太低了。

1.27 主要是写个迭代代码， 测试所有2到n-1。代码如下：

(define (prime-test n)
    (define (prime-test-iter start end)
(if (> start end)
   true
   (if (fermat-test start)
(prime-test-iter (+ start 1) end)
false)))
  (define (fermat-test a)
      (= (expmod a n n) a))
  
  (define (expmod base exp m)
      (cond ((= exp 0) 1)
     ((even? exp)
      (remainder (square (expmod base (/ exp 2) m)) 
 m))
     (else
      (remainder (* base (expmod base (- exp 1) m))
 m))))
  (prime-test-iter 2 (- n 1)))

1.28 主要是要理解条件， 对1.27的fermat-test函数做修改

关键是下面代码

(define (square-with-check base x)
       (define (remainder-check base r)
  (if (and (= r 1)
   (not (= base 1))
   (not (= base (- n 1))))
      0
      r))
     (remainder-check x (remainder (square x) n)))

完整代码如下：

(define (prime-test n)
    (define (prime-test-iter start end)
(if (> start end)
   true
   (if (fermat-test start)
(prime-test-iter (+ start 1) end)
false)))
  (define (fermat-test a)
      (= (expmod a (- n 1)) 1))
  
  (define (expmod base exp)
      (cond ((= exp 0) 1)
     ((even? exp)
(square-with-check base (expmod base (/ exp 2))))
     (else
      (remainder (* base (expmod base (- exp 1)))
 n))))
   (define (square-with-check base x)
       (define (remainder-check base r)
  (if (and (= r 1)
   (not (= base 1))
   (not (= base (- n 1))))
      0
      r))
     (remainder-check x (remainder (square x) n)))
  (prime-test-iter 2 (- n 1)))

SICP 1.27 1.28体会

标签：style   ar   sp   on   art   代码   bs   ad   ef   

原文地址：http://blog.csdn.net/levinjoe/article/details/40748509