bzoj5342 CTSC2018 Day1T3 青蕈领主

首先显然的是，题中所给出的n个区间要么互相包含，要么相离，否则一定不合法。

然后我们可以对于直接包含的关系建出一棵树，于是现在的问题就是给n个节点分配权值，使其去掉最后一个点后不存在非平凡(长度大于1)的连续区间。

我们发现这个方案数和不存在不经过最大(小)值的非平凡连续区间的排列数是等价的。

于是我们考虑$f[n]$为长度为$n+1$的答案，我们考虑去掉最小值。

如果合法，那么必然是$f[n-1]$中的一种情况，而这时我们要将最小值插进去，我们发现，只要不插在次小值旁边就都是合法的，于是这部分的贡献就是$(n-1) \cdot f[n-1]$。

否则，我们考虑去掉后的序列中的极长的不经过最大值的非平凡连续区间长度为i，我们现在要将最小值插进去，然后满足这里面离散后没有一个不经过最小值的非平凡连续区间，这是$f[i]$，然后这段区间权值的取值可以取遍$3~n$，就有$n-i-1$种方案，然后我们把他缩成一个点，现在要剩下的点合法，就是$f[n-i]$，这部分的贡献就是$\sum_{i=2}^{n-2}{f[i] \cdot f[n-i] \cdot (i-1)}$

然后就可以愉快的cdq+fft啦。

 #include <cstdio>
 #include <cstring>
 #include <iostream>
 #include <algorithm>
 #include <cmath>
 #define mod 998244353
 #define N 133333
 using namespace std;
 int f[N],T,n,l[N],q[N],top,ans,cnt,flag;
 int len,inv,rev[N],a[N],b[N],tmp1[N],tmp2[N];
 int qp(int a,int b){
     int c=;
     for(;b;b>>=,a=1ll*a*a%mod)
         if(b&)c=1ll*c*a%mod;
     return c;
 }
 void UPD(int &a,int b){a=(a+b>=mod)?(a+b-mod):(a+b);}
 void ntt(int *a,int o){
     register int i,j,k,dan,now,t;
     for(i=;i<len;i++)if(i<rev[i])swap(a[i],a[rev[i]]);
     for(k=;k<=len;k<<=){
         dan=qp(,o==?(mod-)/k:(mod--(mod-)/k));
         for(i=;i<len;i+=k){
             now=;
             for(j=;j<(k>>);j++,now=1ll*now*dan%mod){
                 t=1ll*a[i+j+(k>>)]*now%mod;
                 a[i+j+(k>>)]=(a[i+j]-t+mod)%mod;
                 a[i+j]=(a[i+j]+t)%mod;
             }
         }
     }
     if(o==-){for(i=;i<len;i++)a[i]=1ll*a[i]*inv%mod;}
 }
 void mul(int *a,int *b,int *c,int l1,int l2){
     for(len=;len<=l1+l2;len<<=);
     for(int i=;i<len;i++){
         if(i&)rev[i]=(rev[i>>]>>)|(len>>);
         else rev[i]=rev[i>>]>>;
     }
     inv=qp(len,mod-);
     for(int i=;i<l1;i++)tmp1[i]=a[i];
     for(int i=l1;i<len;i++)tmp1[i]=;
     for(int i=;i<l2;i++)tmp2[i]=b[i];
     for(int i=l2;i<len;i++)tmp2[i]=;
     ntt(tmp1,);ntt(tmp2,);
     for(int i=;i<len;i++)c[i]=1ll*tmp1[i]*tmp2[i]%mod;
     ntt(c,-);
 }
 void cdq(int l,int r){
     if(l==r){
         UPD(f[l],1ll*f[l-]*(l-)%mod);
         return ;
     }
     int mid=(l+r)>>;
     cdq(l,mid);
     for(int i=l;i<=mid;i++){
         a[i-l]=1ll*f[i]*(i-)%mod;
         b[i-l]=f[i];
     }
     mul(a,b,a,mid-l+,mid-l+);
     for(int i=max(l<<,mid+);i<=r;i++)
         UPD(f[i],a[i-(l<<)]);
     if(l!=){
         for(int i=;i<=min(l-,r-l);i++)a[i-]=f[i];
         for(int i=l;i<=mid;i++)b[i-l]=f[i];
         mul(a,b,a,min(l-,r-l)-,mid-l+);
         for(int i=max(l+,mid+);i<=r;i++)
             UPD(f[i],1ll*a[i-l-]*(i-)%mod);
     }
     cdq(mid+,r);
 }
 int main(){
     scanf("%d%d",&T,&n);
     f[]=;f[]=;
     cdq(,n-);
     while(T--){
         ans=;top=;
         for(int i=;i<=n;i++)
             scanf("%d",&l[i]);
         if(l[n]!=n){puts("");continue;}
         for(int i=;i<=n;i++){
             cnt=flag=;
             while(top&&i-l[i]+<=q[top]){
                 if(i-l[i]+>q[top]-l[q[top]]+){flag=;break;}
                 top--,cnt++;
             }
             if(flag==)break;
             ans=1ll*ans*f[cnt]%mod;
             q[++top]=i;
         }
         if(flag)puts("");
         else printf("%d\n",ans);
     }
 }