Exercises of Concrete Mathematics
1.1 At first,the proof seems perfect!Horses 1 through n-1 are the same color,and horses2 through n are the same color,
but when the n=2 ,that 1 and 1 are same color, 2 and 2 are same color,so it can't induction that all horses are same color.
The basis of this inducation is wrong!It should from n=2 no n=1!
1.2 This exercise is variant of Hanoi Tower.
T(0)=0
Because it direct move between A and B are disallowed,We can first move T(n-1) from A to B,the move the largest
disk to C(Move from A to B is disallowed),then move T(n-1) from B to A,then move the largest disk in C to B,then
remove the T(n-1) in A to B,so maximum moves is : T(n-1)+1+T(n-1)+1+T(n-1)
T(0) = 0
T(n) = 3T(n-1)+2
Ok,Let's convert the recurrence to a "closed form":
We add 1 to both sides of equations:
T(0) + 1 = 1;
T(n) + 1 = 3T(n-1)+3
Then we let U(n) = T(n)+1, we get :
U(0) = 1;
U(n) = 3(T(n-1)+1) = 3U(n-1))
so the closed form is : T(n) = 3^n -1
but when the n=2 ,that 1 and 1 are same color, 2 and 2 are same color,so it can't induction that all horses are same color.
The basis of this inducation is wrong!It should from n=2 no n=1!
1.2 This exercise is variant of Hanoi Tower.
T(0)=0
Because it direct move between A and B are disallowed,We can first move T(n-1) from A to B,the move the largest
disk to C(Move from A to B is disallowed),then move T(n-1) from B to A,then move the largest disk in C to B,then
remove the T(n-1) in A to B,so maximum moves is : T(n-1)+1+T(n-1)+1+T(n-1)
T(0) = 0
T(n) = 3T(n-1)+2
Ok,Let's convert the recurrence to a "closed form":
We add 1 to both sides of equations:
T(0) + 1 = 1;
T(n) + 1 = 3T(n-1)+3
Then we let U(n) = T(n)+1, we get :
U(0) = 1;
U(n) = 3(T(n-1)+1) = 3U(n-1))
so the closed form is : T(n) = 3^n -1
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· go语言实现终端里的倒计时
· 如何编写易于单元测试的代码
· 10年+ .NET Coder 心语,封装的思维:从隐藏、稳定开始理解其本质意义
· .NET Core 中如何实现缓存的预热?
· 从 HTTP 原因短语缺失研究 HTTP/2 和 HTTP/3 的设计差异
· 周边上新:园子的第一款马克杯温暖上架
· Open-Sora 2.0 重磅开源!
· 分享 3 个 .NET 开源的文件压缩处理库,助力快速实现文件压缩解压功能!
· Ollama——大语言模型本地部署的极速利器
· DeepSeek如何颠覆传统软件测试?测试工程师会被淘汰吗?