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[];
    segment() {
        left=right=cnt=;
        memset(son,,sizeof son);
    }
}t[*maxn];

struct rec {
    int num,key;
    LL hash;
    rec() {
        hash=num=key=;
    }
}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>>;
    build(t[x].son[],l,mid); build(t[x].son[],mid+,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+;
        return ;
    }
    int mid=t[x].left+t[x].right>>;
    if (y>mid) {
        t[x].son[]=t[rot].son[];
        insert(t[x].son[],t[rot].son[],y);
    } else {
        t[x].son[]=t[rot].son[];
        insert(t[x].son[],t[rot].son[],y);
    }
    t[x].cnt=t[rot].cnt+;
}

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>>;
    if (y>mid) return query(t[lx].son[],t[rx].son[],y); else return query(t[lx].son[],t[rx].son[],y);
}

int main() {
    scanf("%d%d%d",&n,&m,&k);
    for (int i=;i<=n;i++) scanf("%d",&a[i].key);
    n=n-k+;
    for (int i=;i<=n;i++)
        for (int j=i;j<=i+k-;j++) a[i].hash=a[i].hash*+a[j].key;
    for (int i=;i<=n;i++) a[i].num=i;
    sort(a+,a+n+,cmp1); sum=; LL cur=a[].hash;
    //for (int i=1;i<=n;i++) printf("%d ",a[i].hash); printf("\n");
    for (int i=;i<=n;i++)
        if (a[i].hash==cur) a[i].key=sum; else cur=a[i].hash,a[i].key=++sum;
    sort(a+,a+n+,cmp2);
    //for (int i=1;i<=n;i++) printf("%d ",a[i].key); printf("\n");
    for (int i=;i<=n;i++) map_insert(a[i].hash,a[i].key);
    build(rot[],,sum);
    for (int i=;i<=n;i++) insert(rot[i],rot[i-],a[i].key);
    while (m--) {
        int l,r; scanf("%d%d",&l,&r); if (r>n) r=n;
        LL ha=;
        for (int i=;i<=k;i++) {
            int x; scanf("%d",&x);
            ha=ha*+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-],rot[r],y)>) printf("No\n"); else printf("Yes\n");
        //printf("%d\n",query(rot[l-1],rot[r],y));
    }
    return ;
}