LeetCode887题：鸡蛋掉落——动态规划法与数学法

1. 问题介绍

关于临界楼层查找问题的最优查找策略，我已经在上一篇博客摔玻璃球(鸡蛋)查找临界楼层中做了详细讲解，本文将继续研究相关问题。

假如题目不要求给出具体的最优查找策略，只问最坏情况下至少需要多少次查找，那么该如何求解呢？LeetCode887题：鸡蛋掉落也提出了相同的问题。

2. 方法研究

为叙述方便，定义如下变量或函数：玻璃球个数$N$，玻璃球摔碎个数$N_b$，查找楼层数$F$，临界楼层$F_c$，最大查找次数$T$，$N$和$T$确定时可查找的最大楼层数$F_{Max}$，$F_{Max}$与$N$和$T$的函数关系$f$($N$, $T$)，查找路径$P$。

最坏情况下的查找次数即为最大查找次数$T$，在摔玻璃球(鸡蛋)查找临界楼层中，$T$为二叉查找树的深度，假如构造出二叉查找树即可求出$T$的值。但如果不构造二叉查找树能不能求$T$的值呢？

2.1 动态规划法

根据定义，$N$,$F$和$T$满足如下关系：$f$($N$, $T$-$1$)<$F$≤$f$($N$, $T$)，假如能推导出$f$($N$, $T$)的公式，然后将$T$=1, 2, 3, … 依次代入关系式中，使关系式成立的$T$即为所求。

按照动态规划思想推导$f$($N$, $T$)函数的递推公式：

1. 当$N$=$1$时，只能从第1层开始向上逐层查找，因此有几次查找机会，最多就能查找几个楼层，即$f$($1$, $T$)=$T$；
2. 当$T$=$1$时，不管有几个玻璃球，只有1次查找机会时，最多只能查找1个楼层，即$f$($N$, $1$)=$1$；
3. 当$N$>$1$, $T$>$1$时，第1个玻璃球在某层查找，若摔碎，则用第2个玻璃球查找该层下方楼层，最多可查$f$($N$-$1$, $T$-$1$)个楼层，若没碎，则继续查找该层上方楼层，最多可查$f$($N$, $T$-$1$)个楼层，一共最多可查楼层数为下方楼层加上方楼层再加当前所在层：$f$($N$, $T$)=$f$($N$-$1$,$T$-$1$)+$f$($N$,$T$-$1$)+$1$。同理可继续拆分$f$($N$-$1$, $T$-$1$)和$f$($N$, $T$-$1$)，直到$N$=$1$或$T$=$1$，即可求得$f$($N$, $T$)的值。

综上，$f$($N$, $T$)的递推公式为：
   $f(N,T)=f(N-1,T-1)+f(N,T-1)+1$   $(N\ge 2,T\ge 2)$
初始条件为：
   $f(1,T)=T,$ $f(N,1)=1$   $(N=1$ 或 $T=1)$

根据$f(N,T)$递推公式计算可得$N$, $T$与$F_{Max}$的数值对照表，如表1所示。已知$N$和$F$，查表可得最大查找次数$T$。

                     表1. $N$,$T$,$F_{Max}$数值对照表

$N/T$	1	2	3	4	5	6	7	8	9	10	11	12	13	14	…	99	100
1	1	2	3	4	5	6	7	8	9	10	11	12	13	14	…	99	100
2	1	3	6	10	15	21	28	36	45	55	66	78	91	105	…	4950	5050
3	1	3	7	14	25	41	63	92	129	175	231	298	377	469	…	…	…
4	1	3	7	15	30	56	98	162	255	385	561	793	1092	1470	…	…	…
5	1	3	7	15	31	62	119	218	381	637	1023	1585	2379	3472	…	…	…
6	1	3	7	15	31	63	126	246	465	847	1485	2509	4095	6475	…	…	…
7	1	3	7	15	31	63	127	254	501	967	1815	3301	5811	9907	…	…	…
8	1	3	7	15	31	63	127	255	510	1012	1980	3796	7098	12910	…	…	…
9	1	3	7	15	31	63	127	255	511	1022	2035	4016	7813	14912	…	…	…

根据表1分别绘制$N$取不同值(1, 2, 3, 4, 5, +$\infty$)时的$F_{Max}$-$T$函数图像，其中$T$=1, 2, 3, …, 50，如图1所示。当$N$=+$\infty$时，$F_{Max}$=$2^T$-$1$。
                       图1. $F_{Max}$-$T$函数图像

2.2 数学法

利用$f$($N$, $T$)的递推公式计算$F_{Max}$的值需要递归计算若干子问题的解，这样未免太过繁琐，如果能推导出$f$($N$, $T$)的通项公式，然后将$N$和$T$代入公式直接求出$F_{Max}$，就会极大地减少计算量。

2.2.1 f(N, T)的前T项和与组合数公式

因为$N$表示玻璃球数量，$T$表示最大查找次数，所以$N$和$T$均为正整数。

1. 当$N$≥$2$, $T$≥$2$时：
   设$f(N,T)$的前$T$项和为$s(N,T)$，则有
   $f(N,T)=$