bzoj 3207 可持久化线段树

　　首先因为固定询问长度，所以我们可以将整个长度为n的数列hash成长度为n-k+1的数列，每次询问的序列也hash成一个数，然后询问这个数是不是在某个区间中出现过，这样我们可以根据初始数列的权值建立可持久化线段树，对于每个询问先二分判断是否出现在数列中过，然后再判断是否在区间内出现过。也可以离线将询问和数列建立可持久化线段树，那么直接判断就可以了，但是空间消耗会大些。

　　反思：偷懒直接用的map判的是否出现，然后改了hash用long long存之后map_insert没有改，然后就一直WA。

　　　　　不知道数据的范围，开大了数组好多。

/**************************************************************

    Problem: 3207

    User: BLADEVIL

    Language: C++

    Result: Accepted

    Time:6580 ms

    Memory:130804 kb

****************************************************************/

 

//By BLADEVIL

#include <map>

#include <cstdio>

#include <cstring>

#include <algorithm>

#define maxn 500010

#define LL long long

  

using namespace std;

   

struct segment {

    int left,right,cnt;

    int son[2];

    segment() {

        left=right=cnt=0;

        memset(son,0,sizeof son);

    }

}t[12*maxn];

   

struct rec {

    int num,key;

    LL hash;

    rec() {

        hash=num=key=0;

    }

}a[maxn];

   

int n,m,k,sum,tot;

int rot[maxn];

map<LL,int>tree;

   

bool cmp1(rec x,rec y) {

    return x.hash<y.hash;

}

   

bool cmp2(rec x,rec y) {

    return x.num<y.num;

}

   

void map_insert(LL x,int y) {

    if (tree.find(x)==tree.end()) tree.insert(pair<LL,int>(x,y));

}

   

void build(int &x,int l,int r) {

    if (!x) x=++tot;

    t[x].left=l; t[x].right=r;

    if (l==r) return ;

    int mid=t[x].left+t[x].right>>1;

    build(t[x].son[0],l,mid); build(t[x].son[1],mid+1,r);

}

   

void insert(int &x,int rot,int y) {

    if (!x) x=++tot;

    t[x].left=t[rot].left; t[x].right=t[rot].right;

    if (t[x].left==t[x].right) {

        t[x].cnt=t[rot].cnt+1;

        return ;

    }

    int mid=t[x].left+t[x].right>>1;

    if (y>mid) {

        t[x].son[0]=t[rot].son[0];

        insert(t[x].son[1],t[rot].son[1],y);

    } else {

        t[x].son[1]=t[rot].son[1];

        insert(t[x].son[0],t[rot].son[0],y);

    }

    t[x].cnt=t[rot].cnt+1;

}

   

int query(int lx,int rx,int y) {

    if (t[lx].left==t[lx].right) return t[rx].cnt-t[lx].cnt;

    int mid=t[lx].left+t[lx].right>>1;

    if (y>mid) return query(t[lx].son[1],t[rx].son[1],y); else return query(t[lx].son[0],t[rx].son[0],y);

}

   

int main() {

    scanf("%d%d%d",&n,&m,&k);

    for (int i=1;i<=n;i++) scanf("%d",&a[i].key);

    n=n-k+1;

    for (int i=1;i<=n;i++) 

        for (int j=i;j<=i+k-1;j++) a[i].hash=a[i].hash*107+a[j].key;

    for (int i=1;i<=n;i++) a[i].num=i;

    sort(a+1,a+n+1,cmp1); sum=1; LL cur=a[1].hash;

    //for (int i=1;i<=n;i++) printf("%d ",a[i].hash); printf("\n");

    for (int i=1;i<=n;i++)

        if (a[i].hash==cur) a[i].key=sum; else cur=a[i].hash,a[i].key=++sum;

    sort(a+1,a+n+1,cmp2);

    //for (int i=1;i<=n;i++) printf("%d ",a[i].key); printf("\n"); 

    for (int i=1;i<=n;i++) map_insert(a[i].hash,a[i].key);

    build(rot[0],1,sum);

    for (int i=1;i<=n;i++) insert(rot[i],rot[i-1],a[i].key);

    while (m--) {

        int l,r; scanf("%d%d",&l,&r); if (r>n) r=n;

        LL ha=0;

        for (int i=1;i<=k;i++) {

            int x; scanf("%d",&x);

            ha=ha*107+x;

        }

        map<LL,int>::iterator p=tree.find(ha);

        if (p==tree.end()) {

            printf("Yes\n");

            continue;

        }

        int y=p->second;

        if (query(rot[l-1],rot[r],y)>0) printf("No\n"); else printf("Yes\n");

        //printf("%d\n",query(rot[l-1],rot[r],y));

    }

    return 0;

}