题解

这个字符集很小,我们可以把每个字符拿出来做一次匹配,把第一个字符串处理每个出现过的该字符处理成一个区间加,即最后变成第一个字符串的该位置能够匹配某字符

例如对于样例

10 4 1

AGCAATTCAT

ACAT

我们做A的时候,把第一个串处理成

AAAAAA00AA0

第二个串

A0A0

那么就变成第二个串从第一个串每个位置开始能不能匹配上第二个串所有的A了

我们发现把第二个串反序之后和第一个串求一个卷积,那么第一个串每个位置如果系数等于第二个串该字符出现次数,那么证明这个位置可以匹配一个第二个串的末尾

对于每个位置把所有字符集的答案&起来就好

代码

#include <iostream>
#include <algorithm>
#include <cstdio>
#include <cstring>
#include <vector>
#include <set>
#include <cmath>
#define enter putchar('\n')
#define space putchar(' ')
//#define ivorysi
#define pb push_back
#define MAXN 200005
#define pii pair<int,int>
#define mp make_pair
using namespace std;
typedef long long int64;
typedef double db;
template<class T>
void read(T &res) {
res = 0;char c = getchar();T f = 1;
while(c < '0' || c > '9') {
if(c == '-') f = -1;
c = getchar();
}
while(c >= '0' && c <= '9') {
res = res * 10 - '0' + c;
c = getchar();
}
res = res * f;
}
template<class T>
void out(T x) {
if(x < 0) {x = -x;putchar('-');}
if(x >= 10) out(x / 10);
putchar('0' + x % 10);
}
const db PI = acos(-1.0);
char s1[MAXN],s2[MAXN];
int K,S,T;
int a[MAXN],b[MAXN],c[MAXN];
bool vis[MAXN];
struct Complex {
db r,i;
Complex(db real = 0.0,db image = 0.0) {
r = real;i = image;
}
friend Complex operator + (const Complex &a,const Complex &b) {
return Complex(a.r + b.r,a.i + b.i);
}
friend Complex operator - (const Complex &a,const Complex &b) {
return Complex(a.r - b.r,a.i - b.i);
}
friend Complex operator * (const Complex &a,const Complex &b) {
return Complex(a.r * b.r - a.i * b.i,a.r * b.i + a.i * b.r);
}
}p1[MAXN * 4],p2[MAXN * 4];
void FFT(Complex *p,int L,int on) {
for(int i = 1 , j = L / 2 ; i < L - 1 ; ++i) {
if(i < j) swap(p[i],p[j]);
int k = L / 2;
while(j >= k) {
j -= k;
k >>= 1;
}
j += k;
}
for(int h = 2 ; h <= L ; h <<= 1) {
Complex wn = Complex(cos(on * 2 * PI / h),sin(on * 2 * PI / h));
for(int k = 0 ; k < L ; k += h) {
Complex w = Complex(1.0,0.0);
for(int j = k ; j < k + h / 2 ; ++j) {
Complex u = p[j],t = p[j + h / 2] * w;
p[j] = u + t;
p[j + h / 2] = u - t;
w = w * wn;
}
}
}
if(on == -1) {
for(int i = 0 ; i < L ; ++i) p[i].r /= L;
}
}
int ci(char c) {
if(c == 'A') return 1;
else if(c == 'G') return 2;
else if(c == 'C') return 3;
else return 4;
}
void Init() {
read(S);read(T);read(K);
scanf("%s%s",s1 + 1,s2 + 1);
for(int i = 1 ; i <= S ; ++i) a[i] = ci(s1[i]);
for(int i = 1 ; i <= T ; ++i) b[i] = ci(s2[i]);
}
void Solve() {
memset(vis,1,sizeof(vis));
for(int i = 1 ; i <= 4; ++i) {
int t = 1;
while(t <= S + T) t <<= 1;
int cnt = 0;
memset(c,0,sizeof(c));
for(int j = 1 ; j <= S ; ++j) {
if(a[j] == i) c[max(1,j - K)]++,c[min(j + K + 1,S + 1)]--;
}
for(int j = 1 ; j <= S ; ++j) {
c[j] += c[j - 1];
if(c[j]) p1[j - 1] = Complex(1.0,0.0);
else p1[j - 1] = Complex(0.0,0.0);
}
for(int j = S ; j < t ; ++j) p1[j] = Complex(0.0,0.0);
for(int j = 1 ; j <= T ; ++j) {
if(b[j] == i) p2[T - j] = Complex(1.0,0.0),++cnt;
else p2[T - j] = Complex(0.0,0.0);
}
for(int j = T ; j < t ; ++j) p2[j] = Complex(0.0,0.0);
FFT(p1,t,1);FFT(p2,t,1);
for(int j = 0 ; j < t ; ++j) p1[j] = p1[j] * p2[j];
FFT(p1,t,-1);
for(int j = 0 ; j < S ; ++j) {
if((int)(p1[j].r + 0.5) == cnt) vis[j] &= 1;
else vis[j] &= 0;
}
}
int ans = 0;
for(int i = 0 ; i < S ; ++i) if(vis[i]) ++ans;
out(ans);enter;
}
int main() {
#ifdef ivorysi
freopen("f1.in","r",stdin);
#endif
Init();
Solve();
}

