分治法——整数划分问题

分治法——整数划分问题

问题：将给定正整数n表示成一系列正整数之和n=n1+n2+…+nk，其中n1≥n2≥…≥nk≥1，k≥1。求正整数n的不同划分个数p(n)。

思路分析——添加自变量，寻找递归关系

有些问题本身都具有比较明显的递归关系，因而容易用递归函数直接求解。而有些问题递归关系却不明显。

在本例中，如果设p(n)为正整数n的划分数，则难以找到递归关系，因此考虑增加一个自变量：将最大加数不大于m的划分个数记作q(n,m)。可以建立q(n,m)的如下递归关系：

1. n = 1 或者m =1，这种情况下，可能的划分只有一种，为最小的子问题。
2. m >= n > 1，由于m不可能大于n，因此此时m就是n，此时一定存在一个划分就是n本身，去掉这个划分的话，就还有q(n,n-1)种划分。
3. 1 < m < n，这种情形是最重要的。q(n,m) = q(n,m-1) + 最大加数是m的所有划分，问题的最后部分也是关键就是求出最大加数是m的所有划分。与之前的思路相似，最大加数是m的所有划分中，一定都含有一个m，那么去掉这个m，就可以写成q(n-m,m)，递推式就完成了。

分治不需要证明，此递推应该会收敛到最小子问题，但是有重复计算。

代码

//生成正整数n的划分个数
//输入：一个正整数n
//输出：划分个数
int q(int n,int m){
    if(n==1 || m==1) return 1;
    if(m>=n) return 1+q(n,n-1);
    if(m<n) return q(n,m-1)+q(n-m,m);
}

复杂度分析

关于这种复杂度计算仍然存疑，因为其复杂度的递推过程不明确，难以确定递推树。

注意要点

1. 注意在建立递归关系时，一定要注意考察是否覆盖了所有情况，例如本题中m=1&&n=1和m=1||n=1的区别。
2. 注意递推关系是否收敛，即子问题是否可以合并成原问题。
3. 分治可以借助中间变量盘活全局。