SICP习题 1.17 是将一个计算加法的过程修改成一个只使用对数计算步数的方法。
其实这个习题是对书中对数步数求幂方法的强调，对数步数求幂的方法是将一系列的乘法变成对数步数的求幂。本习题就是要求将一系列的加法变成对数步数的乘法。
需要转换的过程如下：
(define (* a b)
(if (= b 0)
0
(+ a (* a (- b 1)))))
我们要做的就是对b进行判断，如果是偶数，就将a*b变成(double a*（halve b))
如果b是奇数，就将a*b变成 （a + a * (b -1))
你会发现这个过程和书上的对数步数求幂几乎一模一样，过程定义如下：
(define (fast-mul a b) (cond ((= b 0) 0) ((even? b) (double (fast-mul a (halve b )))) (else (+ a (fast-mul a (- b 1))))))
进一步想的话，其实可以对这种“折半”的方法进行抽象，在更高的抽象层面完成所有的这些过程，其中的关键就是找出将连续两次变换变成一次变换的方法。
就好像书中将b*b 变成b的平方，还有本例中b+b 变成 (double b)。
有关这种变换在后面的习题中还会提到，其实本习题的目的应该也是希望大家对这种变换有更深刻的认识。