【51nod】1565 模糊搜索的更多相关文章

  1. 51nod 1565模糊搜索(FFT)

    题目大意就是字符串匹配,不过有一个门限k而已 之前有提到过fft做字符串匹配,这里和之前那种有些许不同 因为只有A,C,G,T四种字符,所以就考虑构造4个01序列 例如,模板串a关于'A'的01序列中 ...

  2. 51nod 1565 模糊搜索 FFT

    这...好强啊\(QwQ\) 思路:卷积?\(FFT\)? 提交:\(5\)次 错因:一开始的预处理写错了(竟然只错了最后几个大点)闹得我以为\(FFT\)写挂了\(QwQ\) 题解: 对四种字符分开 ...

  3. 51NOD 1565:模糊搜索——题解

    http://www.51nod.com/onlineJudge/questionCode.html#problemId=1565&noticeId=445588 有两个基因串S和T,他们只包 ...

  4. 51Nod 快速傅里叶变换题集选刷

    打开51Nod全部问题页面,在右边题目分类中找到快速傅里叶变换,然后按分值排序,就是本文的题目顺序. 1.大数乘法问题 这个……板子就算了吧. 2.美妙的序列问题 长度为n的排列,且满足从中间任意位置 ...

  5. 【51Nod 1244】莫比乌斯函数之和

    http://www.51nod.com/onlineJudge/questionCode.html#!problemId=1244 模板题... 杜教筛和基于质因子分解的筛法都写了一下模板. 杜教筛 ...

  6. BZOJ 1565: [NOI2009]植物大战僵尸

    1565: [NOI2009]植物大战僵尸 Time Limit: 10 Sec  Memory Limit: 64 MBSubmit: 2317  Solved: 1071[Submit][Stat ...

  7. 51Nod 1268 和为K的组合

    51Nod  1268  和为K的组合 1268 和为K的组合 基准时间限制:1 秒 空间限制:131072 KB 分值: 20 难度:3级算法题 给出N个正整数组成的数组A,求能否从中选出若干个,使 ...

  8. 51Nod 1428 活动安排问题

    51Nod   1428  活动安排问题 Link: http://www.51nod.com/onlineJudge/questionCode.html#!problemId=1428 1428 活 ...

  9. 51Nod 1278 相离的圆

    51Nod 1278 相离的圆 Link: http://www.51nod.com/onlineJudge/questionCode.html#!problemId=1278 1278 相离的圆 基 ...

随机推荐

  1. sql server查询数据库的大小和各数据表的大小

    查询出来的结果中各字段的详细说明参考MSDN资料:https://msdn.microsoft.com/zh-cn/library/ms188776.aspx 如果只是查询数据库的大小的话,直接使用以 ...

  2. koa中间件机制

    Koa是Express原班人马打造的一个更小,基于nodejs平台的下一代web开发框架. koa2利用的是async/await,洋葱圈模型. 1. koa2中间件基本用法

  3. filebeat过滤

    合并多行以[为头 multiline:pattern: '^\['negate: truematch: after ------------------------------------------ ...

  4. HDU 2176 基础NIM 输出方案

    普通的NIM,然后问先手必胜第一次操作后的所有局面. 对于一个必胜局面只要转变局面SG值为必败(SG=0)留给后手就行了. /** @Date : 2017-10-13 21:39:13 * @Fil ...

  5. NGINX配置PHP解析

    <?php phpinfo(); ?> location ~ \.php$ { root html; fastcgi_pass ; fastcgi_index index.php; fas ...

  6. SpringBoot 线程池配置 实现AsyncConfigurer接口方法

      目的是:  通过实现AsyncConfigurer自定义线程池,包含异常处理  实现AsyncConfigurer接口对异常线程池更加细粒度的控制 *a) 创建线程自己的线程池  b) 对void ...

  7. SharePoint 项目的死法(二)

    说实话, 做SharePoint项目或者任何信息化项目并不是个容易的事情, 但成功的IT项目对于一个企业来说也许意味着很多, 从我的观察来看, 大部分的成功的信息化项目给企业所带来的回报都远远超过其所 ...

  8. CSS权重的问题

    important > 内联 > ID > 类 > 标签 | 伪类 | 属性选择 > 伪对象 > 继承 > 通配符 1.行内样式,指的是html文档中定义的s ...

  9. Spring4笔记4--基于XML的DI(依赖注入)

    基于XML的DI(依赖注入): Bean 实例在调用无参构造器创建了空值对象后,就要对 Bean 对象的属性进行初始化.初始化是由容器自动完成的,称为注入.根据注入方式的不同,常用的有两类:设值注入. ...

  10. 冲量:momentum

    参见:http://www.jianshu.com/p/58b3fe300ecb,这个博客里有冲量的python实现的代码和讲解 “冲量”这个概念源自于物理中的力学,表示力对时间的积累效应. 在普通的 ...