多柱汉诺塔最优算法设计探究
多柱汉诺塔最优算法设计探究
引言
汉诺塔算法一直是算法设计科目的最具代表性的研究问题,本文关注于如何设计多柱汉诺塔最优算法的探究。最简单的汉诺塔是三个柱子(A、B、C),因此多柱汉诺塔的柱子个数M≥3。下面从三柱汉诺塔说起,慢慢深入我们要关心的问题。
1. 三柱汉诺塔
三柱汉诺塔是经典的汉诺塔问题,在算法设计中是递归算法的典型问题。其算法是这样的: 首先把A 柱上面的n- 1 个碟子通过C 柱移到B 柱上【T(n-1)步】,然后把A 柱剩下的一个碟子移到C 柱上【1步】, 最后把B 柱上所有的碟子通过A 柱移到C 柱上【T(n-1)步】。很容易得到算法的递归方程为:T(n)=2*T(n-1)+1,因此,不难算出步数是T(n)=2^n-1。对于三柱汉诺塔的算法的正确性自然是毫无争议的,我们需要的是从三柱汉诺塔的设计中引申出多柱汉诺塔的设计方法。
2. 四柱汉诺塔
四柱汉诺塔并不是仅仅是多了一根柱子那么简单,所以我们先尝试从正常的思维出发来探究如何使移动步数最少。
首先我们会想到,三柱汉诺塔需要借助另一个柱子存放前n-1个盘子,再把第n个盘子移动到目的位置。顺其自然的,四柱汉诺塔由于多了一个柱子,所以移动起来就更方便了,我们可以多留下一个盘子n-2,而不让它借位到其他柱子直接移动到目的位置。这样我们就得出算法的基本流程:
(1) 从A借助C、D将 n-2个盘子移动到B上。
(2) 将n-2移动到C上。
(3) 将n-1移动到D上。
(4) 将n-2移动到D上。
(5) 从B借助A、C将 n-2个盘子移动到D上。
另外,这么设计是符合正常思维原则的。以为随着柱子的个数增多,我们希望每次移动的时候盘子尽可能不发生折叠,也就是说我们希望除了需要借助存放n-2个盘子的柱子。那么剩下的两个柱子可以允许至多两个盘子不发生折叠就能直接移动到目的位置,这样才使得移动起来比较方便,步骤也会比较少。事实真的是如此吗?我们具体分析一下算法。
按照以上设计的算法流程,我们得到递归方程:F(n)=2*F(n-2)+3。因此得到移动步数为:F(n)=4*2^(n/2)-3:n为奇数;F(n)=6*2^(n/2-1)-3:n为偶数。下边列出6个盘子的移动步数:
n 1 2 3 4 5 6
F(n) 1 3 5 9 13 21
到这里,我们已经看出我们的设计的算法已经和经典的汉诺塔算法几乎如出一辙了,甚至是如此的对称和谐!基于此我们甚至可以推广到M(M≥3)个柱子的情况,来得到我们希望的最优解,假设柱子编号为1,2,3…M算法主题框架流程应该如下:
(1) 从1柱借助3…M柱子将n-(M-2)个盘子移动到2柱上。
(2) 将M-2个通过3…M-1柱简单的移动到M柱上【2*(M-2)-1步骤】。
(3) 从2柱借助1,3…M-1柱子将n-(M-2)个盘子移动到M柱上。
具体步骤和四柱类似,不再做具体分析。这样我们看到我们自己亲手构建的算法模式如此完美,我们甚至不忍心去破坏它。但是我很遗憾的告诉自己,这种算法虽然正确,却不是最优!!!比如,对于6个盘子4个柱子的汉诺塔,按照我们的想法是保留2个盘子进行移动。现在假如我们保留3个盘子,因此上边的三个盘子按照4柱汉诺塔规则移动到B,步数应该是5(已经算出,可以验证),剩下三个盘子按照3柱汉诺塔规则移动到D上,步数应该是2^3-1=7步,然后B上的三个盘子移动到D上仍然是5步,总步数为5+7+5=17步<21步!现在我们可以确信的告诉自己,我们的想法太“天真”了。虽然我们想到让盘子尽量不发生重叠来保证步数的最少,但是这并不能绝对保证。或许在盘子较少的情况下是可行的,但是盘子增多时,那些多余的只有一个盘子的柱子是可以加以利用的。虽然这么做加多了每次的移动步数,但是却从另一个侧面减少了递归的数量,因此我们需要从这里边找一个平衡点。
从上边的例子中,我们得到一个启示:在递归程序中剩余盘子的个数并不一定是M-2,也有可能是M-1,我们假设剩余盘子是M-r,那么r到底取得多少才合适呢?其实,早在1941年,一位名叫J. S. Frame的人在《美国数学月刊》上提出了一种解决四柱汉诺塔问题的算法,这是人们熟知的Frame算法:
(1)用4柱汉诺塔算法把A柱上部分的n- r个碟子通过C柱和D柱移到B柱上【F( n- r )步】。
(2)用3柱汉诺塔经典算法把A柱上剩余的r个碟子通过C柱移到D柱上【2^r-1步】。
(3)用4柱汉诺塔算法把B柱上的n-r个碟子通过A柱和C柱移到D柱上【F(n-r)步】。
(4)依据上边规则求出所有r(1≤r≤n)情况下步数f(n),取最小值得最终解。
因此Frame算法的递归方程如下:
F(n)=min(2*F(n-r)+2^r-1),(1≤r≤n)。
通过这个方程我们能得到所有4柱汉诺塔的步骤个数,同时也有人证明[1]了,对于四柱汉诺塔,当r=(sqrt(8*n+1)-1)/2时,能保证f(n)取得最小值F(n)=(n-(r^2-r+2)/2)*2^r+1。所以算法的复杂度是F(n)=O(sqrt(2*n)*2^ sqrt(2*n))。从这这个方程中也可以看出,在n<6的时候,我们可以验证是和我们起初的构想的结构是相同的,但是当n再增多时就不是当初想的那样了。
3. 多柱汉诺塔
基于四柱汉诺塔的Frame算法,我们可以引申到多柱(M柱)汉诺塔的情况,我们简称M柱汉诺塔算法:
(1)用M柱汉诺塔算法把1柱上部分的n-r个碟子通过3…M柱移到2柱上【M( n- r )步】。
(2)用M-1柱汉诺塔算法把1柱上剩余的r个碟子通过3…M-1柱移到M柱上【<M-1>(r)步】。
(3)用M柱汉诺塔算法把2柱上的n-r个碟子通过1柱和3…M柱移到M柱上【M( n- r )步】。
(4)依据上边规则求出所有r(1≤r≤n)情况下步数m(n),取最小值得最终解M(n)。
从4柱汉诺塔的递归方程和结果公示中我们可以看出,随着柱子数量的增加,算法的复杂程度也是不断地增加。对于解决M柱汉诺塔问题需要使用M-1柱汉诺塔的算法,因此除了算法解决问题需要递归外,算法的流程本身也需要递归,这种递归结构已经远远地复杂于当前所接触的递归算法。如果有兴趣可以尝试去设计这种算法,算法所涉及的参数应该有盘子的个数n、柱子的个数m、算法的编号num、参数r等信息。因为需要根据不同柱子情况下通过循环和递归找出最合适的r值,所以这种算法的复杂度肯定相当高。不过我们仅仅是为了探究如何取得最优算法,所以具体实现就不再赘述了。
总结
通过以上的讨论,我们从一般的思维——不折叠盘子,出发去找多柱汉诺塔的最优解,但是结果并没有成功——盘子多时有可能柱子没有充分利用。后来通过前人提出的Frame算法引申出多柱汉诺塔算法,并大致描述了多柱汉诺塔算法的双重嵌套递归结构——算法问题的递归以及算法本身的递归实现。这种罕见的递归程序结构给我们在算法设计方面开阔了新的视野,希望不久的将来能找到更好地算法设计方法来解决多柱汉诺塔的问题。
参考文献
1.《四柱汉诺塔之初步探究》杨楷 徐川( 北京大学计算机科学与技术系, 北京, 100871) 北京大学学报( 自然科学版) , 第40 卷, 第1 期, 2004 年1 月
转载于:https://www.cnblogs.com/fanzhidongyzby/archive/2012/07/28/2613173.html
多柱汉诺塔最优算法设计探究相关推荐
- Py:递归求解汉诺塔,简单的几行编程可以搞定很高层的三柱汉诺塔游戏
Py:递归求解汉诺塔,简单的几行编程可以搞定很高层的三柱汉诺塔游戏 目录 输出结果 核心代码 输出结果 核心代码 def hanoi(n,x,y,z):if n==1:print(x,'--→',z) ...
- 三柱汉诺塔四柱汉诺塔
汉诺塔问题_哔哩哔哩_bilibili 三柱汉诺塔,从整体来看,分为三部 1.先让n-1个盘先由a柱放在b柱 2.把第n个盘由a柱放在c柱 3.将这n-1个盘由b柱移动到c柱 而其中的递归过程就是直到 ...
- 多柱汉诺塔的Frame-Stewart算法
通过分析三柱汉诺塔的递归求解过程,我们能够线性递推出移动nnn个盘子的最小移动次数 设三柱汉诺塔,移动nnn个盘子的最小移动次数为T(3,n)T(3, n)T(3,n) T(3,n)={1n=12f( ...
- 多柱汉诺塔问题浅析——算法及公式推导
汉诺塔问题 汉诺塔(Tower of Hanoi)是一个数学游戏:有三根柱子,其中一根柱子自底向上串着尺寸渐小的多个圆盘,遵循以下规则: 1.一次只能移动一个圆盘: 2.大圆盘不能放在小圆盘上面. 请 ...
- 四柱汉诺塔 -- 动态规划求解最优移动次数
自己用Java写了一个前台进行四柱汉诺塔的移动演示,是按照最优次序进行移动的,链接里有详细的代码实现:https://download.csdn.net/download/qq_40285036/10 ...
- hdu 1207 汉诺塔II (四柱汉诺塔)
思路是借鉴网上一大牛的,写的很完美了,所以一句没改,代码是自己敲的,C语言版 变体汉诺塔 问题描述:在经典汉诺塔的基础上加一个条件,即,如果再加一根柱子(即现在有四根柱子a,b,c,d),计算将n个盘 ...
- 时间恒久远,汉诺塔永流传(C实现经典三柱汉诺塔)
还记得猩球崛起上威尔给凯撒的那个益智汉诺塔吗?我今天就百度了一下: 法国数学家爱德华·卢卡斯曾编写过一个印度的古老传说:在世界中心贝拿勒斯(在印度北部)的圣庙里,一块黄铜板上插着三根宝石针.印度教的主 ...
- 多柱汉诺塔问题Hanoi 动态规划求解方案数
大家都很强,可与之共勉. 问题描述: n个盘子,m个柱子,从1号柱子移到m号柱子.满足汉诺塔的游戏规则,问最少的移动步数. 问题分析: 懒得分析了. 自己推一下,很简单的,我只想了一个小时23333 ...
- [HDU 1207] 汉诺塔II (四柱汉诺塔)
描述 经典的汉诺塔问题经常作为一个递归的经典例题存在.可能有人并不知道汉诺塔问题的典故.汉诺塔来源于印度传说的一个故事,上帝创造世界时作了三根金刚石柱子,在一根柱子上从下往上按大小顺序摞着64片黄金圆 ...
最新文章
- 用Python抓取某东购买记录并统计MM的bra大小
- [转载]在VirtualBox中收缩虚拟磁盘映像文件
- 聚集索引和非聚集索引[转]
- 【算法编程】旋转数组查找最小数字
- Nuget包管理工具(程序包控制台执行语句)
- oracle 的控制结构
- c语言小球触地问题,OC语言中关于触摸事件和手势
- 用ISA 2004发布内部FTP服务器
- 计算机ppt试题训练,教案计算机试题.ppt
- 题137.pta数据结构题集-03-树3 Tree Traversals Again (25 分)
- 如何在校外下载期刊全文--应对大家工作后的资料搜寻
- 互联网产品经理,全方位入门,图书推荐
- python小欢喜(八)俄罗斯方块 (3) 组合对象的旋转
- AI-Tensorflow—Windows7安装TensorFlow方法
- 产品经理 网文20年
- 购物栏置底 - uni-ui组件uni-goods-nav放在屏幕下方的办法
- 实用主义 | 如何定制化群发你的微信消息
- WhatsApp发布安卓手表客户端 手表聊天时代来了
- Linux网络连接NAT模式
- UglifyJS 新一代的Javascript压缩工具
热门文章
- 吴恩达深度学习 —— 2.14 向量化逻辑回归的梯度输出
- 【例题+习题】【数值计算方法复习】【湘潭大学】(七)
- 从欧拉公式看希尔伯特变换
- 算术基本定理“质数分解唯一性的证明”:古典方法与现代方法
- “源文件与模块生成时的文件不同,是否希望调试器使用它?”解决方案
- ImageMagick 拆分透明PNG 合并JPG和Alpha Mask
- 机器学习笔记II: 决策树
- Java操作Oracle
- c# npoi 2.5版本设置字体加粗_Python帮你做Excel——格式设置与画图
- sql注入攻击_让你彻底明白sql注入攻击