https://agc027.contest.atcoder.jp/tasks/agc027_c

题意：

给你一张图，可能有自环，每个点都属于A或者B。

你可以从任意起点到任意终点，可以随便走，重复走，但不能不走。

问你这张图能不能实现所有种的长度任意的AB串。比如A，AA，AAA，ABA，BBB……。

point：

结论题，只要这个图里存在(AABB)(AABB)……这种类型的环就可以。

所以就是找AABB的环。

可以用拓扑排序。 把只与A连接或者只与B连接的点都去掉。类似拓扑。

剩下来的点都是既与A连，又与B连的点。 就代表存在AABB这种类型的环。

#include <iostream>
#include <stdio.h>
#include <string.h>
#include <vector>
#include <queue>
#include <algorithm>
using namespace std;
#define  LL long long
const int N = 2e5+33;
vector<int>G[N];
char k[N];
int d[N][2];
queue<int>q;
int vis[N];
int main()
{
	int n,m;
	scanf("%d%d",&n,&m);
	scanf("%s",k+1);
	for(int i=1;i<=m;i++){
		int u,v;
		scanf("%d%d",&u,&v);
		G[u].push_back(v);
		G[v].push_back(u);
		d[u][k[v]-'A']++;
		d[v][k[u]-'A']++;
	}
	for(int i=1;i<=n;i++) if(d[i][0]==0||d[i][1]==0) q.push(i),vis[i]=1;
	int cnt=(int)q.size();
	while(!q.empty()){
		int u=q.front();
		q.pop();
		for(int i=0;i<G[u].size();i++){
			int v=G[u][i];
			if(--d[v][k[u]-'A']==0&&vis[v]==0){
				q.push(v);
				cnt++;
				vis[v]=1;
			}
		}
	}
	if(cnt!=n){
		puts("Yes");
	}else{
		puts("No");
	}


	
	return 0;
}