线性dp，毫哥和巨佬的故事

Contest (nefu.edu.cn)

Problem:E

Time Limit:10000ms

Memory Limit:262144K

Description

众所周知，毫哥和巨佬是好朋友，他们各有所好，毫哥喜欢数字，巨佬喜欢取余，有一天他们决定来玩一个游戏来决定谁的能力更高。
毫哥说决定我的能力的数字中的各个位的值不能包含0，并且数字的各个位的值的和得等于x；例如：x=5时，满足毫哥的能力值可以为：113, 23, 5但是对于50虽然和是5，但是含有0就不是毫哥的能力值。
巨佬说决定我的能力的数字必须得整除y；例如：y=10时，0,100，200等都是巨佬的能力值。
于是他们找来了好朋友康康，希望康康帮助他们统计出同时满足他们2个人条件的能力值有多少个？由于答案很大，请你对1000000007取模。
0 
Input
 
输入一行一个x，一个y。
 
Output
 
输同时满足两个条件的能力值的个数。
 
Sample Input
 
3 6
 
Sample Output
 
1
 
解析：
 
状态更新方式：用当前状态更新依赖他的状态
 

 这道题不容易想到用dp来做
  DP的核心思想是用集合来表示一类方案，然后从集合的维度来考虑状态之间的递推关系。
  受上述性质启发，状态表示为：
  f[i][k]表示为当前只需要加上i即可等于x，且模y等于k；
  我们可以发现这是一个不重不漏的集合划分方式
  则状态的转移方式为
  f[i-j][(k*10+j)%y]+=f[i][k];
  i: x到0
  j: 1到9
  k：0到y
  初始化为f[x][0]=1;
  最终答案为f[0][0];
 
#include
#include
#include
#include
#include
#include
#include
#include
#include
#include
#include
#include
#include
using namespace std;
typedef long long LL;
const LL N = 5e4 + 5, M = 500 + 5, mod = 1e9 + 7;
LL x, y;
LL f[N][M];
 
int main() {
	scanf("%d%d", &x, &y);
	f[x][0] = 1;
	for (int i = x; i >= 0; i--) {
		for (int j = 1; j <= min(i, 9); j++) {
			for (int k = 0; k <= y - 1; k++) {
				f[i - j][(k * 10 + j) % y] += f[i][k];
				f[i - j][(k * 10 + j) % y] %= mod;
			}
		}
	}
	cout << f[0][0] << endl;
	return 0;
}