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;
}