SICP 2.15 是接着 题目 2.14 的， 题目 2.14中提到了Alyssa设计的区间计算模块在并联电阻计算时会出现故障，这个问题是Lem发现的。

接着，一个叫Eva的人也发现了这个问题。同一时候她还有更深入的思考。

Eva认为。假设一个公式能够写成一种形式，当中具有非准确性的变量不反复出现。那么Alyssa的系统产生的区间的限界会更紧一些。

因此，她认为在计算并联电阻时，公式“1/（1/R1 ＋ 1/R2）”比公式“(R1*R2)/ (R1 + R2)”要更好一些。

题目要求我们去看看Eva说的对不正确。

要理解题目的意思有点困难。主要是不知道这里的“具有非准确性的变量”什么意思。

只是我们能够依据我们在习题2.14中观察到的现象来做一个直观的判断。

我们在习题2.14中发现，Alyssa的区间除法会出现故障。两个区间相除会扩大误差。

只是，一个值得注意的是。实现公式“1/（1/R1 ＋ 1/R2）”时Lem定义了一个叫one的区间，值是(1 1)。这是一个确定区间。没有误差。在区间除法中使用它是不会带来误差扩大的问题的。

比方one/(100 200)。就是

(1 1) / (100 200)

=> (1 1) * (1/100  1/200)

=> (1/100  1/200)

进一步计算one / (one / (100 200))的话，就是

 (1 1) /  (1/100  1/200)

(1 1) * (100 200)

(100 200)

也就是说，假设我们有定义区间one为(1 1)，那么one/(one/A)还是A，不会带来区间误差变大的问题。

所以，就如题目2.15提到的，使用了one的程序part2是一个比較好的程序。

版权声明：本文博客原创文章。博客，未经同意，不得转载。