双色汉诺塔算法的证明——数学归纳法

数学归纳法

我们先来了解一下数学归纳法（这个我高中的时候数学有选修的，可惜老师没讲，但是我自己还是自学了的）
数学归纳法（Mathematical Induction, MI）是一种数学证明方法，通常被用于证明某个给定命题在整个（或者局部）自然数范围内成立。除了自然数以外，广义上的数学归纳法也可以用于证明一般良基结构，例如：集合论中的树。这种广义的数学归纳法应用于数学逻辑和计算机科学领域，称作结构归纳法。——百度百科
我总结其步骤大致为
1.证明初始状态成立；
2.假设某一状态成立；
3.证明2中状态的下一状态也成立；
4.得出结论：对于所有情况都成立——因为我们2中的状态具有普遍性；

假设

如果你在看这个问题，相信你已经知道什么是单色汉诺塔以及单色的解法，而双色汉诺塔如下


我们不妨将颜色转变为两个状态，假设偶数盘状态为0，奇数盘状态为1。
最容易让人想到的假设是：