【分块】【树状数组】bzoj3744 Gty的妹子序列

离散化，分块。

预处理出：ans[i][j] 第i块到第j块的逆序对数。

f[i][j] 第1~i块中大于j的数的个数。

g[i][j] 第1~j块中小于j的数的个数。

每次询问时对于整块部分可以O(1)获得。

对于零散部分呢？

>在一列数的后面添加一个数，逆序对数会增加 数列中比它大的数的个数。

>在一列数的前面添加一个数，逆序对数会增加 数列中比它小的数的个数。

所以统计以上信息的时候，对于整块的部分，我们可以借由预处理的东西差分来O(1)地获得答案，零散的部分就是树状数组咯。

空间复杂度是O(n*sqrt(n))的。

时间复杂度是O(n*sqrt(n)*log(n))的。

P.S.根本不用卡常数什么的呢。

#include<cstdio>
#include<algorithm>
#include<cstring>
#include<cmath>
using namespace std;
#define N 50001
#define BLOCK_SIZE 250
int sz,sum,n,a[N],l[BLOCK_SIZE],r[BLOCK_SIZE],D[N],f[BLOCK_SIZE][BLOCK_SIZE];
int Less[BLOCK_SIZE][N],More[BLOCK_SIZE][N],b[N],en,m,x,y,num[N],ans;
struct Point{int v,p;}t[N];
bool operator < (const Point &a,const Point &b){return a.v<b.v;}
int Res,Num;char C,CH[12];
inline int G()
{
    Res=0;C='*';
    while(C<'0'||C>'9')C=getchar();
    while(C>='0'&&C<='9'){Res=Res*10+(C-'0');C=getchar();}
    return Res;
}
inline void P(int x)
{
    Num=0;if(!x){putchar('0');puts("");return;}
    while(x>0)CH[++Num]=x%10,x/=10;
    while(Num)putchar(CH[Num--]+48);
    puts("");
}
void add(int p,const int &v) {while(p<=n) {D[p]+=v; p+=(p&(-p));}}
int getsum(int p) {int res=0; while(p) {res+=D[p]; p-=(p&(-p));} return res;}
void makeblock()
{
    sz=sqrt(n); if(!sz) sz=1;
    for(sum=1;sum*sz<n;sum++)
      {
          l[sum]=r[sum-1]+1;
          r[sum]=sum*sz;
          for(int i=l[sum];i<=r[sum];i++) num[i]=sum;
      }
    l[sum]=r[sum-1]+1;
    r[sum]=n;
    for(int i=l[sum];i<=r[sum];i++) num[i]=sum;
}
void LiSan()
{
    sort(t+1,t+n+1); a[t[1].p]=++en;
    for(int i=2;i<=n;i++)
      {
          if(t[i].v!=t[i-1].v) en++;
          a[t[i].p]=en;
      }
}
void init_each_ans()
{
    for(int i=1;i<=sum;i++)
      {
          memset(D,0,sizeof(D)); int pos=0,res=0;
          for(int j=i;j<=sum;j++)
            {
                for(int k=l[j];k<=r[j];k++)
                  {
                      pos++;
                      add(a[k],1);
                      res+=(pos-getsum(a[k]));
                  }
                f[i][j]=res;
            }
      } memset(D,0,sizeof(D));
}
void init_sum()
{
    memcpy(b,a,sizeof(b));
    for(int i=1;i<=sum;i++)
      {
        sort(b+l[i],b+r[i]+1);
          memcpy(More[i],More[i-1],sizeof(More[i]));
          memcpy(Less[i],Less[i-1],sizeof(Less[i]));
          for(int j=1;j<=en;j++)
            {
                More[i][j]+=(b+r[i]+1-upper_bound(b+l[i],b+r[i]+1,j));
                Less[i][j]+=(lower_bound(b+l[i],b+r[i]+1,j)-(b+l[i]));
            }
      }
}
int getMore(const int &L,const int &R,const int &v){return More[R][v]-More[L-1][v];}
int getLess(const int &L,const int &R,const int &v){return Less[R][v]-Less[L-1][v];}
int main()
{
    n=G();
    for(int i=1;i<=n;i++)
      {
          t[i].v=G();
          t[i].p=i;
      }
    LiSan(); makeblock(); init_each_ans(); init_sum();
    m=G();
    for(int j=1;j<=m;j++)
      {
          x=G(); y=G(); x^=ans; y^=ans;
          if(num[x]+1>=num[y])
            {
                int pos=0; ans=0;
                for(int i=x;i<=y;i++)
                  {
                      pos++;
                      add(a[i],1);
                      ans+=(pos-getsum(a[i]));
                  }
                for(int i=x;i<=y;i++) add(a[i],-1);
              P(ans);
            }
          else
            {
                int pos=r[num[x]]-x+1; ans=f[num[x]+1][num[y]-1];
                for(int i=r[num[x]];i>=x;i--)
                  {
                      ans+=(getLess(num[x]+1,num[y]-1,a[i])+getsum(a[i]-1));
                      add(a[i],1);
                  }
                for(int i=l[num[y]];i<=y;i++)
                  {
                      pos++;
                      add(a[i],1);
                      ans+=(pos-getsum(a[i])+getMore(num[x]+1,num[y]-1,a[i]));
                  }
                for(int i=x;i<=r[num[x]];i++) add(a[i],-1);
                for(int i=l[num[y]];i<=y;i++) add(a[i],-1);
              P(ans);
            }
      }
    return 0;
}