本章主要探讨了三个问题汉诺塔，直线切分平面，约瑟夫问题，这三个问题都是典型的递归问题，之后介绍了解决递归式的成套方法。
汉诺塔
汉诺塔：汉诺塔（又称河内塔）问题是源于印度一个古老传说的益智玩具。大梵天创造世界的时候做了三根金刚石柱子，在一根柱子上从下往上按照大小顺序摞着n片黄金圆盘。大梵天命令婆罗门把圆盘从下面开始按大小顺序重新摆放在另一根柱子上。并且规定，在小圆盘上不能放大圆盘，在三根柱子之间一次只能移动一个圆盘。要求出需要移动多少次圆盘。
题解：
假设有1，2，3号柱子，i个圆盘都在from号柱子上，假设从from号柱子移动到to号柱子。最优移动轨迹需要重复以下步骤：
- 要把序号为1~i-1的圆盘从from移动到mid柱子上，如果i=1，则直接把圆盘移动到to柱子上
- 把序号为i的圆盘从from移动到to柱子（移动1次）
- 把序号1~i-1的圆盘从mid移动到to柱子上。（3和1移动次数相同）
显然根据递推关系，有
构建等比数列后计算得
理解以上内容后，看一下进阶的问题，给定一个int数组arr，数组元素的值为1,2,3中的一个，代表所有圆盘的位置序号，arr[i]的值代表i+1个圆盘的位置，比如arr=[1,1,3,2]代表1~4号圆盘（由小到大）分别在1号，1号，3号，2号柱子上，如果arr数组代表的状态是最优移动轨迹的状态，则返回arr是经过最少几次移动变成的，如果不是最优移动轨迹，则返回-1。
举例：
- arr=[1,1]。两个圆盘都在1号柱子上，也就是初始状态，返回0。
- arr=[2,1]。1号圆盘在2号柱子上，2号圆盘在1号柱子上，移动一次即可达到，返回1。
- arr=[2,2]。两个圆盘都在2号柱子上，这并不是最优移动轨迹中的一步，所以返回-1。
分析：
对于arr[i-1]代表第i个圆盘在哪个柱子上，就可分为如下情况：
- 圆盘i在from号柱子上，递归检查其余圆盘即arr[i-2],arr[i-3]...的情况，对每次递归检查的结果，如果符合情况1，则不加步数（注意每次递归中，from,mid,to传入的值会发生变化，目标为从from到mid）
- 圆盘i在to号柱子上，说明步骤1已完成，且步骤2已完成，步骤3中移动了多少次需要查看1~i-1号圆盘位置来确定，所以至少经过了步（因为已知，这是步骤1的步数，再加上步骤2的一步，可得），递归检查arr[i-2],arr[i-3]...的情况，对每次递归检查的结果，如果符合情况2，则加相应步数（from,mid,to也会发生变化，目标为从mid到to）
- 在每次递归中，发现圆盘i,i-1,i-2...在mid号柱子上，这不是最优移动轨迹的情况，直接返回-1
具体代码如下：
public class TowerOfHanoi {
static int []arr={3,3,3,3,3};
public static int count1(int []arr,int i,int from,int mid,int to){
// 这里作为防止数组越界的终止条件，要在递归调用第一句写出，不然会发生当i=-1时，对arr[i]的访问
if(i==-1){
return 0;
}
// 首先作为最优移动轨迹的判断条件
if(arr[i]!=from&&arr[i]!=to){
return -1;
}
if(arr[i]==from){
// 注意这里和下面的递归中，from,mid,to的值会发生变化
return count1(arr,i-1,from,to,mid);
}
else{
// rest保存i-1个圆盘移动的步数
int rest=count1(arr,i-1,mid,from,to);
// 在递归中一旦发现非最优移动轨迹，则返回-1
if(rest==-1){
return -1;
}
// 将rest和第i个圆盘移动的步数相加
return (1<=0){
if(arr[i]!=from&&arr[i]!=to){
return -1;
}
if(arr[i]==to){
ans+=1< 分析以上代码，发现其实函数调用总共只进行了N次，所以时间复杂度为，但空间复杂度由于递归需要函数栈的关系，为，采用非递归形式，可以将空间复杂度降低到
直线划分平面
先看一个简单的例子，N条直线最多可以将平面划分为多少个部分？
分析：
第n条直线使得区域个数增加了k个，当且仅当它对k个已有区域进行了分割，而显然直线必须穿越前面k-1个部分才能实现。第n条直线与前面n-1条直线相交最多有n-1个不同的交点，也就是说k<=n，故而有上界：
从而有
下面看几个变形：
-
如果用n条V字型的折线分割平面，划分区域的个数，如下图
image.png
可以看到V字形的折线如果将每个折线两条线反向延长，其实就是两条相交的直线，有理由相信，在使得每条直线交于不同点情况下，然而因为是V型的，所以两条反向延长线去掉之后，都会把三个部分合成一个部分，所以，对于每一个V，反向延长线去掉之后，平面分割的部分数目就要减去2，而总共有n个V型的线，故 如果用n条Z字型的线分割平面，可以当做两条平行线和一条与平行线相交的直线的组合。两条平行线会使得区域数目减1，然后把三条线的延长线去掉，数目减去4，一共减去5，则有
约瑟夫问题
下面是本章重点与难点——约瑟夫问题
首先从最简单的情况入手，个人围成一个圈，每隔一个人杀死一个人，问最后谁会活下来。
举例：
一共5个人，1号跳过，2号死，3号跳过，4号死，5号跳过，1号死，3号跳过，5号死，最后剩下3号。
分析：
有n个人时，我们设幸存者号码为
假设开始一共有2n个人，经过第一轮后，剩下的人是
此时在经过一轮之后，显然对应n个人开始的情形，只不过号码是，即
而当人数为奇数即2n+1个人时，标号为1的人恰好在标号为2n的人后面被排除，于是剩下的人是：
同上面分析相同，与n个人时情况相对比，有
只不过这时号码是，综上，可得对于的递归式：
有了以上递归式，显然能够计算出n为任意值时，的结果，但这样的递归式计算效率还是不让人满意，我们希望得出一个封闭式（注：指仅仅显式包含了加减乘除和对指幂运算的算式），通过递归式，我们对的值做出一张表，试图找出其值的规律：
可以明显的看到，通过我们对的值做一个分组，具体为按照2的幂将表中的数据分组（在表中用竖线分隔开），在每一组的开始总是等于1，并且组里的数据每次递增2．因此，如果我们将n写为是不超过n的2的最大次幂，是剩余的值，则有
可以从图中得出
对上面结论的证明可以通过数学归纳法推出，这里就略过了。
得出以上数学上的结论后，我们试图从计算机视角，也就是二进制去思考这个问题。n可以通过二进制展开为，即
显然有
故有以下几个式子：
- ········
- ·········
- ·······
也就是说我们把n的二进制值向左循环位移1位即可得到，但需要注意的是，对，而非。也就是说一旦循环位移后首位变成了0，就要把这个0舍弃掉，只有保证首位一定是左数第一个1，这样才能保证结果的正确性（保证J(n)<=n）。
当然，我们现在只是处理了隔1个人的情况，如果隔2个人，3个人，k个人呢，本章中我们使用的方法就不够通用了，到第三章会给出这个问题的通解。下面介绍解决递推关系很方便的一种方法。
成套方法（待定系数法）
此部分具体数学课本中写的不够详尽，参考自Geoffrey Matthews教授在讲义中关于成套方法的讲解。
对于形如以下递推式
将上式可以化为
可以看到都可以化作的组合的形式，问题的关键在于求解这三个值，与这三个值对应的值
更确切说
需要注意的是，取不同值时，比如为1；0；0，带入递推关系则的值中显然可以唯一确定。同样的取0；1；-3时，显然的值中之间是线性组合的关系。
我们解题的方向就是先把唯一确定的值求出来，然后把其余值通过确定的值表示出来，即可得到最终的递归表达式
有了以上思路后，下面我们做出一些尝试：
通过假定，可以很轻松通过得到的值，并将化为更简略的形式，下面再做出类似的尝试
此时只剩下未知的
这里需要注意，因为中，的系数是1，所以假设后，对化简时，会把消去，而如果系数不为1，显然是做不到这点的，那就需要变换对于的假设了，后面有个例子会讲到。
对上式化简
可以看到我们通过唯一确定的将也唯一的表示出来了，再将我们求出来的三个值带入即可得到递推的表达式
也就是说，形如下面所示的其通项公式可以表示为
对下面递推式做一个检验
-
image.png
我们随便带入几个值，显然是正确无误的。
同时，显然一些和式，也符合这个规律，只需要将和式做一些小的变化：
显然结果是正确的：
下面看一下上文中提到的特殊的情况（通过这个例子提醒我们灵活选取的值）
到这里就出现问题了，需要把系数2考虑进去，使得与间可以消去不易于计算的部分，显然在对的几种选择（多项式，指数，对数）中，选择以2为底的指数是最合适的
于是经过以上步骤，我们就可以得到通解
将具体的带入，即可得到特解
总结：
对上面问题做一个更简略的计算过程（如果的系数发生变化，则第三步假设的内容也要发生相应变化）
在介绍完成套方法后，可以看到其主要解决形如
形式的问题。然后约瑟夫问题面临的是形如的问题，试试我们的方法
注意到这里解题，是通过找规律的方式，猜想出的值，然后用数学归纳法证明它，之后用成套方法分别代入，求出剩余两个未知量
经过以上分析，我们可以给出以具有下形式的递推式的解：
设，也就是将n化为d进制后各位的值用保存下来
则递推式有
看起来很绕，举例说明一下，如果有递推式：
计算，则有，，
习题解答
热身题
解答：
-
很明显这道题在数论第一章对于数学归纳法的介绍中提到过，由于当n=1,2,3..中，1,2间不是连续的关系，所以无法直接采用数学归纳法，如果要想使用，必须起点从n=2开始。
image.png
作业题
解答：
考试题：
解答：
附加题：
解答：