codeforces1213F Unstable String Sort 思维

题目传送门

题意：a和b都代表字符串的下标，至少用k个字符，构造一个长度为n的字符串，将这个字符串中的字符按无论是按$a$写还是按$b$写，字典序都非递减。

思路：如果将$a[l,r]=b[l,r]$，相等的意思是字符重排列后相等。那显然这个一段区间可以用相同的字符来写，我们贪心的将1-n这样的相等的团全部划分出来，团的数量即我最多能用多少字符，小于k则输出-1，超出26的部分用‘z’代替即可。

#pragma GCC optimize (2)
#pragma G++ optimize (2)
#pragma comment(linker, "/STACK:102400000,102400000")
#include<bits/stdc++.h>
#include<cstdio>
#include<vector>
#define rep(i,a,b) for(int i=a;i<=b;i++)
#define dep(i,b,a) for(int i=b;i>=a;i--)
#define clr(a,b) memset(a,b,sizeof(a))
#define pb push_back
#define pii pair<int,int >
using namespace std;
typedef long long ll;
const int maxn=;
ll rd()
{
    ll x=,f=;char ch=getchar();
    while(ch<''||ch>''){if(ch=='-')f=-;ch=getchar();}
    while(ch>=''&&ch<=''){x=x*+ch-'';ch=getchar();}
    return x*f;
}
int vis1[maxn],vis2[maxn],a[maxn],b[maxn];
int n,k,tot,sa,sb,sta[maxn];
int ans[maxn];
int main(){
    cin>>n>>k;
    rep(i,,n)
    {
        scanf("%d",&a[i]);
    }
    int num=;
    int top=;
    rep(i,,n)
    {
        scanf("%d",&b[i]);
        vis2[a[i]]?(vis2[a[i]]=,num--):(vis1[a[i]]=,num++,sta[++top]=a[i]);
        vis1[b[i]]?(vis1[b[i]]=,num--):(vis2[b[i]]=,num++,sta[++top]=b[i]);
        if(num==){
            ++tot;
            while(top){
                ans[sta[top--]]=tot;
            }
        }

    }
    if(tot<k)puts("NO");
    else{
        int cnt=;
        puts("YES");
        for(int i=;i<=n;i++){
            printf("%c",'a'+min(ans[i]-,k-));
        }
    }

}