BZOJ4361 : isn

Posted

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了BZOJ4361 : isn相关的知识,希望对你有一定的参考价值。

设$f[i]$表示长度为$i$的不下降子序列的个数。

考虑容斥,对于长度为$i$的子序列,如果操作不合法,那么之前一定是一个长度为$i+1$的子序列,所以答案$=\sum_{i=1}^n(f[i]\times (n-i)!-f[i+1]\times (n-i-1)!\times (i+1))$。

时间复杂度$O(n^2\log n)$。

 

#include<cstdio>
#include<algorithm>
const int N=2010,P=1000000007;
int n,i,j,x,a[N],b[N],bit[N][N],f[N],fac[N],ans;
inline void up(int&x,int y){x+=y;if(x>=P)x-=P;}
inline int lower(int x){
  int l=1,r=n,mid,t;
  while(l<=r)if(b[mid=(l+r)>>1]<=x)l=(t=mid)+1;else r=mid-1;
  return t;
}
inline void add(int p,int x,int y){for(;x<=n;x+=x&-x)up(bit[p][x],y);}
inline int ask(int p,int x){int t=0;for(;x;x-=x&-x)up(t,bit[p][x]);return t;}
int main(){
  for(scanf("%d",&n),i=fac[0]=1;i<=n;i++)scanf("%d",&a[i]),b[i]=a[i],fac[i]=1LL*fac[i-1]*i%P;
  std::sort(b+1,b+n+1),add(0,1,1);
  for(i=1;i<=n;i++)for(a[i]=lower(a[i]),j=i;j;j--)up(f[j],x=ask(j-1,a[i])),add(j,a[i],x);
  for(i=1;i<=n;i++){
    up(ans,1LL*f[i]*fac[n-i]%P);
    if(i<n)up(ans,P-1LL*f[i+1]*fac[n-i-1]%P*(i+1)%P);
  }
  return printf("%d",ans),0;
}

  

以上是关于BZOJ4361 : isn的主要内容,如果未能解决你的问题,请参考以下文章

BZOJ4361 : isn

bzoj 4361: isn

[BZOJ 4361]isn

BZOJ4361isn 动态规划+树状数组+容斥

bzoj4361isn 容斥+bit优化dp

BZOJ 4361 isn | DP 树状数组