日常训练 IQ测试 可持久化数组||链表

题意简述：判断一个序列$b$是否是另外一个序列$a$删除若干个数字之后得到的。原序列长度为$n$，有$m$组长度为L的询问。$(1\le a_i,b_i\le 10^6, \sum L\le 10^6,1\le n,m\le 10^6)$
做过字符集小的版本，就用一个类似跳转表的东西实现即可，但此题字符集太大，一开始想在跳转的时候把关键字对不同的质数取模来hash，但后来才发现完全没有卵用，因为不同质数之间的hash是独立的，所以和取一个质数hash效果一样差。后来发现可以可持久化那个跳转表，时间空间就都不爆炸了，复杂度带一个$log$，后来讨论的时候有另一种精妙做法只要$O(n+m)$，就是把$m$个询问的第一个元素插到链表里，扫$a$数组，每扫到一个，把链表里的那个值的询问的位置往后移一位即可。
只附上可持久化的代码：

#include<bits/stdc++.h>
const int A = 1e6;
const int N = 1e6 + 50;
const int NODE = 3e7;
int n,m,cnt,T,t,a[N],root[N],lc[NODE],rc[NODE],info[NODE];
template <typename T> void read(T &x){
    x = 0; char c = getchar();
    for (; !isdigit(c); c = getchar());
    for (; isdigit(c); c = getchar()) x = x * 10 + c - '0';
}
void build(int i, int l, int r){
    if (l == r) {info[i] = n + 1; return;}
    build(lc[i] = ++cnt,l,(l+r)/2);
    build(rc[i] = ++cnt,(l+r)/2+1,r);
}
void chg(int i, int _i, int l, int r, int pos, int c){
    if (l == r) {info[i] = c; return;};
    if (pos <= (l+r)/2)
        rc[i] = rc[_i], chg(lc[i] = ++cnt, lc[_i], l, (l+r)/2, pos, c);
    else
        lc[i] = lc[_i], chg(rc[i] = ++cnt, rc[_i], (l+r)/2+1, r, pos, c);
}
int qry(int i, int l, int r, int pos){
    if (l == r) return info[i];
    if (pos <= (l+r)/2) return qry(lc[i],l,(l+r)/2,pos);
    return qry(rc[i],(l+r)/2+1,r,pos);
}
int main(){
    read(n);
    for (int i=1; i<=n; i++)
        read(a[i]);
    for (int i=0; i<=n; i++)
        root[i] = i + 1;
    cnt = n + 1;
    build(root[n],1,A);
    for (int i=n - 1; i>=0; i--)
        chg(root[i],root[i+1],1,A,a[i+1],i+1);
    read(T);
    while (T--){
        int p = 0;
        read(m);
        while (m--){
            read(t);
            if (p <= n) p = qry(root[p],1,A,t);
        }
        if (p <= n)
            printf("TAK\n");
        else
            printf("NIE\n");
    }
    return 0;
}