《具体数学》第一章课后习题-热身题个人解答

因为感觉书后有些答案并不详细，所以自己写了一下习题解答。个人水平和时间有限，有很多不会和错误，恳请见谅。

1. 按照定义，第一步需要在n取最小值时结论成立。然而n最小应该是2，因为“所有的马都有同样的颜色”$⟺\forall h_1\forall h_2,c(h_1)=c(h_2)$，h为马，c为颜色。n等于1不是基础。

2. 假设有$n$个圆盘时，最少需要移动$T_n$次圆盘。显然$T_1=2$。对于$n>1$的情况，$T_n\le 3T_{n-1}+2$。可以先将上方$n-1$个圆盘移到B，然后将最下面的圆盘移到中间，再将$n-1$个圆盘从B移到A，将最下面的圆盘移到B，最后将$n-1$个圆盘从A移到B，这种情况下，共需要移动$3T_{n-1}+2$次圆盘。

   另一方面，$T_n\ge 3T_{n-1}+2$。证明如下：当移动最下方的圆盘从A到中间时，上面的n-1个圆盘必然在B，需要移动$T_{n-1}$次；当移动最下方的圆盘从中间到B时，上面的n-1个圆盘必然在A，而该状态之前，这些圆盘在B，因此需要$T_{n-1}$次从B移动到A，然后再用相同的次数移动回去。加上最下方的圆盘移动的2次，得到上面的不等式。

   由两个不等式，可以得到 $T_n=3T_{n-1}+2$。

3. 在移动序列中，叠放序列不会重复。否则，这两个情况之间的操作没有改变任何状态，删除以后不会影响到结果。

   由2中的递推式，可以得到$T_n=3^n-1$，加上初始情况，共有$3^n$中互不相同的情况，且都合法。对于每个圆盘，它可能出现在A、B或中间，有3种情况，共有$3^n$种，且对应的合法情况均只有一种，因此每种情况均出现过，且恰好出现一次。

4. n=1时，可以得到；其余用数学归纳法可以得到：移动最底部圆盘，存在$2^n-1=(2^{n-1}-1)+1+(2^{n-1}-1)$步的方法，否则等价于移动n-1个圆盘。

5. 不可以。设n个圆$C_1\dots C_n$最多将空间划分为$L_n$块，有$L_1=1,L_n=L_{n-1}+2n-2$，因为$C_n$最多与$C_1\dots C_{n-1}$交于2n-2个点，多出2n-3个区域，加上$C_n$本身的区域，得到递推式。$L_4=14$，最多只能表示15种情况。

6. 设有n条直线，分别为$l_1,l_2\dots l_n$，最多可以将平面划分为$L_n$个有界区域。当n=1、2时，$L_n=0$; n=3时，$L_n=1$。试证$n\ge 3,L_n=\frac{(n-1)(n-2)}{2}$。假设$n=3,4\dots ,n-1$时，该结论成立，第n条直线最多与前n-1条直线交于n-1个点，最多额外划分出n-2个区域，易证结论正确。

7. 显然，$H(1)\ne 2$，basis不成立。