=== ===
这里放传送门
=== ===
题解
这题发题解的时候纠结了半天挂什么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)
<
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;
}