BZOJ 4361 isn 容斥+dp+树状数组

题目链接：https://www.lydsy.com/JudgeOnline/problem.php?id=4361

题意概述：

　　给出一个长度为N的序列A(A1,A2...AN)。如果序列A不是非降的，你必须从中删去一个数，重复这一操作，直到A非降为止。求有多少种不同的操作方案，答案模10^9+7。

　　N<=2000.

分析：

　　首先手算一下样例确定一下题意，不同的方案实际上就是删除数字的位置的不同排列。

　　当手算答案的时候可以发现我们可以把答案按照最终序列的长度分类。看题目的样子可以搜索但是怎么都弄不出一个子问题来构造方程，答案又可以分类，于是考虑一下容斥。

　　首先我们求出f(x)表示长度为x的非降子序列的数量（可以dp搞定，用个树状数组优化一下），然后将其意义令g(x)表示得到长度为x的非降子序列的合法方案数。

　　我们观察一下这两个东西：

　　g(N) = f(N)

　　g(N-1) = f(N-1) - N*g(N) = f(N-1) - N*f(N)

　　g(N-2) = f(N-2) - (N-1)*g(N-1) - (N-1)*N*g(N) = f(N-2) - (N-1)*( g(N-1)+N*g(N) ) = f(N-2) - (N-1)*f(N-1)

　　......

　　相信聪明机智的你一定发现了什么（滑稽），容斥的时候只要令g(i) = f(i) - (i+1)*f(i+1)就可以辣！

 

　　容斥的关键还是在于分类啊

 

 

 #include<iostream>
 #include<cstdio>
 #include<cstring>
 #include<cstdlib>
 #include<algorithm>
 #include<cmath>
 #include<queue>
 #include<set>
 #include<map>
 #include<vector>
 #include<cctype>
 using namespace std;
 const int maxn=;
 const int mo=;

 int N,A[maxn],rank[maxn],f[maxn][maxn],g[maxn],J[maxn];
 struct Binary_Index_Tree{
     static const int msz=;
     int c[msz],n;
     Binary_Index_Tree(){
         memset(c,,sizeof(c)); n=;
     }
     void update(int i,int v){
         while(i<=n) c[i]=(c[i]+v)%mo,i+=i&(-i);
     }
     int query(int i){
         int re=;
         while(i) re=(re+c[i])%mo,i-=i&(-i);
         return re;
     }
 }bit[maxn];

 bool nega;
 void _scanf(int &x)
 {
     x=,nega=;
     char ch=getchar();
     while((ch<''||ch>'')&&ch!='-') ch=getchar();
     if(ch=='-') nega=,ch=getchar();
     while(ch>=''&&ch<='') x=x*+ch-'',ch=getchar();
     if(nega) x=-x;
 }
 void data_in()
 {
     _scanf(N);
     for(int i=;i<=N;i++) _scanf(A[i]);
 }
 void work()
 {
     memcpy(rank,A,sizeof(A));
     sort(rank+,rank+N+);
     int cnt=unique(rank+,rank+N+)-rank-;
     for(int i=;i<=N;i++) bit[i].n=cnt;
     for(int i=;i<=N;i++)
         A[i]=lower_bound(rank+,rank+cnt+,A[i])-rank;
     for(int i=;i<=N;i++){
         f[i][]=;
         for(int j=;j<=i;j++)
             f[i][j]=(f[i][j]+bit[j-].query(A[i]))%mo;
         for(int j=;j<=i;j++)
             bit[j].update(A[i],f[i][j]);
     }
     for(int i=;i<=N;i++)
     for(int j=;j<=i;j++) g[j]=(g[j]+f[i][j])%mo;
     J[]=;
     for(int i=;i<=N;i++) J[i]=1ll*i*J[i-]%mo;
     for(int i=;i<=N;i++) g[i]=1ll*g[i]*J[N-i]%mo;
     for(int i=;i<N;i++) g[i]=(g[i]-1ll*g[i+]*(i+)%mo+mo)%mo;
     int ans=;
     for(int i=;i<=N;i++) ans=(ans+g[i])%mo;
     printf("%d\n",ans);
 }
 int main()
 {
     data_in();
     work();
     return ;
 }