[bzoj4503]两个串

本文介绍了一种利用快速傅立叶变换(FFT)进行模糊字符串匹配的方法。该方法通过反转模式串并将其与目标串进行卷积运算,实现了模式串在目标串中的定位与次数统计,特别适用于模式串中包含通配符的情况。

题目大意

兔子们在玩两个串的游戏。给定两个字符串S和T,兔子们想知道T在S中出现了几次,
分别在哪些位置出现。注意T中可能有“?”字符,这个字符可以匹配任何字符。

FFT

我们把T串反过来。
设a表示S串(把字符转成不为0的数字)
b表示T串,其中问号可以用一个0表示
c[j+m1]=(a[j+i]b[mi1])2a[j+i]b[mi1]
容易证明S串的第j个位置为开头能匹配T串则c[j+m-1]=0。
而右边的含义就是T的第i能否匹配S的第j+i。
由于贡献一定非负,最终为0一定是每一项均为0,也就是匹配成功。
后面的拆一下可以做三次FFT完成。

#include<cstdio>
#include<algorithm>
#include<cmath>
#include<cstring>
#define fo(i,a,b) for(i=a;i<=b;i++)
using namespace std;
typedef double db;
const db pi=acos(-1);
const int maxn=530000+10;
struct node{
    db x,y;
    friend node operator +(node a,node b){
        node c;
        c.x=a.x+b.x;c.y=a.y+b.y;
        return c;
    }
    friend node operator -(node a,node b){
        node c;
        c.x=a.x-b.x;c.y=a.y-b.y;
        return c;
    }
    friend node operator *(node a,node b){
        node c;
        c.x=a.x*b.x-a.y*b.y;c.y=a.x*b.y+a.y*b.x;
        return c;
    }
};
node a[maxn],b[maxn],c[maxn],d[maxn],e[maxn],f[maxn],tt[maxn],w[maxn];
int rev[maxn],ans[maxn];
db ce;
char s[maxn],h[maxn];
int i,j,k,l,t,n,m,mx,len,top;
int pow(int x,int y){
    if (y==2) return x*x;
    else return x*x*x;
}
void prepare(){
    w[0].x=1;w[0].y=0;
    w[1].x=cos(2*pi/len);w[1].y=sin(2*pi/len);
    fo(i,2,len) w[i]=w[i-1]*w[1];
    fo(i,0,len-1){
        int p=0;
        for (int j=0,tp=i;j<ce;j++,tp/=2) p=(p<<1)+(tp%2);
        rev[i]=p;
    }
}
void DFT(node *a,int sig){
    int i;
    fo(i,0,len-1) tt[rev[i]]=a[i];
    for (int m=2;m<=len;m*=2){
        int half=m/2,bei=len/m;
        fo(i,0,half-1){
            node wi=sig>0?w[i*bei]:w[len-i*bei];
            for (int j=i;j<len;j+=m){
                node u=tt[j],v=tt[j+half]*wi;
                tt[j]=u+v;
                tt[j+half]=u-v;
            }
        }
    }
    if (sig==-1)
        fo(i,0,len-1) tt[i].x/=len;
    fo(i,0,len-1) a[i]=tt[i];
}
void FFT(node *a,node *b,node *c){
    int i;
    fo(i,0,len-1) e[i]=a[i],f[i]=b[i];
    DFT(e,1);DFT(f,1);
    fo(i,0,len-1) e[i]=e[i]*f[i];
    DFT(e,-1);
    fo(i,0,len-1) c[i]=e[i];
}
int main(){
    //freopen("4503.in","r",stdin);
    scanf("%s",s);
    n=strlen(s);
    scanf("%s",h);
    m=strlen(h);
    mx=max(n,m);
    len=1;
    while (len<mx*2) len*=2;
    ce=log(len)/log(2);
    prepare();
    reverse(h,h+m);
    fo(i,0,n-1)
        a[i].x=pow(s[i]-'a'+1,3);
    fo(i,0,m-1)
        b[i].x=(h[i]=='?'?0:h[i]-'a'+1);
    FFT(a,b,d);
    fo(i,0,len-1) c[i]=c[i]+d[i];
    fo(i,0,n-1)
        a[i].x=-2*pow(s[i]-'a'+1,2);
    fo(i,0,m-1)
        b[i].x=pow(h[i]=='?'?0:h[i]-'a'+1,2);
    FFT(a,b,d);
    fo(i,0,len-1) c[i]=c[i]+d[i];
    fo(i,0,n-1)
        a[i].x=s[i]-'a'+1;
    fo(i,0,m-1)
        b[i].x=pow(h[i]=='?'?0:h[i]-'a'+1,3);
    FFT(a,b,d);
    fo(i,0,len-1) c[i]=c[i]+d[i];
    fo(i,0,n-m) 
        if (int(c[i+m-1].x)==0) ans[++top]=i;
    printf("%d\n",top);
    fo(i,1,top) printf("%d\n",ans[i]);
}
### BZOJ1461 字符匹配 题解 针对BZOJ1461字符匹配问题,解决方法涉及到了KMP算法以及树状数组的应用。对于此类问题,朴素的算法无法满足时间效率的要求,因为其复杂度可能高达O(ML²),其中M代表模式的数量,L为平均长度[^2]。 为了提高效率,在这个问题中采用了更先进的技术组合——即利用KMP算法来预处理模式,并通过构建失配树(也称为失败指针),使得可以在主上高效地滑动窗口并检测多个模式的存在情况。具体来说: - **前缀函数与KMP准备阶段**:先对每一个给定的模式执行一次KMP算法中的pre_kmp操作,得到各个模式对应的next数组。 - **建立失配树结构**:基于所有模式共同构成的一棵Trie树基础上进一步扩展成带有失配链接指向的AC自动机形式;当遇到某个节点不存在对应字符转移路径时,则沿用该处失配链路直至找到合适的目标或者回到根部重新开始尝试其他分支。 - **查询过程**:遍历整个待查文本序列的同时维护当前状态处于哪一层级下的哪个子结点之中,每当成功匹配到完整的单词就更新计数值至相应位置上的f_i变量里去记录下这一事实。 下面是简化版Python代码片段用于说明上述逻辑框架: ```python from collections import defaultdict def build_ac_automaton(patterns): trie = {} fail = [None]*len(patterns) # 构建 Trie 树 for i,pattern in enumerate(patterns): node = trie for char in pattern: if char not in node: node[char]={} node=node[char] node['#']=i queue=[trie] while queue: current=queue.pop() for key,value in list(current.items()): if isinstance(value,int):continue if key=='#': continue parent=current[key] p=fail[current is trie and 0 or id(current)] while True: next_p=p and p.get(key,None) if next_p:break elif p==0: value['fail']=trie break else:p=fail[id(p)] if 'fail'not in value:value['fail']=next_p queue.append(parent) return trie,fail def solve(text, patterns): n=len(text) m=len(patterns) f=[defaultdict(int)for _in range(n)] ac_trie,_=build_ac_automaton(patterns) state=ac_trie for idx,char in enumerate(text+'$',start=-1): while True: trans=state.get(char,state.get('#',{}).get('fail')) if trans!=None: state=trans break elif '#'in state: state[state['#']['fail']] else: state=ac_trie cur_state=state while cur_state!={}and'#'in cur_state: matched_pattern_idx=cur_state['#'] f[idx][matched_pattern_idx]+=1 cur_state=cur_state['fail'] result=[] for i in range(len(f)-1): row=list(f[i].values()) if any(row): result.extend([sum((row[:j+1]))for j,x in enumerate(row[::-1])if x>0]) return sum(result) patterns=["ab","bc"] text="abc" print(solve(text,text)) #[^4] ```
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值