算法设计与分析 —— 整数划分问题

问题描述

（1）正整数n划分为若干正整数之和，最大加数不超过m的划分数（n划分最大加数不超过m）

（2）正整数n划分为不超过m个正整数之和的划分数（n划分为m份）

（3）正整数n划分为若干正奇整数之和的划分数

（4）正整数n划分为互不相同正整数之和的划分数

其中，整数划分无顺序，比如对7划分，认为2 2 3和3 2 2和2 3 2为同一种划分。

算法思路

（1）问题1和问题2等价。

根据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,m) =1 + f(n,n-1);

4. 当n<m时，由于划分中不可能出现负数，因此就相当于f(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);

递推表达式如下：

$$f(n,m)=\{\begin{array}{llccc}1& n=1||m=1& & & \\ f(n,n)& n<m& & & \\ 1+f(n,n-1)& n=m& & & \\ f(n-m,m)+f(n,m-1)& n>m& & & \end{array}$$