SICP 习题 1.18是习题1.17的扩展,要求我们将1.17题中的对数步数求加法的过程修改成迭代方式。同时,习题1.18习题也是对习题1.16的强调,习题1.16是通过迭代方法求幂,这里是通过迭代方法求加法。
所以我们需要回过头去看习题1.16和1.17。
习题1.16是将以下函数进行修改:
(define (fast-expt b n)
(cond ((= n 0) 1)
((even? n) (square (fast-expt b (/ n 2))))
(else (* b (fast-expt b (- n 1))))))
变成了这样:
(define (fast-expt-iter root cur-result n)
(cond ((= n 0) 1)
((= n 1) (* root cur-result))
((even? n) (fast-expt-iter (square root) cur-result (/ n 2)))
(else (fast-expt-iter root (* root cur-result) (- n 1)))))
而习题1.17的结果如下:
(define (fast-mul a b)
(cond ((= b 0) 0)
((even? b) (double (fast-mul a (halve b ))))
(else (+ a (fast-mul a (- b 1))))))
我们发现习题1.16修改前的代码和习题1.17的结果几乎是一样的。
所以,我们可以完全按照相同的思路完成迭代方法求加法的代码:
(define (fast-mul-iter a cur-result b)
(cond ((= b 0) 0)
((= b 1) (+ a cur-result))
((even? b) (fast-mul-iter (double a) cur-result (halve b)))
(else (fast-mul-iter a (+ a cur-result) (- b 1)))))
所以说习题1.18没有什么难度,前提是你能够独立完成习题1.16和习题1.17 。