codeforces 1213F Unstable String Sort

https://codeforces.com/problemset/problem/1213/F

对 p,q建图

u->v表示s[u]<=s[v]

如果形成了一个环，那么这个环中所有点的值必须相同

于是强联通分量缩点，每一个强连通分量的大小必须相同，所以直接拓扑排序，然后看最多能安排多少个字母

(卧槽写错一点好气 啊，我安排到z后面一个字母去了，<写成了<=，再次痛失ak div3机会)

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

int n,k,ff,top,cnt,cnt2,id,num;
int a[maxl],b[maxl],s[maxl];
int ehead[maxl],ehead2[maxl];
struct ed
{
	int to,nxt;
}e[maxl],e2[maxl];
int f[maxl],dfn[maxl],low[maxl],rudu[maxl];
bool in[maxl];
bool ansflag;
char ans[maxl],dy[maxl];
queue <int> q;

inline void add(int u,int v)
{
	e[++cnt].to=v;e[cnt].nxt=ehead[u];ehead[u]=cnt;
}

inline void add2(int u,int v)
{
	e2[++cnt2].to=v;e2[cnt2].nxt=ehead2[u];
	ehead2[u]=cnt2;
}

inline void prework()
{
	scanf("%d%d",&n,&k);
	for(int i=1;i<=n;i++)
		scanf("%d",&a[i]);
	for(int i=1;i<=n;i++)
		scanf("%d",&b[i]);
	cnt=0;
	for(int i=1;i<n;i++)
	{
		add(a[i],a[i+1]);
		add(b[i],b[i+1]);
	}
}

inline void tarjan(int u) 
{  
    int v;s[++top]=u;in[u]=true;  
    dfn[u]=low[u]=++num;  
    for(int i=ehead[u];i;i=e[i].nxt) 
    {  
        v=e[i].to;  
        if(!dfn[v]) 
        {  
            tarjan(v);  
            if(low[v]<low[u])  
                low[u]=low[v];  
        }  
        else  if(in[v] && dfn[v]<low[u])  
                low[u]=dfn[v];  
    }  
    if(dfn[u]==low[u]) 
    {  
        ff++;  
        do 
        {  
            v=s[top];s[top]=0;top--;  
            f[v]=ff;  
            in[v]=false;  
        }while(v!=u);  
    }  
}

inline void mainwork()
{
	for(int i=1;i<=n;i++)
	if(!dfn[i])
		tarjan(i);
	int u,v;cnt2=0;
	for(u=1;u<=n;u++)
	{
		for(int i=ehead[u];i;i=e[i].nxt)
		{
			v=e[i].to;
			if(f[v]!=f[u])
			{
				add2(f[u],f[v]);
				rudu[f[v]]++;
			}
		}
	}
	for(int i=1;i<=ff;i++)
	if(rudu[i]==0)
		q.push(i);
	id=0;
	while(!q.empty())
	{
		u=q.front();q.pop();
		if(id<26) id++;
		dy[u]=id+'a'-1;
		for(int i=ehead2[u];i;i=e2[i].nxt)
		{
			v=e2[i].to;
			rudu[v]--;
			if(rudu[v]==0)
				q.push(v);
		}
	}
	for(int i=1;i<=n;i++)
		ans[i]=dy[f[i]];
}

inline void print()
{
	if(id<k)
		puts("NO");
	else
	{
		puts("YES");
		for(int i=1;i<=n;i++)
			putchar(ans[i]);
	}
}

int main()
{
	prework();
	mainwork();
	print();
	return 0;
}