具体数学笔记 第3章高德纳数的证明与取模二元运算

高德纳数的证明:
假设有一个高德纳数,定义为递归式

$$\begin{array}{rl}{K}_0& =1\\ K_{n_{+}1}& =1+min(2K_{\lfloor n/2\rfloor },3K_{\lfloor n/3\rfloor }),n⩾0\end{array}\text{\hspace{1em}(3.16)}$$

求证:

$$K_n⩾n$$

这个用直接证明法是有难度的,书上也没有给出直接证明的方法. 不过它有习题2.5的答案. 我尝试结合例题答案,给出我自己的证明过程:
复习一下反证法:反证用条件语句$p\to q$等价于它的倒置$ \lnot q \to \lnot p$的事实意味着条件语句$p\to q$可以用它的倒置$ \lnot q \to \lnot p$来证明.

在高德纳数中, $p$是$(3.16)$, $q$是$K_n⩾n$
直接由$p$ 求证$q$比较困难,于是尝试$ \lnot q \to \lnot p$
$ \lnot q $是$K_{n} < n$

也就是说:$K_{\lfloor n^{\prime }/2\rfloor }<\lfloor n^{\prime }/2\rfloor ,K_{\lfloor n^{\prime }/3\rfloor }<\lfloor n^{\prime }/3\rfloor$

代入$(3.16)$, 可得$K_0⩽0$ 但实际上$K_0=1$. 因此$(3.16)$不成立.
也就是$ \lnot q \to \lnot p$

所以可知$p\to q$, 也就是$(3.16)$可以推出K_{n} \geqslant n$

含有底和顶的递归关系经常在计算机科学中出现.
$$n=\lceil n/2\rceil +\lfloor n/2\rfloor \text{\hspace{1em}(3.17)}$$

3.4 mod:二元运算

这一小节没什么内容,主要是介绍一下取余运算.
一些定义:
$$n=\underset{\text{商}}{\underbrace{m\lfloor n/m\rfloor }}+\underset{\text{余数}}{\underbrace{n\mathrm{m}\mathrm{o}\mathrm{d}m}}$$
$$x\mathrm{m}\mathrm{o}\mathrm{d}y=x-y\lfloor x/y\rfloor ,y̸=0\text{\hspace{1em}(3.21)}$$
$$x\mathrm{m}\mathrm{o}\mathrm{d}0=x\text{\hspace{1em}(3.22)}$$
分配率, 分配率是mod最重要的代数性质
$$c(x\mathrm{m}\mathrm{o}\mathrm{d}y)=(cx)\mathrm{m}\mathrm{o}\mathrm{d}(cy)\text{\hspace{1em}(3.23)}$$