(接前: 03 02 01) “执行定理” 的证明(c+). .
“逻辑对接” 的补充 (c+) ~ (f+).
.
第二段第13句.补充.
12 B' 13
| | |
para2.13
| | |
18 19 20
.
注: 用 X', B', H' 替换 X, B, A.
12, B', 13: X', B', H'.
18~20: X, B, A.
.
评论: 做这个补充是为了对接第三段.
.
* 第三段温习及逻辑模块.
.
Let C = 1/2 A.
.
20
21
.
注: 减半器.
21: C.
.
Then we have lct(X, B, |A|R) = 1/2 lct(X, B, |C|R), hence it is enough to give a positive lower bound for lct(X, B, |C|R).
.
21
22 23
.
注: A 半减后 lct 加倍.
22: lct 加倍式.
23: 求 lct(X, B, |C|R) 的正下界.
.
Let n, m, eps' be the numbers given by Proposition 5.9 for the data d, r, eps.
.
d r eps
n m eps'
.
注: 此处的输出是待定量.
.
Pick L∈|C|R.
.
.
注: 单句构造L.
24: L.
.
Let s be the largest number such that (X, B + sL) is eps'-lc.
.
注: 引入s 并与 eps' 联立.
25: 最大的s, 使(X, B + sL) eps'-lc.
.
评论: 此句是第三段的核心.
.
It is enough to give a positive lower bound for s.
.
注: 问题转移到s上.
26: 求 s 的正下界.
.
In particular, we can assume s ≤ 1.
注: 给s加了上界约束.
27: 假定 s 不超过 1.
.
评论: 第三段的轴心是 (X, B + sL) eps'-lc.
.
小结: A减半, 最大s, eps'-lc (简记: s~eps'-lc).