题意:数列满足对于
i
>
k
i>k
i>k 存在
a
i
−
k
a_{i-k}
ai−k到
a
i
−
1
a_{i-1}
ai−1的最小值
m
m
m满足
a
i
a_i
ai>
m
m
m。
题解:对于1-n的数列最小值必须放在1-k,记为j,对于1-j-1可以随便放,对于j+1-n则是一个子问题。记
f
[
n
]
f[n]
f[n]为1-n的方案数。
当
i
<
=
k
i<=k
i<=k时:
f
[
i
]
=
i
!
f[i]=i!
f[i]=i!
当
i
>
k
i>k
i>k时
f
[
i
]
=
∑
j
=
1
k
A
i
−
1
j
−
1
f
[
i
−
j
]
f[i]=\sum_{j=1}^{k} A_{i-1}^{j-1}f[i-j]
f[i]=j=1∑kAi−1j−1f[i−j]
简单变换可知。
f
[
i
]
=
(
i
−
1
)
!
∑
j
=
1
k
f
[
i
−
j
]
(
i
−
j
)
!
f[i]=(i-1)!\sum_{j=1}^{k}\frac{f[i-j]}{(i-j)!}
f[i]=(i−1)!j=1∑k(i−j)!f[i−j]
记
g
[
i
]
=
∑
j
=
1
i
f
[
i
]
i
!
g[i]=\sum_{j=1}^{i}\frac{f[i]}{i!}
g[i]=j=1∑ii!f[i]
所以
f
[
i
]
=
(
i
−
1
)
!
(
g
[
i
−
1
]
−
g
[
i
−
k
−
1
]
)
f[i]=(i-1)!(g[i-1]-g[i-k-1])
f[i]=(i−1)!(g[i−1]−g[i−k−1])
#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int N=1e7+10;
const int M=998244353;
int n,k;
ll inv[N],fac[N],f[N],g[N];
ll pow_mod(ll a,ll b){
ll ans=1;
while(b){
if(b&1) ans=a*ans%M;
b>>=1;a=a*a%M;
}
return ans;
}
ll c(int n,int m){
return fac[n]*inv[m]*inv[n-m]%M;
}
int main(){
fac[0]=1;int nn=1e7;
for(int i=1;i<=nn;i++) fac[i]=fac[i-1]*(i)%M;
inv[nn]=pow_mod(fac[nn],M-2);
for(int i=nn-1;i>=0;i--) inv[i]=inv[i+1]*(i+1)%M;
//cout<<inv[0]<<endl;
cin>>n>>k;
// cout<<(fac[1]*inv[1]%M)<<endl;;
g[0]=0;
for(int i=1;i<=(min(n,k));i++){
f[i]=fac[i];
g[i]=(g[i-1]+f[i]*inv[i]%M)%M;
}
// for(int i=1;i<=k;i++) printf("%lld ",f[i]);
for(int i=k+1;i<=n;i++){
f[i]=(fac[i-1]*(g[i-1]-g[i-k-1]+M)%M)%M;
g[i]=(g[i-1]+f[i]*inv[i]%M)%M;
}
printf("%lld\n",f[n]);
return 0;
}