poj3415（后缀数组）

poj3415

题意

给定两个字符串，给出长度 (m) ，问这两个字符串有多少对长度大于等于 (m) 且完全相同的子串。

分析

首先连接两个字符串 A B，中间用一个特殊符号分割开。
按照 (sa) 的顺序（即枚举 (height) 值），进行分组，那么有公共前缀长大于等于 (m) 的都分到了一组，对于某一组，后缀串可能来自于 A 也可能来自于 B，那么对于 A 找前面的 B 串，对于 B 找前面的 A 串，如果某两个后缀串的公共前缀长为 (l(l geqslant m))，那么显然会有 (l - m + 1) 对子串。
注意到这个性质: 对于两个后缀串 j 和 k，设 (rnk[j] < rnk[k]) ，LCP长度为 (height[rnk[j]+1], height[rnk[j]+2], ... , height[rnk[k]]) 中的最小值。
维护一个单调递增的栈（保证栈顶最大）可以用一个二维数组表示（(q[][2])），一个是栈，一个是某个数的个数。
举个例子，如果连续的 (height) 值为 (2 3 4) ，(m = 2)，前三个为 A 串，那么 (2 3 4) 全部入栈，且计算对答案的贡献 (sum)（不是直接加到答案上），即 ((2-2+1) + (3-2+1) + (4-2+1)) ，到 B 串时，答案就加上了这个值，但是如果后面还有一个 B 串且 (height) 为 (3)，那么就要弹栈，且减去 (sum) 值多的那部分（前面多算了），栈里 (4) 的数量为 (1)，所以 (sum = sum - (4 - 3) * 1) ，且栈里 (3) 的数量变为了 (2) （ (4) 对应的 A 串对于后面串提供的贡献减小了（注意前面的性质），所以(4) 变为了 (3) ），答案加上 (sum)。

code

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
typedef long long ll;
const int MAXN = 2e5 + 10;
const int INF = 1e9;
char s[MAXN];
int sa[MAXN], t[MAXN], t2[MAXN], c[MAXN], n; // n 为 字符串长度 + 1，即最后一位为数字 0
int rnk[MAXN], height[MAXN];
// 构造字符串 s 的后缀数组。每个字符值必须为 0 ~ m-1
void build_sa(int m) {
    int i, *x = t, *y = t2;
    for(i = 0; i < m; i++) c[i] = 0;
    for(i = 0; i < n; i++) c[x[i] = s[i]]++;
    for(i = 1; i < m; i++) c[i] += c[i - 1];
    for(i = n - 1; i >= 0; i--) sa[--c[x[i]]] = i;
    for(int k = 1; k <= n; k <<= 1) {
        int p = 0;
        for(i = n - k; i < n; i++) y[p++] = i;
        for(i = 0; i < n; i++) if(sa[i] >= k) y[p++] = sa[i] - k;
        for(i = 0; i < m; i++) c[i] = 0;
        for(i = 0; i < n; i++) c[x[y[i]]]++;
        for(i = 0; i < m; i++) c[i] += c[i - 1];
        for(i = n - 1; i >= 0; i--) sa[--c[x[y[i]]]] = y[i];
        swap(x, y);
        p = 1;
        x[sa[0]] = 0;
        for(i = 1; i < n; i++)
            x[sa[i]] = y[sa[i - 1]] == y[sa[i]] && y[sa[i - 1] + k] == y[sa[i] + k] ? p - 1 : p++;
        if(p >= n) break;
        m = p;
    }
}
void getHeight() {
    int i, j, k = 0;
    for(i = 0; i < n; i++) rnk[sa[i]] = i;
    for(i = 0; i < n - 1; i++) {
        if(k) k--;
        j = sa[rnk[i] - 1];
        while(s[i + k] == s[j + k]) k++;
        height[rnk[i]] = k;
    }
}
char s2[MAXN];
int q[MAXN][2];
int main() {
    int m;
    while(~scanf("%d", &m) && m) {
        scanf("%s%s", s, s2); // A 、B串
        int l = strlen(s), l2 = strlen(s2);
        s[l++] = '#';
        for(int i = 0; i < l2; i++) s[i + l] = s2[i];
        s[l + l2] = 0;
        n = l + l2 + 1;
        build_sa(128);
        getHeight();
        ll ans = 0, sum = 0;
        int top = 0;
        // 在 B 串前找 A
        for(int i = 2; i < n; i++) {
            int cnt = 0;
            if(height[i] < m) {
                top = 0; sum = 0;
                continue;
            }
            if(sa[i - 1] < l) {
                cnt++;
                sum += height[i] - m + 1;
            }
            while(top && q[top - 1][0] >= height[i]) {
                top--;
                sum -= (q[top][0] - height[i]) * q[top][1];
                cnt += q[top][1];
            }
            q[top][0] = height[i]; q[top++][1] = cnt;
            if(sa[i] >= l) ans += sum;
        }
        // 在 A 串前找 B
        sum = 0; top = 0;
        for(int i = 2; i < n; i++) {
            int cnt = 0;
            if(height[i] < m) {
                top = 0; sum = 0;
                continue;
            }
            if(sa[i - 1] >= l) {
                cnt++;
                sum += height[i] - m + 1;
            }
            while(top && q[top - 1][0] >= height[i]) {
                top--;
                sum -= (q[top][0] - height[i]) * q[top][1];
                cnt += q[top][1];
            }
            q[top][0] = height[i]; q[top++][1] = cnt;
            if(sa[i] < l) ans += sum;
        }
        printf("%lld
", ans);
    }
    return 0;
}