N个鸡蛋放入M个篮子且能组合出1~N所有的数

貌似是一道面试题，要求篮子不能为空，且要求出所有可能的放法。

如8个鸡蛋放入4个篮子，可以放 1，1，2，4；也可以放 1，2，2，3。

分析：

• 不妨以递增的次序来排放鸡蛋，即若第一次放1个，第二次至少放1个。

• 在这个限制下，设前m个篮子放了n个鸡蛋，那么这m个篮子要能组合出1~n内的所有数。

反证法：假设无法凑出 x，有1<x<n，若x<f(m)，则永远无法凑出x，矛盾；若f(m)<x<n，则

一定存在y<f(m) 是无法凑出的，因为存在k使得 x-f(m)-f(m-1)-...-f(k+1)<f(k)，该不等式是显然的，

左边的数记为y，于是y<f(k)且y无法用前k个数凑出，因此y永远也无法凑出。上述结论得证。

注：f(i)表示第i个篮子放的鸡蛋数

• 有了该结论，前m个篮子能组合出1~n，那么第m+1个篮子的取值范围为 [f(m),n]，左边界很好理解，右边界设为 v，则使用v的情况下覆盖区域是 [1+v, n+v] ；它和[1, n] 取并集应该覆盖[1, n+v]，即1+v<=n+1；得到 右边界为 n。

在上述分析下可以进行dfs+剪枝，剪枝会十分高效。

剪枝：

设前m个篮子放了总共n个鸡蛋，第m个篮子放了f(m)个鸡蛋，我们来列举一下第 m+1 个篮子鸡蛋数的剪枝条件：

• 第m+1个篮子的取值范围是 [ f(m)，n ]；
• 假设放了f(m+1)个，后面还有(M-m-1)个篮子，(N-n)个鸡蛋，必须满足 (M-m-1)*f(m+1) <= N-n，即鸡蛋要足够多，使得后面篮子至少能放f(m+1)个鸡蛋；若不满足则说明f(m+1)以及比该值大的放法都不可取；
• 同样的，还要满足 2^(M-m-1)*f(m+1)>=N，即篮子要足够多；否则，说明f(m+1)取值过小，导致鸡蛋太多没地儿放，因此该f(m+1)及比其小的放法也不可取。

这三个剪枝条件能得到f(m+1)的三个取值区间，取交集就是第m+1个篮子的放法。

mandycool原创，

转载请注明出处，

谢谢！