[BZOJ4319][cerc2008]Suffix reconstruction（贪心）

=== ===

这里放传送门

=== ===

题解

这题发题解的时候纠结了半天挂什么tag。。后缀数组？这哪里用后缀数组了。。暴力？感觉好敷衍。。最后还是决定挂上贪心的tag好了。。。

ATP一开始看这个题是一脸懵逼的。。（内心：这也能做？
然后想如果这个N很短，小于26位的话，那按照rank的顺序把a..z一个一个填进去一定可以出一组合法解。
但是如果N比较大的话就必须有一些位置填重复的字母了。这样的话这个后缀的大小就不仅仅跟第一位填什么字母有关，后面的字母也会影响它的结果。
那么考虑后缀比较大小的过程，设有两个后缀Suf(p1)和Suf(p2)。当p1和p2位置的字符相同的时候，那么实际上就是要比较后缀Suf(p1+1)和Suf(p2+1)的大小。而这两个后缀的大小已经比较出来了——就是用题目给定的后缀数组求出rank来就可以了。
那么以要求Suf(p1) < <script type="math/tex" id="MathJax-Element-143"><</script>Suf(p2)为例，如果Suf(p1+1)$\lt$Suf(p2+1)，说明p1和p2位置字母相同的时候是可以满足要求的。否则就不能让它推到后一位去比较，必须在p1和p2位置就分出大小，也就是p1位置的字符必须严格小于p2位置的字符。
可以发现这样构造的时候是能填重复字符就填重复字符的，也就是能够构造出使用字符尽量少的合法解。如果这样的合法解都使用了超过26种字符就无法满足只有小写字母的限制，就说明无解了。

代码

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
int n,SA[500010],rank[500010],s[500010],now;
int main()
{
    scanf("%d",&n);
    for (int i=1;i<=n;i++) scanf("%d",&SA[i]);
    for (int i=1;i<=n;i++) rank[SA[i]]=i;
    s[SA[n]]=now=26;
    for (int i=n-1;i>=1;i--){
        int p1=SA[i]+1,p2=SA[i+1]+1;
        p1=rank[p1],p2=rank[p2];
        if (p1<p2) s[SA[i]]=now;
        else s[SA[i]]=--now;
    }
    if (now<=0){printf("-1\n");return 0;}
    for (int i=1;i<=n;i++)
      printf("%c",'a'+s[i]-1);
    printf("\n");
    return 0;
}