結果
| 問題 | No.2293 無向辺 2-SAT |
| ユーザー |
 ぷら
|
| 提出日時 | 2023-05-05 22:27:38 |
| 言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
| 結果 |
TLE
|
| 実行時間 | - |
| コード長 | 3,887 bytes |
| コンパイル時間 | 2,254 ms |
| コンパイル使用メモリ | 211,616 KB |
| 実行使用メモリ | 25,516 KB |
| 最終ジャッジ日時 | 2024-05-02 17:11:12 |
| 合計ジャッジ時間 | 9,845 ms |
|
ジャッジサーバーID （参考情報） |
judge5 / judge3 |
（要ログイン）
テストケース
テストケース表示| 入力 | 結果 | 実行時間 実行使用メモリ |
|---|---|---|
| testcase_00 | AC | 1 ms
5,248 KB |
| testcase_01 | AC | 18 ms
16,512 KB |
| testcase_02 | AC | 1 ms
5,376 KB |
| testcase_03 | TLE | - |
| testcase_04 | -- | - |
| testcase_05 | -- | - |
| testcase_06 | -- | - |
| testcase_07 | -- | - |
| testcase_08 | -- | - |
| testcase_09 | -- | - |
| testcase_10 | -- | - |
| testcase_11 | -- | - |
| testcase_12 | -- | - |
| testcase_13 | -- | - |
| testcase_14 | -- | - |
| testcase_15 | -- | - |
| testcase_16 | -- | - |
| testcase_17 | -- | - |
| testcase_18 | -- | - |
| testcase_19 | -- | - |
| testcase_20 | -- | - |
| testcase_21 | -- | - |
| testcase_22 | -- | - |
| testcase_23 | -- | - |
| testcase_24 | -- | - |
| testcase_25 | -- | - |
| testcase_26 | -- | - |
| testcase_27 | -- | - |
| testcase_28 | -- | - |
| testcase_29 | -- | - |
| testcase_30 | -- | - |
| testcase_31 | -- | - |
| testcase_32 | -- | - |
| testcase_33 | -- | - |
| testcase_34 | -- | - |
| testcase_35 | -- | - |
| testcase_36 | -- | - |
| testcase_37 | -- | - |
| testcase_38 | -- | - |
| testcase_39 | -- | - |
| testcase_40 | -- | - |
| testcase_41 | -- | - |
| testcase_42 | -- | - |
| testcase_43 | -- | - |
| testcase_44 | -- | - |
| testcase_45 | -- | - |
| testcase_46 | -- | - |
| testcase_47 | -- | - |
| testcase_48 | -- | - |
| testcase_49 | -- | - |
| testcase_50 | -- | - |
| testcase_51 | -- | - |
| testcase_52 | -- | - |
| testcase_53 | -- | - |
| testcase_54 | -- | - |
| testcase_55 | -- | - |
ソースコード
#include <bits/stdc++.h>
using namespace std;
constexpr int mod = 998244353;
long long modpow(long long a,long long b) {
long long ans = 1;
while(b) {
if(b & 1) {
(ans *= a) %= mod;
}
(a *= a) %= mod;
b /= 2;
}
return ans;
}
struct UnionFind {
vector<int> par;
vector<int> size;
vector<vector<int>>cld;
UnionFind(int n) {
par.resize(n);
size.resize(n,1);
cld.resize(n);
for(int i = 0; i < n; i++) {
par[i] = i;
cld[i].push_back(i);
}
}
int find(int x) {
if(par[x] == x) {
return x;
}
return par[x] = find(par[x]);
}
bool same(int x, int y) {
return find(x) == find(y);
}
int consize(int x) {
return size[find(x)];
}
bool unite(int x,int y) {
x = find(x);
y = find(y);
if(x == y) {
return false;
}
if(size[x] > size[y]) {
swap(x,y);
}
par[x] = y;
size[y] += size[x];
for(auto i:cld[x]) {
cld[y].push_back(i);
}
return true;
}
};
int main() {
ios::sync_with_stdio(false);
cin.tie(nullptr);
int N,Q;
cin >> N >> Q;
UnionFind uf(N);
vector<int>r(N,-1);
int cnt = N;
bool ok = true;
vector<int>tmp;
for(int i = 0; i < Q; i++) {
int f;
cin >> f;
if(f == 1) {
int u,v;
cin >> u >> v;
u--;
v--;
tmp.push_back(u);
tmp.push_back(v);
if(!uf.same(u,v)) {
cnt--;
if(uf.size[u] < uf.size[v]) {
swap(u,v);
}
if(r[u] == -1) {
r[u] = 0;
}
if(r[v] == -1) {
r[v] = r[u];
}
int b = r[v];
for(int j:uf.cld[uf.find(v)]) {
if(b == r[j]) {
r[j] = r[u];
}
else {
r[j] = !r[u];
}
}
uf.unite(u,v);
}
else if(r[u] != r[v]) {
ok = false;
}
if(ok) {
cout << modpow(2,cnt) << "\n";
}
else {
cout << 0 << "\n";
}
}
if(f == 2) {
int u,v;
cin >> u >> v;
u--;
v--;
tmp.push_back(u);
tmp.push_back(v);
if(!uf.same(u,v)) {
cnt--;
if(uf.size[u] < uf.size[v]) {
swap(u,v);
}
if(r[u] == -1) {
r[u] = 0;
}
if(r[v] == -1) {
r[v] = !r[u];
}
int b = r[v];
for(int j:uf.cld[uf.find(v)]) {
if(b == r[j]) {
r[j] = !r[u];
}
else {
r[j] = r[u];
}
}
uf.unite(u,v);
}
else if(r[u] == r[v]) {
ok = false;
}
if(ok) {
cout << modpow(2,cnt) << "\n";
}
else {
cout << 0 << "\n";
}
}
if(f == 3) {
cnt = N;
ok = true;
for(int j:tmp) {
uf.par[j] = j;
uf.size[j] = 1;
uf.cld[j].clear();
uf.cld[j].push_back(j);
r[j] = -1;
}
tmp.clear();
cout << modpow(2,N) << "\n";
}
}
}