版权声明:本文为博主原创文章,未经博主允许不得转载。 https://blog.csdn.net/qq_35649707/article/details/82584818
题解:
设
,合法解
满足
。
也就是如果 能被表示为 ,且 能被表示为 ,这个 就对应一种方案。
直接在 进制意义下做DP即可,设最后一位位于 位,各位的总和为 ,那么要满足 ,且 。 按位DP即可。
#include <bits/stdc++.h>
using namespace std;
const int N=4e3+50, mod=1e9+7;
inline int add(int x,int y) {return (x+y>=mod) ? (x+y-mod) : (x+y);}
inline int dec(int x,int y) {return (x-y<0) ? (x-y+mod) : (x-y);}
int n,m,k,ans,s[N],f[N];
int main() {
cin>>n>>m>>k;
for(int i=0;i<=m;i++) s[i]=1;
for(int i=1;i<=(n+m)/(k-1);++i) {
for(int j=1;j<=m;++j) {
f[j]=dec(s[j-1],(j>=k) ? s[j-k] : 0);
if((j%(k-1))==(m%(k-1)) && 1+i*(k-1)-j<=n && ((1+i*(k-1)-j)%(k-1))==(n%(k-1))) ans=add(ans,f[j]);
}
for(int j=1;j<=m;j++) f[j]=add(f[j-1],f[j]), s[j]=add(s[j],f[j]);
} cout<<ans<<'\n';
}