题目大意:

给定两个\((length \leq 10^5)\)的字符串,问第二个串在第一个串中出现了多少次。并且第二个串中含有单字符通配符.

题解:

首先我们从kmp的角度去考虑

这道题从字符串数据结构的方面去考虑你就错了

因为这是我在刷FFT时遇到的题嘛,,直接就去想FFT的做法

我们知道,两个字符串相等当且仅当

\[(\sum_{i=1}^n(s1[i] - s2[i])^2*[s2[i] \neq ?]) = 0
\]

注:可以将s1理解为从第一个串中取出的一个后缀

那么我们对每个s1中的下标就套用公式计算一下即可

我们肯定不能直接计算...

设\(f(x) = \sum_{i=1}^n(s1[o] - s2[i])^2*[s2[i] \neq ?])\)

我们有

\[f(x) = \sum_{i=1}^n(s1[i] - s2[i])^2*[s2[i] \neq ?])
\]

\[f(x) = \sum_{i=1}^ns1[i]^2*s2[i] - \sum{i=1}^n2*s1[i]*s2[i]^2+\sum_{i=1}^ns2[i]^3
\]

针对最后一项求和我们直接预处理即可

有些麻烦的就是前面的两项

但是我们有FFT啊,FFT的作用是计算卷积,可是这明明不是卷积啊?

转化成卷积不就行了。。

我们反转s2这个字符串

然后我们发现,此时有

\[f(x) = \sum_{i=1}^ns1[i]^2*s2[n-i+1] - \sum{i=1}^n2*s1[j]*s2[n-1+1]^2+\sum_{i=1}^ns2[i]^3
\]

前两项变成了标准的卷积形式,所以我们用FFT加速可以在\(nlogn\)内计算

总时间复杂度\(O(nlogn)\)

#include <cmath>
#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;
typedef long long ll;
inline void read(int &x){
x=0;char ch;bool flag = false;
while(ch=getchar(),ch<'!');if(ch == '-') ch=getchar(),flag = true;
while(x=10*x+ch-'0',ch=getchar(),ch>'!');if(flag) x=-x;
}
inline int cat_max(const int &a,const int &b){return a>b ? a:b;}
inline int cat_min(const int &a,const int &b){return a<b ? a:b;}
const int maxn = 210010;
const double pi = acos(-1);
const double eps = 1e-8;
struct complex{
double x,y;
complex(){}
complex(double a,double b){x=a;y=b;}
complex operator + (complex rhs){return complex(x+rhs.x,y+rhs.y);}
complex operator - (complex rhs){return complex(x-rhs.x,y-rhs.y);}
complex operator * (complex rhs){return complex(x*rhs.x-y*rhs.y,x*rhs.y+y*rhs.x);}
complex operator / (double rhs){return complex(x/rhs,y/rhs);}
};
complex a[maxn<<1],b[maxn<<1],c[maxn<<1];
void FFT(complex *x,int n,int p){
for(int i=0,t=0;i<n;++i){
if(i > t) swap(x[i],x[t]);
for(int j = n>>1;(t^=j) < j;j >>= 1);
}
for(int m=2;m<=n;m<<=1){
complex wn(cos(p*2*pi/m),sin(p*2*pi/m));
for(int i=0;i<n;i+=m){
complex w(1,0),u;
int k = m>>1;
for(int j=0;j<k;++j,w=w*wn){
u = x[i+j+k]*w;
x[i+j+k] = x[i+j] - u;
x[i+j] = x[i+j] + u;
}
}
}
if(p == -1) for(int i=0;i<n;++i) x[i] = x[i]/n;
}
char tmp[maxn];
int s1[maxn],s2[maxn];
int main(){
scanf("%s",tmp);int n = strlen(tmp);
for(int i=0;i<n;++i) s1[i] = tmp[i] - 'a' + 1;
scanf("%s",tmp);int m = strlen(tmp);
double sum = 0.0;
for(int i=0;i<m;++i){
s2[m-i-1] = tmp[i] == '?' ? 0 : tmp[i] - 'a' + 1;
sum += s2[m-i-1]*s2[m-i-1]*s2[m-i-1];
} int len = 0;
for(int i=1;(i>>2)<n;i<<=1) len = i;
for(int i=0;i<n;++i) a[i] = complex(s1[i]*s1[i],0);
for(int i=0;i<m;++i) b[i] = complex(s2[i],0);
FFT(a,len,1);FFT(b,len,1);
for(int i=0;i<len;++i) c[i] = a[i]*b[i];
memset(a,0,sizeof a);memset(b,0,sizeof b);
for(int i=0;i<n;++i) a[i] = complex(s1[i],0);
for(int i=0;i<m;++i) b[i] = complex(s2[i]*s2[i],0);
FFT(a,len,1);FFT(b,len,1);
for(int i=0;i<len;++i) c[i] = c[i] - (a[i]*b[i]) - (a[i]*b[i]);
FFT(c,len,-1);
int ans = 0;
for(int i=m-1;i<n;++i)
if( (int)(c[i].x + sum + 0.5) == 0 ) ++ans;
printf("%d\n",ans);
for(int i=m-1;i<n;++i)
if( (int)(c[i].x + sum + 0.5) == 0 ) printf("%d\n",i-m+1);
getchar();getchar();
return 0;
}

