UTF8gbsn
Introduction
这是具体数学第二章。第二章开始介绍了几个简单的概念
-
sum 和的记号
Σ \Sigma Σ
-
小于N的素数的个数 l n ( l n ( N ) ) + M ln(ln(N))+M ln(ln(N))+M M 是一个常数,叫做Mertens’s
Constant M ≃ 0.261... M\simeq 0.261... M≃0.261... -
一种记录真值的方式
[ p prime ] = { 1 , if p is a prime number; 0 , if p is not a prime number. [p \text { prime }]=\left\{\begin{array}{ll}{1,} & {\text { if } p \text { is a prime number; }} \\ {0,} & {\text { if } p \text { is not a prime number. }}\end{array}\right. [p prime ]={1,0, if p is a prime number; if p is not a prime number.
Sums and Recurrences
我们对于一般形式如
a
n
T
n
=
b
n
T
n
−
1
+
C
n
a_nT_n=b_nT_{n-1}+C_n
anTn=bnTn−1+Cn
的递归式子,可以把它变成
Σ
\Sigma
Σ形式。具体怎么做呢?就是两边乘以一个恰当的
S
n
S_n
Sn,至于这个
S
n
S_n
Sn怎么选?我们要使得
S n b n = S n − 1 a n − 1 S_nb_n=S_{n-1}a_{n-1} Snbn=Sn−1an−1,这样我们就可以领得到
S n a n T n = S n b n T n − 1 + S n C n = S n − 1 a n − 1 T n − 1 + S n C n S_na_nT_n=S_nb_nT_{n-1}+S_nC_n=S_{n-1}a_{n-1}T_{n-1}+S_nC_n SnanTn=SnbnTn−1+SnCn=Sn−1an−1Tn−1+SnCn
我们可令 B n = S n a n T n B_n=S_na_nT_n Bn=SnanTn,这样原来的式子可以变成。
B n = B n − 1 + S n C n = S 0 a 0 T 0 + ∑ k = 1 n S k C k = S 1 b 1 T 0 + ∑ k = 1 n S k C k B_n=B_{n-1}+S_nC_n=S_0a_0T_0+\sum_{k=1}^{n}S_kC_k=S_1b_1T_0+\sum_{k=1}^{n}S_kC_k Bn=Bn−1+SnCn=S0a0T0+k=1∑nSkCk=S1b1T0+k=1∑nSkCk
最终可得 T ( n ) = 1 S n a n ( S 1 b 1 T 0 + ∑ k = 1 n S k C k ) T(n)=\frac{1}{S_na_n}(S_1b_1T_0+\sum_{k=1}^{n}S_kC_k) T(n)=Snan1(S1b1T0+∑k=1nSkCk)
怎么选择 S n S_n Sn呢?根据 S n b n = S n − 1 a n − 1 S_nb_n=S_{n-1}a_{n-1} Snbn=Sn−1an−1可得 S n = S n − 1 a n − 1 b n ⇒ S n = a n − 1 a n − 2 . . . a 1 b n b n − 1 . . . b 2 S_n=\frac{S_{n-1}a_{n-1}}{b_n}\Rightarrow S_n=\frac{a_{n-1}a_{n-2}...a_1}{b_nb_{n-1}...b_2} Sn=bnSn−1an−1⇒Sn=bnbn−1...b2an−1an−2...a1
可见合法的 S n S_n Sn很多,任何 k ⋅ a n − 1 a n − 2 . . . a 1 b n b n − 1 . . . b 2 k\cdot \frac{a_{n-1}a_{n-2}...a_1}{b_nb_{n-1}...b_2} k⋅bnbn−1...b2an−1an−2...a1都可以是合法的 S n S_n Sn
Harmonic number
H n = ∑ k = 1 n 1 k = 1 + 1 2 + 1 3 + ⋯ + 1 n H_n=\sum_{k=1}^{n}\frac{1}{k}=1+\frac{1}{2}+\frac{1}{3}+\cdots + \frac{1}{n} Hn=k=1∑nk1=1+21+31+⋯+n1
值得注意的是, H n ∈ O ( l g ( n ) ) H_n\in O(lg(n)) Hn∈O(lg(n)) or H n ∈ O ( l n ( n ) ) H_n\in O(ln(n)) Hn∈O(ln(n)) 参考算法导论。附录D部分。
Manipulate of Sums
[ k ∈ K ] + [ k ∈ K ′ ] = [ k ∈ K ∩ K ′ ] + [ k ∈ K ∪ K ′ ] [k\in K] + [k \in K^{'}]=[k\in K \cap K^{'}]+[k\in K \cup K^{'}] [k∈K]+[k∈K′]=[k∈K∩K′]+[k∈K∪K′]