[雅礼集训]xiz(字符串匹配)

题目描述：
给定字符串 S 和 T, 定义两个字符串匹配当且仅当每种字符的数量相等, 求 S 的哪些连续子串与 T 匹配.
字符集大小，字符串S，T长度小于等于100w；

这个题面不大完整，他要求的匹配是指对应位置的在各自字符串中都是同一种数；
例如 3 1 3 和2 4 2,3和2对应，1和4对应，所以匹配；
3 3 1和2 4 2虽然数目相等，但位置不匹配；

这题被讲题dalao一笔带过。。。考试的时候几乎要想到整解，不过当时脑子还是没转过来那个弯。。。

考虑记一个w数组，w[i]表示字符i与上一个和他相同的字符在字符串中的距离，如果没有则记为0；
我一开始是想求和后一个字符的距离，但这样无法线性更改。。。只能用个堆+tle…

这样T的w[i]可以很容易的表示出来；

但有个问题，在S中w数组是随着匹配位置变化的；
这题一般有两种做法，一种是用kmp匹配，一种是哈希，这里我只会哈希。。。
那么就考虑随着匹配位置的移动把S的哈希值给改掉；
这里再记一个next数组，表示这个字符下一次会在哪里出现；
这里就能看出为什么要求与之前的距离，因为这样可以随着移动通过next数组把不符合的值改掉；
详细说，如果当前这个next的值指向匹配范围还要往后，直接将其指向的那个点的w值改为0即可；
如果这个点正好在匹配的范围内，则要连带S的哈希值一起改；
那么这题就完了（赶紧写完回宾馆qwq

代码：

#include<cstdio>
#include<algorithm>
#include<cstring>
#include<utility> 
#define LL long long
using std::pair; 
const int maxn=1000005;
LL pow1[maxn]={1ll},pow2[maxn]={1ll};
struct mod_auto{
    LL val,di,mod,*pow;
    void clear(){
        for(int i=1;i<=maxn-3;i++)
            pow[i]=pow[i-1]*di%mod; 
    } 
    LL gethash(int *v,int n){
        LL tv=0;
        for(int i=1;i<=n;i++)
            tv=(tv*di+(LL)v[i])%mod;
        return tv;
    }
    LL add(int v){
        val=(val*di+(LL)v)%mod;
    }
    LL modify(int pos,int v){
        val=(val-(LL)v*pow[pos-1]%mod+mod)%mod;
    }
}mod1;
int t,c;
int v1[maxn],v2[maxn];
int use[maxn];
int next[maxn];
int read(){
    int tv=0;
    char c=getchar();
    while(c<'0'||c>'9')c=getchar(); 
    while(c>='0'&&c<='9'){
        tv=tv*10+c-'0';
        c=getchar(); 
    }
    return tv;
}
pair<int,int> init(){
    int n,m;
    scanf("%d%d",&n,&m);
    memset(use,0,sizeof(use));
    for(int i=1;i<=n;i++)v1[i]=read();
    for(int i=1;i<=m;i++)v2[i]=read();
    for(int i=1;i<=m;i++){
        int tv=v2[i];
        v2[i]=(use[v2[i]] ? i-use[v2[i]] : 0),use[tv]=i;
    }
    memset(use,0,sizeof(use));
    for(int i=n;i;i--)
        next[i]=use[v1[i]],use[v1[i]]=i;
    memset(use,0,sizeof(use));
    for(int i=1;i<=n;i++){
        int tv=v1[i]; 
        v1[i]=use[v1[i]] ? i-use[v1[i]] : 0,use[tv]=i;
    }
    return std::make_pair(n,m);
}
int ans[maxn];
void solve(pair<int,int> num){
    int n=num.first,m=num.second;
    LL mo=mod1.gethash(v2,m);
    int anstot=0;
    mod1.val=mod1.gethash(v1,m);
    for(int i=1;i<=n-m+1;i++){
        if(mod1.val==mo)ans[++anstot]=i;
        if(next[i]){
            if(next[i]<i+m)mod1.modify(m-(next[i]-i),v1[next[i]]); 
            v1[next[i]]=0;
        }
        mod1.add(v1[i+m]);
    }
    printf("%d\n",anstot);
    for(int i=1;i<=anstot;i++)printf("%d ",ans[i]);
    printf("\n");
}
int main()
{
    freopen("xiz.in","r",stdin);
    freopen("xiz.out","w",stdout);
    mod1.di=(LL)maxn,mod1.mod=1000000007,mod1.pow=pow1;
    mod1.clear();
    scanf("%d%d",&t,&c);
    while(t--)solve(init());
    return 0;
}