bzoj 4503 两个串 快速傅里叶变换FFT的更多相关文章

  1. bzoj 4503: 两个串【脑洞+FFT】

    真实脑洞题 因为通配符所以导致t串实际有指数级别个,任何字符串相关算法都没有用 考虑一个新的匹配方法:设a串(模板串)长为n,从m串的i位置开始匹配:\( \sum_{i=0}^{n-1}(a[j]- ...

  2. BZOJ 4503: 两个串 [FFT]

    4503: 两个串 题意:兔子们在玩两个串的游戏.给定两个只含小写字母的字符串S和T,兔子们想知道T在S中出现了几次, 分别在哪些位置出现.注意T中可能有"?"字符,这个字符可以匹 ...

  3. bzoj 4503 两个串

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

  4. 【刷题】BZOJ 4503 两个串

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

  5. BZOJ 4503 两个串(FFT)

    [题目链接] http://www.lydsy.com/JudgeOnline/problem.php?id=4503 [题目大意] 给出S串和T串,计算T在S中出现次数,T中有通配符'?'. [题解 ...

  6. BZOJ.4503.两个串(FFT/bitset)

    题目链接 \(Description\) 给定两个字符串S和T,求T在S中出现了几次,以及分别在哪些位置出现.T中可能有'?'字符,这个字符可以匹配任何字符. \(|S|,|T|\leq 10^5\) ...

  7. bzoj 4503 两个串——FFT

    题目:https://www.lydsy.com/JudgeOnline/problem.php?id=4503 翻转T,就变成卷积.要想想怎么判断. 因为卷积是乘积求和,又想到相等的话相减为0,所以 ...

  8. bzoj 4503 两个串 —— FFT

    题目:https://www.lydsy.com/JudgeOnline/problem.php?id=4503 推式子即可: 不知怎的调了那么久,应该是很清晰的. 代码如下: #include< ...

  9. BZOJ 4503 两个串 ——FFT

    [题目分析] 定义两个字符之间的距离为 (ai-bi)^2*ai*bi 如果能够匹配,从i到i+m的位置的和一定为0 但这和暴力没有什么区别. 发现把b字符串反过来就可以卷积用FFT了. 听说KMP+ ...

随机推荐

  1. adb 功能大全

    当然首先是须要进入cmd命令行,执行 adb shell的. 以下介绍一些我们常常须要可是不怎么会用的命令 1. df -sh 查看当前目录占用空间大小 2. du 查看系统如今的内存使用情况 3. ...

  2. JavaScript--基于对象的脚本语言学习笔记(一)

    1.两种嵌入js的方式    使用javascript前缀构建url:<a href="javascript:alert('执行JavaScript. .')">执行j ...

  3. maven scope runtime

    https://blog.csdn.net/ningbohezhijunbl/article/details/25818069 There are 6 scopes available: compil ...

  4. HDU 6208 The Dominator of Strings 后缀自动机

    The Dominator of Strings Time Limit: 3000/3000 MS (Java/Others)    Memory Limit: 65535/32768 K (Java ...

  5. 【BZOJ4861】[Beijing2017]魔法咒语 矩阵乘法+AC自动机+DP

    [BZOJ4861][Beijing2017]魔法咒语 题意:别看BZ的题面了,去看LOJ的题面吧~ 题解:显然,数据范围明显的分成了两部分:一个是L很小,每个基本词汇长度未知:一个是L很大,每个基本 ...

  6. 【BZOJ4653】[Noi2016]区间 双指针法+线段树

    [BZOJ4653][Noi2016]区间 Description 在数轴上有 n个闭区间 [l1,r1],[l2,r2],...,[ln,rn].现在要从中选出 m 个区间,使得这 m个区间共同包含 ...

  7. Elasticsearch集群UNASSIGNED

    Elasticsearch集群UNASSIGNED http://shineforever.blog.51cto.com/1429204/1859734 http://www.searchtech.p ...

  8. 九度OJ 1009:二叉搜索树 (二叉树)

    时间限制:1 秒 内存限制:32 兆 特殊判题:否 提交:6321 解决:2767 题目描述: 判断两序列是否为同一二叉搜索树序列 输入: 开始一个数n,(1<=n<=20) 表示有n个需 ...

  9. JavaEE与Spring

    在Java社区中,Spring与Java EE之争是个永恒的话题.在这场争论中,来自两个阵营的布道师.架构师与铁杆粉丝都在不遗余力地捍卫着本方的尊严,并试图说服对方加入到自己的阵营当中,但结果却是双方 ...

  10. 流畅python学习笔记:第十七章:并发处理二

    本章讨论python3.2引入的concurrent.futures模块.future是中文名叫期物.期物是一种对象,表示异步执行的操作 在很多任务中,特别是处理网络I/O.需要使用并发,因为网络有很 ...