计数类DP初步

整数划分

一个正整数 nn 可以表示成若干个正整数之和，形如：n=n1+n2+…+nk，其中 n1≥n2≥…≥nk,k≥1。

我们将这样的一种表示称为正整数 n 的一种划分。

现在给定一个正整数 n，请你求出 n 共有多少种不同的划分方法。

这个问题也可以看成完全背包问题，有n个物品，容量为n的背包，每个物品的价值是1~n，每个物品可以有无限个

状态转移方程就是：$f[i][j]=f[i-1][j]+f[i][j-1\ast i]$（我故意写成1 * i 这样更好理解 ）

// Problem: 整数划分
// Contest: AcWing
// URL: https://www.acwing.com/problem/content/902/
// Memory Limit: 64 MB
// Time Limit: 1000 ms
// Code by: ING__
// 
// Powered by CP Editor (https://cpeditor.org)

#include <iostream>
#include <cstdio>
#include <algorithm>
#include <cstring>

using namespace std;

const int N = 1010;
const int MOD = 1e9 + 7;

int n;
int f[N];

int main(){
	cin >> n;
	f[0] = 1; // 这里要进行初始化，这里的完全背包要求的是要恰好装满背包
	for(int i = 1; i <= n; i++){
		for(int j = i; j <= n; j++){
			f[j] = (f[j] + f[j - i * 1]) % MOD;
		}
	}
	cout << f[n];
	return 0;
}

这个题还有另一种解法，就是正题，计数类DP解法。

状态表示：f[i][j] 表示所有总和是i，并且恰好表示成 j 个数的和的方案

状态划分为两个区域：在表示该数的方案中有小于 1 的数存在和 不存在小于 1 的方案（也就是方案中每个数都大于 1 ）

状态转移方程就是：$f[i][j]=f[i-1][j-1]+f[i-j][j]$

怎么解释上面这个方程呢qwq

如果在表示该数的方案存在小于1的数，那么我们可以去掉这个1，那么显然方案数就是$f[i-1][j-1]$

如果在表示该数的方案的那些全部的数的都是大于1的，那么我让它全部的数都减去 1，显然数的个数是不会少的，所以方案数就是$f[i-j][j]$

最后的答案就是${\sum }_{i=1}^{n}f[n][i]$

// Problem: 整数划分
// Contest: AcWing
// URL: https://www.acwing.com/problem/content/902/
// Memory Limit: 64 MB
// Time Limit: 1000 ms
// Code by: ING__
// 
// Powered by CP Editor (https://cpeditor.org)

#include <iostream>
#include <cstdio>
#include <algorithm>
#include <cstring>
#include <cmath>

using namespace std;

const int N = 1010;
const int MOD = 1e9 + 7;

int n;
int f[N][N];

int main(){
	cin >> n;
	f[0][0] = 1;
	for(int i = 1; i <= n; i++){
		for(int j = 1;j <= i; j++){
			f[i][j] = (f[i - 1][j - 1] + f[i - j][j]) % MOD;
		}
	}
	
	int ans = 0;
	for(int i = 1; i <= n; i++){
		ans += f[n][i];
	}
	cout << ans;
	return 0;
}