如果字符集无限大的话直接按照 $sa$ 的顺序依次填即可.
由于字符集非常小，所以要尽量填相同的字符.
我们知道 $sa$ 数组，也就知道了 $rank$ 数组.
那么考虑添加排名为 $i$ 的字符：
如果 $rank[sa[i-1]+1]>rank[sa[i]+1]$，说明 $sa[i]$ 的字典序必须比 $sa[i-1]$ 的字典序大，新建字符.
否则，就不用新建字符.
这么做下去即可.
code:
#include <bits/stdc++.h>
#define N 503000
#define LL long long
using namespace std;
void setIO(string s)
{
string in=s+".in";
freopen(in.c_str(),"r",stdin);
}
char str[N];
int sa[N],rk[N];
int main()
{
// setIO("input");
int i,j,n;
scanf("%d",&n);
for(i=1;i<=n;++i)
{
scanf("%d",&sa[i]);
rk[sa[i]]=i;
}
int ch=0;
str[sa[1]]=ch+'a';
for(i=2;i<=n;++i)
{
if(rk[sa[i]+1]<rk[sa[i-1]+1]) ++ch;
if(ch>=27)
{
printf("-1\n");
return 0;
}
str[sa[i]]=ch+'a';
}
printf("%s",str+1);
return 0;
}