标签:struct char get tarjan mem space getch nod ++
又是一道2-SAT裸题(读题比想题久/kk)
/* m: 0 (i + 0 * n) h: 1 (i + 1 * n) */ #include <iostream> #include <cstdio> #include <cstring> using namespace std; const int N = 210; const int M = 2010; struct node{ int pre, to; }edge[M]; int head[N], tot; int K; int n, m; int dfn[N], low[N], stk[N], top, dep; int col[N], scc; bool vis[N]; void tarjan(int x) { dfn[x] = low[x] = ++dep; stk[++top] = x; vis[x] = 1; for (int i = head[x]; i; i = edge[i].pre) { int y = edge[i].to; if (!dfn[y]) { tarjan(y); low[x] = min(low[x], low[y]); } else if (vis[y]) { low[x] = min(low[x], dfn[y]); } } if (low[x] == dfn[x]) { scc++; vis[x] = 0; col[x] = scc; while (stk[top] != x) { col[stk[top]] = scc; vis[stk[top]] = 0; top--; } top--; } } void add(int u, int v) { edge[++tot] = node{head[u], v}; head[u] = tot; } int read() { int ret = 0, f = 1; char ch = getchar(); while (‘0‘ > ch || ch > ‘9‘) { if (ch == ‘-‘) f = -1; ch = getchar(); } while (‘0‘<= ch && ch <= ‘9‘) { ret = (ret << 1) + (ret << 3) + ch - ‘0‘; ch = getchar(); } return ret * f; } void write(int x) { if (x > 9) write(x / 10); putchar(x % 10 + ‘0‘); } void print(int x) { if (x < 0) { x = -x; putchar(‘-‘); } write(x); putchar(‘\n‘); } int f(char c) { return c == ‘m‘ ? 0 : 1; } int main() { K = read(); while (K--) { top = scc = 0; memset(vis, 0, sizeof(vis)); memset(col, 0, sizeof(col)); memset(low, 0, sizeof(low)); memset(dfn, 0, sizeof(dfn)); memset(head, 0, sizeof(head)); tot = 0; n = read(); m = read(); for (int i = 1; i <= m; i++) { char s1[5], s2[5]; scanf("%s%s", s1 + 1, s2 + 1); int l1 = strlen(s1 + 1); int l2 = strlen(s2 + 1); int x = 0, y = 0; for (int j = 2; j <= l1; j++) { x = (x << 1) + (x << 3) + s1[j] - ‘0‘; } for (int j = 2; j <= l2; j++) { y = (y << 1) + (y << 3) + s2[j] - ‘0‘; } int a = f(s1[1]); int b = f(s2[1]); add(x + (a ^ 1) * n, y + (b & 1) * n); add(y + (b ^ 1) * n, x + (a & 1) * n); } for (int i = 1; i <= n << 1; i++) { if (!dfn[i]) { tarjan(i); } } bool ans = 1; for (int i = 1; i <= n; i++) { if (col[i] == col[i + n]) { ans = 0; break; } } if (ans) puts("GOOD"); else puts("BAD"); } return 0; }
标签:struct char get tarjan mem space getch nod ++
原文地址:https://www.cnblogs.com/zcr-blog/p/12860427.html