整数划分问题是算法中的一个经典命题之一,有关这个问题的讲述在讲解到递归时基本都将涉及。
所谓整数划分,是指把一个正整数n写成如下形式:
n=m1+m2+...+mi; (其中mi为正整数,并且1 <= mi <= n),则{m1,m2,...,mi}为n的一个划分。
如果{m1,m2,...,mi}中的最大值不超过m,即max(m1,m2,...,mi)<=m,则称它属于n的一个m划分。这里我们记n的m划分的个数为f(n,m);
例如但n=4时,他有5个划分,{4},{3,1},{2,2},{2,1,1},{1,1,1,1};
注意4=1+3 和 4=3+1被认为是同一个划分。
该问题是求出n的所有划分个数,即f(n, n)。
下面我们考虑求f(n,m)的递归方法:
根据n和m的关系,考虑以下几种情况:
(1)当n=1时,不论m的值为多少(m>0),只有一种划分即{1};
(2) 当m=1时,不论n的值为多少,只有一种划分即n个1,{1,1,1,...,1};
(3) 当n=m时,根据划分中是否包含n,可以分为两种情况:
a). 划分中包含n的情况,只有一个即{n};
b). 划分中不包含n的情况,这时划分中最大的数字也一定比n小,即n的所有(n-1)划分。
因此 f(n,n) =1 + f(n,n-1);
(4) 当n<m时,由于划分中不可能出现负数,因此就相当于f(n,n);
(5) 但n>m时,根据划分中是否包含最大值m,可以分为两种情况:
a). 划分中包含m的情况,即{m, {x1,x2,...xi}}, 其中{x1,x2,... xi} 的和为n-m,可能再次出现m,因此是(n-m)的m划分,因此这种划分个数为f(n-m, m);
b). 划分中不包含m的情况,则划分中所有值都比m小,即n的(m-1)划分,个数为f(n,m-1);
因此 f(n, m) = f(n-m, m)+f(n,m-1);
综合以上情况,我们可以看出,上面的结论具有递归定义特征,其中(1)和(2)属于回归条件,(3)和(4)属于特殊情况,将会转换为情况(5)。而情况(5)为通用情况,属于递推的方法,其本质主要是通过减小m以达到回归条件,从而解决问题。其递推表达式如下:
f(n, m) = 1; (n=1 or m=1)
f(n, n); (n<m)
1+ f(n, m-1); (n=m)
f(n-m,m)+f(n,m-1); (n>m)
因此我们可以给出求出f(n, m)的递归函数代码如下:
unsigned long GetPartitionCount(int n, int max)
{
if (n == 1 || max == 1)
return 1;
else if (n < max)
return compute(n, n);
else if (n == max)
return 1 + GetPartitionCount(n, max-1);
else
return GetPartitionCount(n,max-1) + GetPartitionCount(n-max, max);
}
分苹果问题:
M个相同苹果放到N个相同篮子里有多少种放法,允许有篮子不放。
1<=M<=10,1<=N<=10
例如5个苹果三个篮子,3,1,1 和 1,1,3是同一种放法
输入 7 3
输出 8
题目分析:
这道题类似于整数划分的题目,这是很早的一道ACM的题目,主要思路就是考递归。
①当苹果数目或者篮子数目为1时候,就只有一种可能
②当苹果数目小于篮子数目的时候,按照苹果数目来分配
③当苹果数目大于篮子数目的时候,空一个盘子 + 先每个盘子放一个之后再m-n个随便放
③当苹果数目等于篮子数目的时候,每个盘子放一个 + 空一个盘子
#include <iostream>
using namespace std;
int SharingApple(int m, int n)
{
if(m == 1 || n == 1)
return 1;
if(m < n)
return SharingApple(m , m);
else if(m > n)
return SharingApple(m, n-1) + SharingApple(m-n, n);
else
return 1 + SharingApple(m, n-1);
}
int main()
{
int M,N;
cin >> M >> N;
cout << SharingApple(M,N) << endl;
return 0;
}