CF1093F Vasya and Array

wxw巨巨的容斥写的比较好懂啊……
\(f[i][j]\)表示第\(i\)个数为\(j\)的时候的合法的方案数
然而状态记录成这样的话不能保证转移的合法,所以要容斥
也就是说每次相同的数的个数达到\(len\)个的时候,把在这之前合法但现在不合法的方案减掉
具体看代码应该比较好懂

//minamoto
#include<bits/stdc++.h>
#define R register
#define fp(i,a,b) for(R int i=a,I=b+1;i<I;++i)
#define fd(i,a,b) for(R int i=a,I=b-1;i>I;--i)
#define go(u) for(int i=head[u],v=e[i].v;i;i=e[i].nx,v=e[i].v)
using namespace std;
char buf[1<<21],*p1=buf,*p2=buf;
inline char getc(){return p1==p2&&(p2=(p1=buf)+fread(buf,1,1<<21,stdin),p1==p2)?EOF:*p1++;}
int read(){
    R int res,f=1;R char ch;
    while((ch=getc())>'9'||ch<'0')(ch=='-')&&(f=-1);
    for(res=ch-'0';(ch=getc())>='0'&&ch<='9';res=res*10+ch-'0');
    return res*f;
}
const int N=1e5+5,P=998244353;
inline int add(R int x,R int y){return x+y>=P?x+y-P:x+y;}
inline int dec(R int x,R int y){return x-y<0?x-y+P:x-y;}
int f[N][105],cnt[N][105],sum[N],a[N];
int n,k,len;
int main(){
//  freopen("testdata.in","r",stdin);
    n=read(),k=read(),len=read();if(len==1)return puts("0"),0;
    fp(i,1,n)a[i]=read();
    fp(i,1,n)fp(j,1,k)cnt[i][j]=cnt[i-1][j]+(a[i]==-1||a[i]==j);
    sum[0]=1;if(a[1]!=-1)f[1][a[1]]=1,sum[1]=1;
    else{
        fp(i,1,k)f[1][i]=1;sum[1]=k;
    }fp(i,2,n)fp(j,1,k)if(a[i]==-1||a[i]==j){
        f[i][j]=sum[i-1];
        if(i>=len){
            int l=i-len;
            if(cnt[i][j]-cnt[l][j]==len)f[i][j]=dec(f[i][j],dec(sum[l],f[l][j]));
        }sum[i]=add(sum[i],f[i][j]);
    }printf("%d\n",sum[n]);return 0;
}

猜你喜欢

转载自www.cnblogs.com/bztMinamoto/p/10142630.html