计算机科学不是一门如何使用计算机的学科,它也不是科学,就好像几何学不是教你怎么使用工具进行测量的学科。
作为一门工程学科,它有很多和其他工程学科一样的一些要点:
抽象
Mit-Scheme的安装和使用
在使用Mit-Schme的时候,我对里面的7 error>感到奇怪,error前面的数字是什么呢?原来表示Scheme出错循环的层数。
第一章 构造过程抽象
计算过程是操作计算机里面的被称为数据的精灵的魔法,程序是操作这些精灵的规则模式;
Lisp语言最早是一种数学计数形式,它的优点:能够将过程表示为数据。
程序设计的基本元素
程序语言应该是能够组织有关计算过程思想的框架。包含三种机制:
基本表达形式(精灵,基本的规则)
组合的方法
抽象的方法
表达式:基本数据和基本过程表达式
组合式,用括号包含表达式
命名: 计算对象的别名 (define size 2)
环境:维持符号与特定的值的存储
组合式求值:是一个递归的过程,对于一个组合式,先求其左边的值,对于其左边的组合式,也是同样地规则,先求其左边的值。
复合过程:用别名代替过程 (define (square x) (* x x))
Lisp采用应用序求值,也就是先求出每个过程的值才得到结果,而不是先展开再求值
条件表达式,这个是求绝对值
(define (abs x)
(cond ((> x 0) x)
((= x 0) 0)
((< x 0) (- x))
)
)
牛顿表达式求平方根,求x的平方根的时候,先给出一个猜测值guess,比较猜测值guess的平方与x的差是否达到了精度,达到了就返回猜测值,否则,用改进值代替猜测值guess继续计算,改进的方法是取guess和(x/guess)的平均值
(define (sqrt-iter guess x)
(if (good-enough? guess x)
guess
(sqrt-iter (improve guess x)
x
)
)
)
(define (improve guess x)
(average guess (/ x guess)
)
)
(define (average x y)
(/ (+ x y)
2
)
)
(define (good-enough? guess x)
(< (abs (- (square guess) x))
0.001)
)
(define (sqrt x)
(sqrt-iter 1 x)
)
如同摄影师知道什么样的光圈会产生什么样的结果,能够看清所考虑的动作的后果,才是专家。
执行递归时需要存储的操作轨迹的长度会和n成正比的递归被称为线性递归。
斐波拉契数列的计算,根据其定义写出来的递归过程,这是一种树形递归,会有太多的冗余计算。
(define (fib n)
(cond ((= n 0) 0)
((= n 1) 1)
(else (+ (fib (- n 1))
(fib (- n 2)))
)
)
)
线性迭代,类似于其他语言的循环,count是初始计数,max-count是终止条件需要满足的值,product是累计的结果值,此处是求n的阶乘。
(define (fact-iter product count max-count)
(if (> count max-count)
product
(fact-iter (* product count)
(+ count 1)
max-count
)
)
)
(define (factorial n)
(fact-iter 1 1 n)
)
把上面的计算斐波拉契数列的树形递归换成线性迭代,效率更高,但是并没有那么直观。
(define (fib-iter a b n)
(if (= n 0)
b
(fib-iter (+ a b) a (- n 1))
)
)
(define (fib n)
(fib-iter 1 0 n)
)
把1美元换成1,5,10,25,50美分这五种硬币,共有多少种兑换的方式?
1.先考虑一个缩小问题规模的方式,把1美元换成1,5,10,25,50美分硬币的方式等于把1美元换成除了50美分硬币以外的所有硬币(注意:此时,问题的规模缩小了,硬币种类数降低了)的方式数加上用了50美分硬币的所有方式数,这是简单地概率学问题。
2.用了50美分硬币的情况下,可以确定至少有一个50美分硬币,也就是说其情况数等于1美元减去50美分的硬币的总额换成所有5种硬币的方式数量,(注意:此时,问题的规模缩小了,总额降低了)
3.考虑退化情况,也就是问题规模不能够再缩小的情况
总额为0时,可以看做有1种方式
总额<0时,可以看做有0种方式
硬币种类数<0时,可以看做有0种方式
接下来可以写程序了,用(count-changes 100)即可求出结果
(define (count-changes amount)
(cc amount 5)
)
(define (cc amount kinds-of-coins)
(cond ( (or (< amount 0)
(= kinds-of-coins 0)
)
0
)
( (= amount 0)
1
)
(else (+ (cc amount (- kinds-of-coins 1))
(cc (- amount (amount-of-coins kinds-of-coins)) kinds-of-coins)
)
)
)
)
(define (amount-of-coins count)
(cond ((= count 1) 1)
((= count 2) 5)
((= count 3) 10)
((= count 4) 25)
((= count 5) 50)
)
)
描述问题的计算资源消耗随问题规模增加的变化的方式,用增长阶,Θ(n)表示线性增长,Θ(1)表示常数增长。下面看一个求幂的方法的增长阶:
Θ(n)步和Θ(n)空间,线性递归
(define (exp x n)
(if (= 0 n)
1
(* x (exp x (- n 1)))
)
)
Θ(n)步和Θ(1)空间,线性迭代
(define (exp-iter b counter product)
(if (= 0 counter)
product
(exp-iter b (- counter 1) (* b product))
)
)
(define (exp x n)
(exp-iter x n 1)
)
Θ(log n)的步和空间,n为奇数时,计算的方法一样,x^n = x^(n-1) * x,n为偶数时,x^n = x^(n/2) * x^(n/2)
(define (fast-exp x n)
(cond ((= 0 n) 1)
((even? n)
(* (fast-exp x (/ n 2))
(fast-exp x (/ n 2))
)
)
(else (* x (fast-exp x (- n 1)))
)
)
)