結果
| 問題 | No.2293 無向辺 2-SAT |
| ユーザー |
 SSRS
|
| 提出日時 | 2023-05-05 22:01:34 |
| 言語 | C++14 (gcc 12.3.0 + boost 1.83.0) |
| 結果 |
TLE
|
| 実行時間 | - |
| コード長 | 1,531 bytes |
| コンパイル時間 | 1,967 ms |
| コンパイル使用メモリ | 171,984 KB |
| 実行使用メモリ | 13,664 KB |
| 最終ジャッジ日時 | 2024-05-02 16:17:42 |
| 合計ジャッジ時間 | 15,753 ms |
|
ジャッジサーバーID （参考情報） |
judge2 / judge3 |
（要ログイン）
テストケース
テストケース表示| 入力 | 結果 | 実行時間 実行使用メモリ |
|---|---|---|
| testcase_00 | AC | 2 ms
5,248 KB |
| testcase_01 | AC | 4 ms
5,248 KB |
| testcase_02 | AC | 3 ms
5,376 KB |
| testcase_03 | AC | 498 ms
9,068 KB |
| testcase_04 | AC | 2,723 ms
9,072 KB |
| testcase_05 | AC | 1,915 ms
8,412 KB |
| testcase_06 | TLE | - |
| 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;
const long long MOD = 998244353;
const long long HALF = 499122177;
struct unionfind{
vector<int> p;
vector<int> id;
unionfind(int N){
p = vector<int>(N, -1);
}
int root(int x){
if (p[x] < 0){
return x;
} else {
p[x] = root(p[x]);
return p[x];
}
}
bool same(int x, int y){
return root(x) == root(y);
}
void unite(int x, int y){
id.push_back(x);
id.push_back(y);
x = root(x);
y = root(y);
if (x != y){
if (p[x] < p[y]){
swap(x, y);
}
p[y] += p[x];
p[x] = y;
}
}
void reset(){
for (int v : id){
p[v] = -1;
}
}
};
int main(){
int N, Q;
cin >> N >> Q;
long long a = 1;
for (int i = 0; i < N; i++){
a *= 2;
a %= MOD;
}
unionfind UF(N * 2);
long long ans = a;
for (int i = 0; i < Q; i++){
int t;
cin >> t;
if (t == 1){
int u, v;
cin >> u >> v;
u--;
v--;
if (UF.same(u, N + v)){
ans = 0;
} else if (!UF.same(u, v)){
ans *= HALF;
ans %= MOD;
UF.unite(u, v);
UF.unite(N + u, N + v);
}
}
if (t == 2){
int u, v;
cin >> u >> v;
u--;
v--;
if (UF.same(u, v)){
ans = 0;
} else if (!UF.same(u, N + v)){
ans *= HALF;
ans %= MOD;
UF.unite(u, N + v);
UF.unite(N + u, v);
}
}
if (t == 3){
ans = a;
UF.reset();
}
cout << ans << endl;
}
}