[AGC027C]ABland Yard

Description

AGC027C
给定一张图，点有标号A或B，计算是否对于任意的一个由AB构成的字符串都在图中有对应的路径。

Solution

观察可以发现，如果有个环（不一定是简单环）是AABB的无限循环，就输出Yes，否则输出No。

UPD:对于上面那个结论，这里给出简要证明：当在这个环上任意一个A点时，可以任意的走向AB点，在任意一个B点时也是这样，那么，对于任意字符串，只需走向要求的点即可。

然鹅，话是这么说，码却没有那么好写，我一开始写了dfs找环，但是一直WA，和标程对拍也拍不出来错。所以我就换了一种思路，借用拓扑排序的思想，每次将只与一种字符相连的点删去，如果删完还剩下，那么就说明有一个AABB的环，否则就没有。

Code

拓扑排序版：

#include <cstdio>
 
const int N = 2e5 + 10;
const int M = 4e5 + 10;
 
int hd[N], nxt[M], to[M], cnt;
int deg[N][2];
int n, m;
char col[N];
int q[N], qhd, qtl, vis[N];
 
inline void adde(int x, int y) {
    cnt++;
    to[cnt] = y; nxt[cnt] = hd[x]; 
    hd[x] = cnt;
}
 
int main() {
    scanf("%d%d", &n, &m);
    scanf("%s", col+1);
    for (int i = 1, x, y; i <= m; ++i) {
        scanf("%d%d", &x, &y);
        adde(x, y);
        adde(y, x);
        deg[x][col[y] == 'B']++;
        deg[y][col[x] == 'B']++;
    }
    for (int i = 1; i <= n; ++i) {
        if (deg[i][0] == 0 || deg[i][1] == 0) vis[q[qtl++] = i] = 1;
    }
    while (qhd != qtl) {
        int x = q[qhd++];
        // printf("%d\n", x);
        // vis[x] = 1;
        for (int i = hd[x]; i; i = nxt[i]) if (!vis[to[i]]) {
            if (--deg[to[i]][col[x] == 'B'] == 0) {
                vis[to[i]] = 1;
                q[qtl++] = to[i];
            } 
        }
    }
    if (qtl == n) puts("No");
    else puts("Yes");
}