开坑
Posted on
Edited on
归纳法
Posted on
Edited on
自然数上的一般归纳原理
假设$P$是自然数上的一个性质,则如果
- $P(0)$成立 – base case
- 对所有的自然数$k$,$P(k)$蕴涵$P(k+1)$ – induction step
则$P(n)$对所有自然数$n$成立
$$
\ \ \ \ \ \ \ \ \ \ [P(k)]\
\frac{P(0)\ P(k+1)}{P(n)}
$$
$[P(k)]$为归纳假设,$k$不能出现在$P(k + 1)$的任何假设中
定理:每个自然是要么是偶数,要么是奇数。
用归纳法来证明:
- 0 是偶数 -> 0 是偶数或奇数
- 假设 k 是偶数或奇数,证明 k + 1 是奇数或偶数:
- k 是偶数,则 k + 1 是奇数
- k 是奇数,则 k + 1 是偶数
- 得证
惰性单例
惰性单例
1 | let LazySingle = (() => { |
扩展内建类
extends Array
1 | class PowerArray extends Array { |