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

(3.16)K0=1Kn+1=1+min(2K⌊n/2⌋,3K⌊n/3⌋),n⩾0\tag{3.16} \begin{aligned} K_0 &= 1\\ K_{n_+1} &= 1 + min(2K_{\lfloor n/2 \rfloor} ,3K_{\lfloor n/3 \rfloor}), n \geqslant 0 \end{aligned} K0Kn+1=1=1+min(2K⌊n/2⌋,3K⌊n/3⌋),n⩾0(3.16)

求证:

Kn⩾nK_{n} \geqslant n Kn⩾n

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

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

也就是说:K⌊n′/2⌋<⌊n′/2⌋,K⌊n′/3⌋<⌊n′/3⌋K_{\lfloor n'/2 \rfloor} < \lfloor n'/2 \rfloor {\footnotesize ,}\ K_{\lfloor n'/3 \rfloor} <\lfloor n'/3 \rfloorK⌊n′/2⌋<⌊n′/2⌋, K⌊n′/3⌋<⌊n′/3⌋

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

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

含有底和顶的递归关系经常在计算机科学中出现.
(3.17)n=⌈n/2⌉+⌊n/2⌋n= \lceil n/2 \rceil + \lfloor n/2 \rfloor \tag{3.17} n=⌈n/2⌉+⌊n/2⌋(3.17)

3.4 mod:二元运算

这一小节没什么内容,主要是介绍一下取余运算.
一些定义:
n=m⌊n/m⌋⎵商+nmod  m⎵余数n = \underbrace{m\lfloor n/m \rfloor}_{\text{商}} + \underbrace{n \mod m }_{\text{余数}} n=商m⌊n/m⌋+余数nmodm
(3.21)xmod  y=x−y⌊x/y⌋,y̸=0x \mod y = x-y\lfloor x/y \rfloor, y \not= 0 \tag{3.21} xmody=x−y⌊x/y⌋,y̸=0(3.21)
(3.22)xmod  0=xx \mod 0 = x \tag{3.22} xmod0=x(3.22)
分配率, 分配率是mod最重要的代数性质
(3.23)c(xmod  y)=(cx)mod  (cy)\tag{3.23} c(x \mod y) = (cx) \mod (cy) c(xmody)=(cx)mod(cy)(3.23)

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

Python学习笔记__4.1章高阶函数
# 这是学习廖雪峰老师python教程的学习笔记 1.概览我们知道Python内置的求绝对值的函数是abs() # 调用abs()函数可以获得一个值 >>> abs(-10) 10 ...
TAOCP作者的高德纳--------有神有关的故事
密尔沃基市,是美国威斯康辛州最大的城市.1938年1月10日,圣诞刚过不久,密尔沃基市民像往常一样平静地生活着.咖啡店里,有人在议论着罗斯福总统的救市新政策,有人在议论着到底该不该限制公民持枪.而更 ...
高德纳谈《具体数学》的诞生
下文节选自<具体数学>, 已获图灵授权许可, [遇见数学] 特此表示感谢! 本书成形于斯坦福大学的同名课程讲义,该课自1970年以来每年都会开设．每年大约有50名学生选学这门课,有本科生, ...
15天精读掌握《高德纳_具体数学》第11天 2019.6.7
15天精读掌握<高德纳:具体数学> 第11天 2019/6.7 1. 15日掌握具体数学计划概览 2. 今日学习成果 3. 今日时间表 4.Atimelogger截图今天是2年修完清华6 ...
15天精读掌握《高德纳:具体数学》第4天 2019.5.30
15天精读掌握<高德纳:具体数学> 第4天 2019/5.30 1. 15日掌握算法导论计划概览 2. 今日学习成果 3. 今日时间表 4.Atimelogger截图今天是 2年修完清华 ...
15天精读掌握《高德纳_具体数学》第7天 2019.6.3
15天精读掌握<高德纳:具体数学> 第7天 2019/6/3 1. 15日掌握算法导论计划概览 2. 今日学习成果 3. 今日时间表 4.Atimelogger截图今天是2年修完清华6个 ...
15天精读掌握《高德纳:具体数学》第3天 2019.5.29
15天精读掌握<高德纳:具体数学> 第3天 2019/5.29 1. 15日掌握算法导论计划概览 2. 今日学习成果 3. 今日时间表 4.Atimelogger截图今天是 2年修完清华 ...
读书笔记：《思考的乐趣：Matrix67数学笔记》第4章统计数据的陷阱
<思考的乐趣:Matrix67数学笔记>第4章讲了几个统计学上的陷阱,由于现在流行的大数据与统计学很有渊源,所以认真读了这一章,在<大数据时代>中指出只考虑相关性就够了,而不考 ...
Kotlin学习笔记第三章函数高阶函数 lambda表达式内联函数
参考链接 Kotlin官方文档 https://kotlinlang.org/docs/home.html 中文网站 https://www.kotlincn.net/docs/reference/p ...

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

3.4 mod:二元运算

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

最新文章

热门文章

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

3.4 mod:二元运算

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

最新文章

热门文章

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

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