FFT:BZOJ4503 两个串

小编 2026-06-25 阅读:1649 评论:0
题目描述:戳这里 题解: 如果没有\"?\",那么我们可以用kmp。 我们可以把这道题目抽象成一个和式: 假设两串S,T分别是0~n,0~m,翻转T串(变成m~0)。 假设T串中\"?\"的位...

题目描述:戳这里

题解:

如果没有\"?\",那么我们可以用kmp。
我们可以把这道题目抽象成一个和式:
假设两串S,T分别是0~n,0~m,翻转T串(变成m~0)。
假设T串中\"?\"的位置都设为0。
假设S串从第x个位置开始匹配可以匹配完T串,那么等价于要满足:
0m(Sx+iTmi)2Tmi=0\\sum_0^m(S_{x+i}-T_{m-i})^2T_{m-i}=00m(Sx+iTmi)2Tmi=0
化简一下:
0mSx+i2Tmi2Sx+iTmi+Tmi3\\sum_0^mS_{x+i}^2T_{m-i}-2S_{x+i}T_{m-i}+T_{m-i}^30mSx+i2Tmi2Sx+iTmi+Tmi3
对于最后一项,可以前缀和,前面两项,都是卷积的形式,可以通过FFT来快速解决。
那么复杂度就是O(nlogn)O(nlogn)O(nlogn)

代码如下:

#include<bits/stdc++.h>
#define ll long long
using namespace std;
const int maxn=(1<<18)+5;
const double Pi=acos(-1.0);
int n,m,limn,R[maxn];
char S[maxn],T[maxn];
struct comx{
	double x,y;
	comx(double xx=0,double yy=0){x=xx,y=yy;}
	comx operator +(const comx b){return comx(x+b.x,y+b.y);}
	comx operator -(const comx b){return comx(x-b.x,y-b.y);}
	comx operator *(const comx b){return comx(x*b.x-y*b.y,x*b.y+y*b.x);} 
}a[maxn],b[maxn],c[maxn],d[maxn],w[maxn];
double s;
void pre(){
	int L=0; limn=1; while (limn<=n+m) limn<<=1,L++;
	for (int i=0;i<limn;i++){
		R[i]=((R[i>>1]>>1)|((i&1)<<(L-1)));
		w[i]=comx(cos(2*Pi/limn*i),sin(2*Pi/limn*i));
	}
}
void FFT(comx *a,int lim){
	for (int i=0;i<lim;i++) if (R[i]>i) swap(a[R[i]],a[i]);
	for (int t=lim>>1,d=1;d<lim;d<<=1,t>>=1)
	for (int i=0;i<lim;i+=(d<<1))
	for (int j=0;j<d;j++){
		comx p=w[t*j]*a[i+j+d];
		a[i+j+d]=a[i+j]-p,a[i+j]=a[i+j]+p;
	}
}
void doit(comx *p,comx *q){
	FFT(p,limn); FFT(q,limn);
	for (int i=0;i<limn;i++) p[i]=p[i]*q[i],w[i].y=-w[i].y;
	FFT(p,limn);
	for (int i=0;i<limn;i++) w[i].y=-w[i].y,p[i].x/=limn;
}
ll cal(double x){return (ll)(x+0.5);}
int main(){
	scanf(\"%s\",S); scanf(\"%s\",T);
	n=strlen(S)-1; m=strlen(T)-1;
	for (int i=0;i<=n;i++) c[i].x=S[i]-\'a\'+1;
	for (int i=0;i<=m;i++)
		if (T[i]!=\'?\') b[m-i].x=T[i]-\'a\'+1; else b[m-i].x=0;
	for (int i=0;i<=n;i++) a[i].x=c[i].x*c[i].x;
	for (int i=0;i<=m;i++) d[i].x=b[i].x*b[i].x,s+=b[i].x*b[i].x*b[i].x;
	pre(); doit(a,b); doit(c,d);
	int ans=0;
	for (int i=m;i<=n;i++)
		if (cal(a[i].x)-2*cal(c[i].x)+cal(s)==0) ans++;
	printf(\"%d\\n\",ans);
	for (int i=m;i<=n;i++)
		if (cal(a[i].x)-2*cal(c[i].x)+cal(s)==0) printf(\"%d\\n\",i-m);
	return 0;
}
版权声明

本文仅代表作者观点,不代表百度立场。
本文系作者授权百度百家发表,未经许可,不得转载。

热门文章
  • 机房智能化温湿度解决方式之POE供电以太网温湿度传感器

    机房智能化温湿度解决方式之POE供电以太网温湿度传感器
    机房智能化温湿度解决方式之POE供电以太网温湿度传感器 北京盈创力和电子科技有限公司 智能型TCP网口温湿度记录仪 北京IP网络温湿度记录仪厂家,北京盈创力和 北京智能型TCP网口温湿度记录仪IP网络温湿度记录仪是一种新型的基于TCP/IP协议双绞线以太网标准温湿度采集模块,利用它可以实现现场温度值、相对湿度值的采集,同时利用其自身的RJ45通信接口可以方便地和机房监控主机或交换机集线器进行联网。 工作于-40℃~85℃工业级带...
  • Sequential Monte Carlo Methods (SMC) 序列蒙特卡洛/粒子滤波/Bootstrap Filtering

    Sequential Monte Carlo Methods (SMC) 序列蒙特卡洛/粒子滤波/Bootstrap Filtering
    Problem Statement 我们考虑一个具有马尔可夫性质、非线性、非高斯的状态空间模型(State Space Model):对于一个时间序列上的观测结果{yt,t∈N}\\{ y_t , t \\in N \\}{yt​,t∈N},我们认为每个观测结果yty_tyt​的生成依赖于一个无法直接观察的隐变量xt∈{xt,t∈N}x_t \\in \\{x_t , t \\in N \\}xt​∈{xt​,t∈N},即:p(...
  • HTTP状态保持的原理

    HTTP状态保持的原理
    a)在用户登录之后,浏览器返回响应的时候会在响应中添加上cookieb)浏览器接收到cookie之后会自动保存c)当用户再次请求同一服务器中的其他网页的时候,浏览器会自动带上之前保存的cookied)服务接收到请求之后可以请 request 对象中取到cookie 判断当前用户是否登录  Http是无状态的,就是连接时数据互通,关闭后...
  • Hive 系统函数及示例

    Hive 系统函数及示例
    查看所有系统函数 show functions; 函数分类 内置函数【系统函数】 数学函数: floor、round、ceil、cos、log2等 字符串函数: length、reverse、trim、lower、get_json_object、repeat等 收集函数: size 转换函数: cast 日期函数: year、month、datediff、date、date_add等 条件函数: coalesce、case…w...
  • CSRF的原理和防范措施

    CSRF的原理和防范措施
    a)攻击原理:i.用户C访问正常网站A时进行登录,浏览器保存A的cookieii.用户C再访问攻击网站B,网站B上有某个隐藏的链接或者图片标签会自动请求网站A的URL地址,例如表单提交,传指定的参数iii.而攻击网站B在访问网站A的时候,浏览器会自动带上网站A的cookieiv.所以网站A在接收到请求之后可判断当前用户是登录状态,所以...
标签列表