首页 > 代码库 > SICP 1.27 1.28体会

SICP 1.27 1.28体会

这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体会