SICP 习题 (1.19) 解题总结

SICP习题1.19要求用对数步数求斐波那契数，有关斐波那契数我们在习题1.13 中讨论过，书中1.2.2节也详细讲解了斐波那契数的求法。在1.2.2节中讲述了斐波那契数的递归求法和迭代求法，其中递归求法的步数为Fib(n)，而迭代求法的步数相对于n是线性的。虽然迭代求法的步数已经很少了，但是我们可以通过一种方法将步数减少为对数步数，其中的关键就是前面习题中提到的，将两个连续变换转换成一次变换的方法。

在迭代求法中，关键是以下变换：

求出Fib(0)，令其为b1

求出Fib(1)，令其为a1

按斐波那契数定义，那么a1+b1就是Fib(2)