結果
| 問題 | No.2293 無向辺 2-SAT |
| ユーザー |
 kwm_t
|
| 提出日時 | 2023-05-05 23:13:53 |
| 言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
| 結果 |
TLE
|
| 実行時間 | - |
| コード長 | 1,774 bytes |
| コンパイル時間 | 4,780 ms |
| コンパイル使用メモリ | 265,432 KB |
| 実行使用メモリ | 29,844 KB |
| 最終ジャッジ日時 | 2024-05-02 18:22:05 |
| 合計ジャッジ時間 | 12,567 ms |
|
ジャッジサーバーID （参考情報） |
judge3 / judge5 |
（要ログイン）
テストケース
テストケース表示| 入力 | 結果 | 実行時間 実行使用メモリ |
|---|---|---|
| testcase_00 | AC | 2 ms
5,248 KB |
| testcase_01 | AC | 261 ms
29,844 KB |
| testcase_02 | AC | 3 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>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
//using mint = modint1000000007;
//const int mod = 1000000007;
using mint = modint998244353;
const int mod = 998244353;
//const int INF = 1e9;
//const long long LINF = 1e18;
#define rep(i, n) for (int i = 0; i < (n); ++i)
#define rep2(i,l,r)for(int i=(l);i<(r);++i)
#define rrep(i, n) for (int i = (n-1); i >= 0; --i)
#define rrep2(i,l,r)for(int i=(r-1);i>=(l);--i)
#define all(x) (x).begin(),(x).end()
#define allR(x) (x).rbegin(),(x).rend()
#define endl "\n"
#define P pair<int,int>
template<typename A, typename B> inline bool chmax(A & a, const B & b) { if (a < b) { a = b; return true; } return false; }
template<typename A, typename B> inline bool chmin(A & a, const B & b) { if (a > b) { a = b; return true; } return false; }
int main() {
ios::sync_with_stdio(false);
cin.tie(nullptr);
int n, q; cin >> n >> q;
vector<int>t(q), u(q), v(q);
rep(i, q) {
cin >> t[i];
if (t[i] <= 2) {
cin >> u[i] >> v[i];
u[i]--, v[i]--;
}
}
dsu uf(n * 2);
bool chk = true;
rep(i, q) {
if (1 == t[i]) {
int x0 = u[i] * 2;
int x1 = x0 + 1;
int y0 = v[i] * 2;
int y1 = y0 + 1;
if (uf.same(x0, y1) || uf.same(x1, y0)) {
chk = false;
}
else {
uf.merge(x0, y0);
uf.merge(x1, y1);
}
}
else if (2 == t[i]) {
int x0 = u[i] * 2;
int x1 = x0 + 1;
int y0 = v[i] * 2;
int y1 = y0 + 1;
if (uf.same(x0, y0) || uf.same(x1, y1)) {
chk = false;
}
else {
uf.merge(x0, y1);
uf.merge(x1, y0);
}
}
else {
uf = dsu(n * 2);
chk = true;
}
if (!chk) {
cout << 0 << endl;
continue;
}
auto g = uf.groups();
mint ans = pow_mod(2, g.size() / 2, mod);
cout << ans.val() << endl;
}
return 0;
}