BZOJ - 4974（KMP+思维）

题目链接：BZOJ - 4974

题意：给出n和per[1~n]，per[i]表示字符串前i个字符的最小循环节。要求构造出符合条件的字典序最小的小写字母字符串。

题解：给出的per数组其实是一种next数组，将i - per[i]，就可以得到正常的next数组。然后根据next的构造方法，可以得到字符串中的相等与不想等关系，再贪心每次用符合条件的最小字母构造，还原字符串。

#include <bits/stdc++.h>
using namespace std;

const int maxn = 1e5 + 10;
int n, p[maxn];     //记录next数组
char s[maxn];       //储存构造串

int main()
{
    scanf("%d", &n);
    for(int i = 1, x; i <= n; i++){
        scanf("%d", &x);
        p[i] = i - x;       //还原next数组
    }
    p[0] = -1;      //将第0位标记为-1（不懂的再学一遍-1开头KMP）
    s[1] = 'a';     //第一个字母一定是a
    for(int i = 2; i <= n; i++){
        if(p[i] > 0) s[i] = s[p[i]];        //如果大于0，代表不是完全失配，给出的就是相等关系
        else{               //等于0时，表示完全失配，那么要寻找不想等关系
            set<char> S;        //记录不想等的关系，顺便排序和去重
            
            //第i位字符必须与前面的这些字符不相同才能完全失配
            int k = p[i - 1] + 1;
            while(k){
                S.insert(s[k]);
                k = p[k - 1] + 1;
            }
            
            //寻找最小的不属于set中的字符
            char x = 'a';
            while(!S.empty()){
                char y = *S.begin();
                if(x != y) break;
                else{
                    x++;
                    S.erase(S.begin());
                }
            }
            s[i] = x;
        }
    }

    printf("%s\n", s + 1);

    return 0;
}