Bzoj4503 两个串 FFT

本文介绍了一种利用快速傅立叶变换(FFT)进行模糊字符串匹配的方法,解决了含有通配符'?'的问题,通过数学公式和代码实现详细阐述了该算法的工作原理。

问题描述

给定两个串s1,s2,问你s2在s1中出现的次数和位置,s2中有‘?’字符,可以匹配任何字符。字符串长度为105

题解

我们考虑没有‘?’时,两个长度相等的字符串相等,当且仅当n1i=0(s1[i]s2[i])2。那么,s2有‘?’怎么办呢。只需要把s2赋为0,式子就变成了n1i=0s2[i]×(s1[i]s2[i])2。考虑将s2翻转,这个式子就变成了一个卷积的形式,使用FFT即可。

代码

#include<cstdio>
#include<cmath>
#include<cstring>
#include<algorithm>
#define N 800010
using namespace std;
struct cp{double x,y;};
double pi=acos(-1);
int n,m,M,tot,Ans[N];
long long sum;
char s1[N],s2[N];
cp A[N],B[N],C[N],D[N],E[N],cur[N];
cp operator *(cp x,cp y){return (cp){x.x*y.x-x.y*y.y,x.x*y.y+x.y*y.x};}
cp operator +(cp x,cp y){return (cp){x.x+y.x,x.y+y.y};}
cp operator -(cp x,cp y){return (cp){x.x-y.x,x.y-y.y};}
cp operator *(int x,cp y){return (cp){x*y.x,x*y.y};}
void FFT(cp *a,int n,int fl)
{
    for (int i=n>>1,j=1;j<n;j++)
    {
        if (i<j) swap(a[i],a[j]);
        int k=n>>1;
        for (;k&i;i^=k,k>>=1);i^=k;
    }
    for (int m=2;m<=n;m<<=1)
    {
        cp w=(cp){cos(2*pi*fl/m),sin(2*pi*fl/m)};
        cur[0]=(cp){1,0};
        for (int i=1;i<m;i++) cur[i]=cur[i-1]*w;
        for (int i=0;i<n;i+=m)
            for (int j=i;j<i+(m>>1);j++)
            {
                cp u=a[j],v=a[j+(m>>1)]*cur[j-i];
                a[j]=u+v;
                a[j+(m>>1)]=u-v;
            }
    }
}
int main()
{
    scanf("%s",s1+1);n=strlen(s1+1);
    scanf("%s",s2+1);m=strlen(s2+1);
    for (int i=1;i<=n;i++)
    {
        B[i].x=s1[i];
        C[i].x=s1[i]*s1[i];
    }
    for (int i=1;i<=m;i++) if (s2[i]!='?')
    {
        A[i].x=s2[i];
        D[i].x=s2[i]*s2[i];
    }
    reverse(A+1,A+m+1);
    reverse(D+1,D+m+1);
    for (int i=1;i<=m;i++) sum+=A[i].x*A[i].x*A[i].x;
    M=1;while (M<=(n+m)*2) M<<=1;
    FFT(A,M,1);FFT(B,M,1);FFT(C,M,1);FFT(D,M,1);
    for (int i=0;i<M;i++) E[i]=A[i]*C[i]-2*B[i]*D[i];
    FFT(E,M,-1);
    for (int i=0;i<M;i++) E[i].x=fabs(E[i].x/M+sum);
    for (int i=m+1;i<=n+1;i++) if (E[i].x<=0.5) Ans[++tot]=i-m;
    printf("%d\n",tot);
    for (int i=1;i<=tot;i++) printf("%d\n",Ans[i]-1);
}
### 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、付费专栏及课程。

余额充值