[bzoj4503]两个串

本文介绍了一种利用快速傅立叶变换(FFT)进行高效字符串匹配的方法,特别适用于包含通配符的情况。通过将字母映射为数值,并巧妙地设计数学公式,可以有效地计算两个字符串之间的匹配度。

4503: 两个串

Time Limit: 20 Sec Memory Limit: 256 MB
Submit: 190 Solved: 106
[Submit][Status][Discuss]
Description

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

两行两个字符串,分别代表S和T
Output

第一行一个正整数k,表示T在S中出现了几次
接下来k行正整数,分别代表T每次在S中出现的开始位置。按照从小到大的顺序输出,S下标从0开始。
Sample Input

ababcadaca

a?a
Sample Output

3

0

5
HINT

S 长度不超过 10^5, T 长度不会超过 S。 S 中只包含小写字母, T中只包含小写字母和“?”

这道题还是非常神的!!
可以设这样一个函数(假设现在没有通配符)
f[x]=ni=1(s1[i]s2[i])2
如果这两个字符串相同,那么函数值肯定等于0
如果有了通配符,那么就需要想办法让这个函数还等于0
我们将a~z用1~26表示,”?”设为0。这样就可以构造一个新的函数:
f[x]=ni=1(s1[i]s2[i])2s2[i]
      =ni=1s1[i]2s2[i]ni=12s1[i]s2[i]2+ni=1s2[i]3
只要把第二个字符串倒过来,就成了一个卷积的形式,直接FFT就行了。

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cmath>
using namespace std;
const int M=100010;
const int O=2000000;
int s[2][M],l[2],L,N,rev[O],dig[O];
struct S{
    double x,y;
    S operator + (const S &xx){return (S){x+xx.x,y+xx.y};}
    S operator - (const S &xx){return (S){x-xx.x,y-xx.y};}
    S operator * (const S &xx){return (S){x*xx.x-y*xx.y,x*xx.y+y*xx.x};}
}a[O],b[O],c[O],d[O];
inline double Pow(int x){
    return (double)x*x;
}
inline double POW(int x){
    return (double)x*x*x;
}
inline void FFT(S *a,int f){
    int i,j,k;
    S wn,w,x,y;
    for(i=0;i<N;++i) d[i]=a[rev[i]];
    for(i=0;i<N;++i) a[i]=d[i];
    for(i=1;i<=N;i<<=1){
        wn=(S){cos(2*M_PI/i),f*sin(2*M_PI/i)};
        for(j=0;j<N;j+=i){
            w=(S){1.,0.};
            for(k=j;k<j+i/2;++k){
                x=a[k];
                y=a[k+i/2]*w;
                a[k]=x+y;
                a[k+i/2]=x-y;
                w=w*wn;
            }
        }
    }
    if(f==-1) for(i=0;i<N;++i) a[i].x/=(double)N;
}
int main(){
    double sum=0;
    int i,ans=0,j,len;
    for(i=0;i<2;++i){
        char ch=getchar();
        while(1){
            if((ch>='a'&&ch<='z')||ch=='?') break;
            ch=getchar();
        }
        while((ch>='a'&&ch<='z')||ch=='?'){
            s[i][++l[i]]=(ch=='?')?0:(ch-'a'+1);
            ch=getchar();
        }
    }
    for(i=1;i<=l[1]/2;++i) swap(s[1][i],s[1][l[1]-i+1]);
    for(N=1;N<l[0];N<<=1,L+=1); N<<=1;L+=1;
    for(i=0;i<N;++i){
        for(j=i,len=0;j;j>>=1) dig[len++]=j&1;
        for(j=0;j<L;++j) rev[i]=rev[i]*2+dig[j];
    }
    for(i=0;i<l[0];++i) a[i]=(S){Pow(s[0][i+1]),0.};
    for(i=0;i<l[1];++i){
        b[i]=(S){(double)s[1][i+1],0.};
        sum+=POW(s[1][i+1]);
    }
    FFT(a,1);FFT(b,1);
    for(i=0;i<N;++i) c[i]=a[i]*b[i];
    memset(a,0,sizeof(a));
    memset(b,0,sizeof(b));
    for(i=0;i<l[0];++i) a[i]=(S){(double)s[0][i+1],0.};
    for(i=0;i<l[1];++i) b[i]=(S){Pow(s[1][i+1]),0.};
    FFT(a,1);FFT(b,1);
    for(i=0;i<N;++i) c[i]=c[i]-(a[i]*b[i])-(a[i]*b[i]);
    FFT(c,-1);
    for(i=l[1]-1;i<l[0];++i)
      if((int)(c[i].x+sum+0.5)==0) ++ans;
    for(printf("%d\n",ans),i=l[1]-1;i<l[0];++i)
      if((int)(c[i].x+sum+0.5)==0) printf("%d\n",i-l[1]+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] ```
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值