练习1.45
如果看到前面的文章,应该知道我喜欢将某个变量n先设成一个固定的数比如3、4什么的。这里我们依旧如此,先来看看如何写出开四次方根的过程。这道题的目的旨在让我们好好回顾前面的内容,毕竟只剩下一道题我们就完完全全的解决了第一章。
下面我来带大家一起回顾一下。fixed-point是以1个函数和一个初始猜测为参数的函数,用来计算不动点。所谓的不动点就是x=f(x)时的点x。比如这个式子,(fixed-point square 1.0),它会返回1,因为1的平方等于1。
average-damp是一个参数是一个过程f,返回的还是一个过程的函数,其主要是体现了平均阻尼的技术。
而repeated在前面几题中有大量的介绍,不记得的话可以回过头看看。其以一个过程和一个数字为参数,数字为这个过程的重复执行次数。并且它也将返回一个过程。
下面我们就用这些技术来完成开4次方的函数,英文太烂请见谅。所需要的函数都应该先加载。
(define (4-root x)
(fixed-point (repeated (average-damp
(lambda (y)
(/ x (* y y y)))) 10) 1.0))
现在我们可以来测试一下。
(4-root 16)
;Value: 1.9900313055671766
看来效果还是不错的。
下面我们来将开四次方写成一个过程。进展很顺利,一气呵成。
(define 4-root
(lambda (x times)
(fixed-point (repeated (average-damp
(lambda (y)
(/ x (* y yy)))) times) 1.0)))
在我看来比较棘手的是这里的多个y的相乘,因为前面我在嵌套过程的时候真是走了太多弯路。
这里我先将这个过程写出来,如果不太会的话可以先将函数写出来,因为函数和lambda表达式是可以互相转换的。
(define multi-self
(lambda (n times)
(if (= times 1)
n
(* n (multi-self n (- times 1))))))
有了以上这些积累就可以完成下面这个过程了。
(define n-root
(lambda (n x times)
(fixed-point (repeated (average-damp
(lambda (y)
(/ x (multi-self y (- n 1)))))times) 1.0)))
我在一开始测试4次方的时候Edwin一直没有反应而且风扇呼呼的转,知道我将times弄得大点,原来是平均阻尼不足以让不动点搜寻收敛。