后缀数组,枚举和暴力

这是我的第一道真正意义上的后缀数组题!!!!!而且1A。祝贺!!!!!鸣炮!!!!!

题意:

图片说明

分析:

我的想法很简单,就是枚举。
我想对s1从头到尾枚举每一个长度为s1.size()的子串。
记s2得长度为m。枚举[0,m)、[1,m+1)、[2,m+2)......
看枚举的字符是否可能与s2相等。

很明显,如果没有所谓的可以有三个碱基突变这一条件的话。
我们是可以这样做的:
令s3=s1+s2 求s3得后缀数组,高度数组,rmq
然后,枚举i从0到s1.size()-s2.size()
之后查询 qp(i,s1.size())是否大于等于s2.size()
是否?其实这就是比较[i,i+m)和s2嘛

但是,麻烦的是,我们有可以有三个字符不一样得条件
但这也不难,我们就查询三次就好了
假设i第一次查询长度l1,下一次就从i + l1 + 1查询
这样,人为地跳过不相同的。一共只能跳三次。
最后在比较是否可以匹配成功。

代码如下:

代码中,细节实现的并不完全和上面一样

#include<iostream>
#include<algorithm>
using namespace std;
#define re register
const int max_n = 2e5 + 100;
int ranks[max_n], SA[max_n], height[max_n];
int wa[max_n], wb[max_n], wvarr[max_n], wsarr[max_n];
inline int cmp(int* r, int a, int b, int l) {
    return r[a] == r[b] && r[a + l] == r[b + l];
}
inline void get_sa(int* r, int* sa, int n, int m) {
    ++n;
    re int i, j, p, * x = wa, * y = wb, * t;
    for (i = 0; i < m; ++i) wsarr[i] = 0;
    for (i = 0; i < n; ++i) wsarr[x[i] = r[i]]++;
    for (i = 1; i < m; ++i) wsarr[i] += wsarr[i - 1];
    for (i = n - 1; i >= 0; --i) sa[--wsarr[x[i]]] = i;
    for (j = 1, p = 1; p < n; j <<= 1, m = p) {
        for (p = 0, i = n - j; i < n; ++i) y[p++] = i;
        for (i = 0; i < n; ++i) if (sa[i] >= j) y[p++] = sa[i] - j;
        for (i = 0; i < n; ++i) wvarr[i] = x[y[i]];
        for (i = 0; i < m; ++i) wsarr[i] = 0;
        for (i = 0; i < n; ++i) wsarr[wvarr[i]]++;
        for (i = 1; i < m; ++i) wsarr[i] += wsarr[i - 1];
        for (i = n - 1; i >= 0; --i) sa[--wsarr[wvarr[i]]] = y[i];
        for (t = x, x = y, y = t, p = 1, x[sa[0]] = 0, i = 1; i < n; ++i)
            x[sa[i]] = cmp(y, sa[i - 1], sa[i], j) ? p - 1 : p++;
    }
}
void get_height(int* r, int* sa, int n) {
    re int i, j, k = 0;
    for (i = 0; i <= n; ++i) ranks[sa[i]] = i;
    for (i = 0; i < n; height[ranks[i++]] = k)
        for (k ? k-- : 0, j = sa[ranks[i] - 1]; r[i + k] == r[j + k]; k++);
    return;
}

int st[max_n][32];
void initSt(int a[], int n) {
    for (int i = 0;i <= n;++i)st[i][0] = height[i];
    int mxk = (int)log2(n + 1);
    for (int k = 1;k <= mxk;++k) {
        for (int i = 0;i <= n;++i) {
            if (i + (1 << k) - 1 > n)break;
            st[i][k] = min(st[i][k - 1], st[i + (1 << (k - 1))][k - 1]);
        }
    }
}
int que(int l, int r) {
    l = ranks[l];r = ranks[r];
    if (l > r)swap(l, r);
    ++l;
    int len = log2(r - l + 1);
    return min(st[l][len], st[r - (1 << len) + 1][len]);
}

int a[max_n];
string s1, s2, s3;
void init(int n) {
    fill(a, a + n + 3, 0);
    fill(ranks, ranks + n + 3, 0);
    fill(SA, SA + n + 3, 0);
    fill(height, height + n + 3, 0);
    fill(wa, wa + n + 3, 0);
    fill(wb, wb + n + 3, 0);
    fill(wsarr, wsarr + n + 3, 0);
    fill(wvarr, wvarr + n + 3, 0);
}
int ToInt(char ch) {
    if (ch == 'A')return 1;
    else if (ch == 'T')return 2;
    else if (ch == 'C')return 3;
    else if (ch == 'G')return 4;
    else return 5;
}
int main() {
    ios::sync_with_stdio(0);
    int T;cin >> T;
    while (T--) {
        cin >> s1;cin >> s2;
        s3 = s1 + s2;
        int n = s3.size();
        init(n);
        for (re int i = 0;i < n;++i)a[i] = ToInt(s3[i]);
        get_sa(a, SA, n, 7);
        get_height(a, SA, n);
        initSt(a, n);
        int ans = 0;
        for (re int i = s2.size();i <= s1.size();++i) {
            int left = i - s2.size();
            int cur = left;
            for (int k = 0;k <= 3;++k) {
                cur += que(cur, s1.size() + cur - left);
                if (k < 3)++cur;
                if (cur >= i) {
                    ++ans;
                    break;
                }
            }
        }cout << ans << endl;
    }
}

后缀数组终于理解了模板和经典例题。此题算是入门前的礼物。