ポータル
タイトル説明
n個のドアとm個のスイッチがあります。各スイッチは任意の数のドアを制御できます。各ドアは2つのスイッチのみによって厳密に制御されます。特定のスイッチを操作して、すべてのドアを開くことができるかどうかを確認してください。（ドアの初期状態を示します）。
分析
初めて見たときは2土の問題だと思っていたのですが、考えてみると絵を描くのはあまり良くないと思い、組み合わせて確認するという解決方法を採用しました。
各キーをiとi + mの2つの状態に定義して、キーが使用されていることと使用されていないことを示すことができます。
ドアが1の場合、2つのキーを同時に使用するか、同時に使用しないか、つまりiを使用します。 、jの間にエッジがあり、i + mとj + mの間にエッジがあります。0状態の場合、iとj + mの間にエッジがあり、i + mとjの間にエッジがあります。
結局、あなたはユニコムの正当性を判断する必要があるだけです。
コード
#include <iostream>
#include <cstdio>
#include <cmath>
#include <algorithm>
#include <queue>
#include <cstring>
#define debug(x) cout<<#x<<":"<<x<<endl;
#define _CRT_SECURE_NO_WARNINGS
#pragma GCC optimize("Ofast","unroll-loops","omit-frame-pointer","inline")
#pragma GCC option("arch=native","tune=native","no-zero-upper")
#pragma GCC target("avx2")
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef pair<int,int> PII;
const int INF = 0x3f3f3f3f;
const int N = 2e5 + 10;
int q[N];
int a[N][2];
int cnt[N];
int b[N];
int n,m;
int find(int x){
if(q[x] != x) q[x] = find(q[x]);
return q[x];
}
void merge(int x,int y){
x = find(x),y = find(y);
if(x != y) q[x] = y;
}
int main(){
scanf("%d%d",&n,&m);
for(int i = 1;i <= n;i++) scanf("%d",&b[i]);
for(int i = 1;i <= m;i++){
int x,y;
scanf("%d",&x);
while(x--){
scanf("%d",&y);
a[y][cnt[y]++] = i;
}
q[i] = i;
q[i + m] = i + m;
}
for(int i = 1;i <= n;i++){
if(!b[i]) merge(a[i][0],a[i][1] + m),merge(a[i][1],a[i][0] + m);
else merge(a[i][0],a[i][1]),merge(a[i][1] + m,a[i][0] + m);
}
for(int i = 1;i <= m;i++){
if(find(i) == find(i + m)) {
puts("NO");
return 0;
}
}
puts("YES");
return 0;
}
/**
* ┏┓ ┏┓+ +
* ┏┛┻━━━┛┻┓ + +
* ┃ ┃
* ┃ ━ ┃ ++ + + +
* ████━████+
* ◥██◤ ◥██◤ +
* ┃ ┻ ┃
* ┃ ┃ + +
* ┗━┓ ┏━┛
* ┃ ┃ + + + +Code is far away from
* ┃ ┃ + bug with the animal protecting
* ┃ ┗━━━┓ 神兽保佑,代码无bug
* ┃ ┣┓
* ┃ ┏┛
* ┗┓┓┏━┳┓┏┛ + + + +
* ┃┫┫ ┃┫┫
* ┗┻┛ ┗┻┛+ + + +
*/