集训讲字符串的时候我唯一想出正解的题……

链接

BZOJ 2865

题面

给出一个长度为n (n <= 5e5) 的字符串，对于每一位，求包含该位的、最短的、在原串中只出现过一次的子串。

题解

“只出现过一次”，想到后缀数组，后缀数组可以求出以第i位开头的最短的在原串中只出现过一次的子串——它的长度是min(height[rank[i]], height[rank[i] + 1) + 1。

所以我们枚举每个位置i，找到这个串，然后考虑它的贡献：

对于这个串之内的位置，答案可以用这个串的长度更新；

对于这个串右边的位置，串可以向右“延伸”直到包含该位置（延伸后的串显然也只出现过一次），所以答案可以用（该位置 - i + 1）来更新。

这两个分别用线段树维护即可。

#include <cstdio>

#include <cmath>

#include <cstring>

#include <algorithm>

using namespace std;

typedef long long ll;

#define enter putchar('\n')

#define space putchar(' ')

template <class T>

void read(T &x){

    char c;

    bool op = 0;

    while(c = getchar(), c > '9' || c < '0')

	if(c == '-') op = 1;

    x = c - '0';

    while(c = getchar(), c >= '0' && c <= '9')

	x = x * 10 + c - '0';

    if(op) x = -x;

}

template <class T>

void write(T x){

    if(x < 0) putchar('-'), x = -x;

    if(x >= 10) write(x / 10);

    putchar('0' + x % 10);

}

const int N = 500005, INF = 0x3f3f3f3f;

int n, sa[N], rnk[N], buf1[N], buf2[N], buc[N], height[N];

int data[2][4*N], lazy[2][4*N], pos[N];

char s[N];

void pushdown(int h, int k){

    if(lazy[h][k] == INF) return;

    lazy[h][k << 1] = min(lazy[h][k << 1], lazy[h][k]);

    lazy[h][k << 1 | 1] = min(lazy[h][k << 1 | 1], lazy[h][k]);

    data[h][k << 1] = min(data[h][k << 1], lazy[h][k]);

    data[h][k << 1 | 1] = min(data[h][k << 1 | 1], lazy[h][k]);

    lazy[h][k] = INF;

}

void modify(int h, int k, int l, int r, int ql, int qr, int x){

    if(ql <= l && qr >= r){

        data[h][k] = min(data[h][k], x);

        lazy[h][k] = min(lazy[h][k], x);

        return;

    }

    int mid = (l + r) >> 1;

    if(ql <= mid) modify(h, k << 1, l, mid, ql, qr, x);

    if(qr > mid) modify(h, k << 1 | 1, mid + 1, r, ql, qr, x);

    data[h][k] = min(data[h][k << 1], data[h][k << 1 | 1]);

}

void pushdown_all(int k, int l, int r){

    if(l == r) return (void)(pos[l] = k);

    pushdown(0, k), pushdown(1, k);

    int mid = (l + r) >> 1;

    pushdown_all(k << 1, l, mid);

    pushdown_all(k << 1 | 1, mid + 1, r);

}

void suffix_sort(){

    int m = 128, *x = buf1, *y = buf2;

    for(int i = 0; i <= m; i++) buc[i] = 0;

    for(int i = 1; i <= n; i++) buc[x[i] = s[i]]++;

    for(int i = 1; i <= m; i++) buc[i] += buc[i - 1];

    for(int i = n; i; i--) sa[buc[x[i]]--] = i;

    for(int k = 1, p = 0; k <= n && p < n; k *= 2, m = p, p = 0){

        for(int i = n - k + 1; i <= n; i++) y[++p] = i;

        for(int i = 1; i <= n; i++) if(sa[i] > k) y[++p] = sa[i] - k;

        for(int i = 0; i <= m; i++) buc[i] = 0;

        for(int i = 1; i <= n; i++) buc[x[y[i]]]++;

        for(int i = 1; i <= m; i++) buc[i] += buc[i - 1];

        for(int i = n; i; i--) sa[buc[x[y[i]]]--] = y[i];

        swap(x, y), x[sa[1]] = 1, p = 1;

        for(int i = 2; i <= n; i++)

            x[sa[i]] = (y[sa[i]] == y[sa[i - 1]] && y[sa[i] + k] == y[sa[i - 1] + k]) ? p : ++p;

    }

    for(int i = 1; i <= n; i++) rnk[sa[i]] = i;

    for(int i = 1, k = 0; i <= n; i++){

        if(rnk[i] == 1) continue;

        int j = sa[rnk[i] - 1];

        if(k) k--;

        while(i + k <= n && j + k <= n && s[i + k] == s[j + k]) k++;

        height[rnk[i]] = k;

    }

}

int main(){

    scanf("%s", s + 1);

    n = strlen(s + 1);

    suffix_sort();

    memset(data, INF, sizeof(data));

    memset(lazy, INF, sizeof(lazy));

    for(int i = 1; i <= n; i++){

        int len = max(height[rnk[i]], height[rnk[i] + 1]);

        if(i + len <= n) modify(0, 1, 1, n, i, i + len, len + 1);

        if(i + len < n) modify(1, 1, 1, n, i + len + 1, n, 1 - i);

    }

    pushdown_all(1, 1, n);

    for(int i = 1; i <= n; i++)

        write(min(data[0][pos[i]], i + data[1][pos[i]])), enter;

    return 0;

}