一家旅馆的 n 间不同的房间里困住了 n 个人，其中有些房间是被锁住了，有些房间是打开的，但是只有在所有房间同时打开的情况下，被困人员才能逃离。现在有 m 个开关，每个开关控制着一些房间的门，开关的作用是使得这些房间原来开着的关上，关上的打开，但每个门都被两个开关控制。
【输入格式】
第一行，有两个正整数 n 和 m（2 ≤ n, m ≤ 10^5） ， n 表示房间的数量，m 表示开关的数量。 第二行 n 个数，表示每个房间的状态，0 表示房间是锁住的，1 表示房间是开着的。
再接下来 m 行，每行第一个数 x 表示第 i 把锁控制的房间数，再接着有 x 个数，分别表示所控制的房间编号（1~n） 。
数据保证每个房间是被两个开关控制的。
【输出格式】
如果房间都能被打开则输出“YES”，否则输出“NO”
输入样例#1：
3 3
1 0 1
2 1 3
2 1 2
2 2 3
输出样例#1：
NO
输入样例#2：
3 3
1 0 1
3 1 2 3
1 2
2 1 3
输出样例#2：
YES
输入样例#3：
3 3
1 0 1
3 1 2 3
2 1 2
1 3
输出样例#3：
NO
由于每个门只会被两个钥匙控制，那么两个钥匙的选或不选就能建立起一种对应关系。即如果门本来是开着的，那么用了一把必须用另一把，不用一把必须不用另一把；如果们本来是开着的，那么不用一把必须用另一把，用了一把必须不用另一把。
#include <bits/stdc++.h> using namespace std; const int maxn = 5e5 + 5; int low[maxn], dfn[maxn]; int head[maxn], tot, scc[maxn]; int n, m, Index, ins[maxn], cnt; int a[maxn]; stack<int> st; struct Edge { int u, v, next; }edge[maxn << 1]; vector<int> vec[maxn]; void init() { memset(head, -1, sizeof(head)); tot = 1; } void add(int u, int v) { edge[++tot].u = u; edge[tot].v = v; edge[tot].next = head[u]; head[u] = tot; } void tarjan(int u) { low[u] = dfn[u] = ++Index; ins[u] = 1; st.push(u); for (int i = head[u]; i != -1; i = edge[i].next) { int to = edge[i].v; if (!dfn[to]) { tarjan(to); low[u] = min(low[u], low[to]); } else if (ins[to]) { low[u] = min(low[u], dfn[to]); } } if (low[u] == dfn[u]) { ++cnt; int v; do { v = st.top(); ins[v] = 0; st.pop(); scc[v] = cnt; } while (v != u); } } int sat() { for (int i = 1; i <= m; i++) { if (scc[i] == scc[i + m]) { return false; } } return true; } int main() { init(); int x, y; cin >> n >> m; for (int i = 1; i <= n; i++) { cin >> a[i]; } for (int i = 1; i <= m; i++) { cin >> y; for (int j = 1; j <= y; j++) { cin >> x; vec[x].push_back(i); } } for (int i = 1; i <= n; i++) { int u = vec[i][0], v = vec[i][1]; if (a[i]) { //如果门本来是开着的，则选择了一把，就必须选择另外一把 add(u, v); add(v, u); add(u + m, v + m); add(v + m, u + m); } else { //如果门本来是关着的，着选择了一把，就不能选择另外一把 add(u, v + m); add(v + m, u); add(u + m, v); add(v, u + m); } } for (int i = 1; i <= 2 * m; i++) { if (!dfn[i]) { tarjan(i); } } if (sat()) { cout << "Yes" << endl; } else { cout << "No" << endl; } return 0; }
