結果
問題 | No.2277 Honest or Dishonest ? |
ユーザー | k1suxu |
提出日時 | 2023-04-21 23:53:10 |
言語 | C++23 (gcc 12.3.0 + boost 1.83.0) |
結果 |
WA
|
実行時間 | - |
コード長 | 5,233 bytes |
コンパイル時間 | 3,534 ms |
コンパイル使用メモリ | 259,184 KB |
実行使用メモリ | 12,288 KB |
最終ジャッジ日時 | 2024-11-08 06:47:34 |
合計ジャッジ時間 | 6,289 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge3 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
5,248 KB |
testcase_01 | AC | 1 ms
5,248 KB |
testcase_02 | AC | 2 ms
5,248 KB |
testcase_03 | WA | - |
testcase_04 | WA | - |
testcase_05 | WA | - |
testcase_06 | WA | - |
testcase_07 | WA | - |
testcase_08 | WA | - |
testcase_09 | WA | - |
testcase_10 | WA | - |
testcase_11 | WA | - |
testcase_12 | AC | 17 ms
6,144 KB |
testcase_13 | WA | - |
testcase_14 | AC | 20 ms
6,784 KB |
testcase_15 | WA | - |
testcase_16 | WA | - |
testcase_17 | WA | - |
testcase_18 | WA | - |
testcase_19 | WA | - |
testcase_20 | WA | - |
testcase_21 | WA | - |
testcase_22 | WA | - |
testcase_23 | AC | 39 ms
10,496 KB |
testcase_24 | WA | - |
testcase_25 | WA | - |
testcase_26 | WA | - |
testcase_27 | AC | 21 ms
7,168 KB |
testcase_28 | WA | - |
testcase_29 | WA | - |
testcase_30 | AC | 19 ms
6,656 KB |
testcase_31 | AC | 31 ms
9,216 KB |
testcase_32 | WA | - |
testcase_33 | WA | - |
testcase_34 | AC | 44 ms
11,392 KB |
testcase_35 | WA | - |
testcase_36 | AC | 29 ms
8,448 KB |
testcase_37 | AC | 43 ms
11,136 KB |
testcase_38 | AC | 10 ms
5,248 KB |
testcase_39 | AC | 14 ms
5,888 KB |
testcase_40 | WA | - |
testcase_41 | AC | 47 ms
11,776 KB |
testcase_42 | AC | 31 ms
8,832 KB |
testcase_43 | AC | 49 ms
12,032 KB |
testcase_44 | WA | - |
testcase_45 | WA | - |
testcase_46 | WA | - |
testcase_47 | WA | - |
testcase_48 | WA | - |
testcase_49 | AC | 49 ms
12,032 KB |
testcase_50 | AC | 49 ms
12,288 KB |
testcase_51 | AC | 49 ms
12,160 KB |
testcase_52 | AC | 48 ms
12,160 KB |
ソースコード
// #pragma GCC target("avx") // #pragma GCC optimize("O3") // #pragma GCC optimize("unroll-loops") #include <bits/stdc++.h> using namespace std; #define rep(i,n) for(int i = 0; i < (int)n; i++) #define FOR(n) for(int i = 0; i < (int)n; i++) #define repi(i,a,b) for(int i = (int)a; i < (int)b; i++) #define all(x) x.begin(),x.end() //#define mp make_pair #define vi vector<int> #define vvi vector<vi> #define vvvi vector<vvi> #define vvvvi vector<vvvi> #define pii pair<int,int> #define vpii vector<pair<int,int>> template<typename T> void chmax(T &a, const T &b) {a = (a > b? a : b);} template<typename T> void chmin(T &a, const T &b) {a = (a < b? a : b);} using ll = long long; using ld = long double; using ull = unsigned long long; const ll INF = numeric_limits<long long>::max() / 2; const ld pi = 3.1415926535897932384626433832795028; const ll mod = 998244353; int dx[] = {1, 0, -1, 0, -1, -1, 1, 1}; int dy[] = {0, 1, 0, -1, -1, 1, -1, 1}; #define int long long struct UnionFind { vector<int> r; UnionFind(int n) { r = vector<int>(n, -1); } int root(int x) { if(r[x] < 0) return x; return r[x] = root(r[x]); } bool unite(int x, int y) { x = root(x); y = root(y); if(x == y) return false; if(r[x] > r[y]) swap(x, y); r[x] += r[y]; r[y] = x; return true; } bool issame(int x, int y) { return root(x) == root(y); } int size(int x) { return -r[root(x)]; } int number_of_set() { unordered_set<int> st; for(int i = 0; i < (int)r.size(); i++) st.insert(root(i)); return st.size(); } // only vertices: not including leader pos // vector<vector<int>> decompose() { // vector<pair<int, int>> p; // for(int i = 0; i < (int)r.size(); i++) p.emplace_back(root(i), i); // sort(all(p)); // //first:root, second:vertices // vector<vector<int>> ret; // int pre = -1; // for(pair<int, int> e : p) { // if(pre != e.first) { // ret.push_back(vector<int>{e.second}); // }else { // ret.back().push_back(e.second); // } // pre = e.first; // } // return ret; // } //leader and groups vertex // vector<pair<int, vector<int>>> decompose() { // vector<pair<int, int>> p; // for(int i = 0; i < (int)r.size(); i++) p.emplace_back(root(i), i); // sort(all(p)); // //first:root, second:vertices // vector<pair<int, vector<int>>> ret; // int pre = -1; // for(pair<int, int> e : p) { // if(pre != e.first) { // ret.push_back(make_pair(e.first, vector<int>{e.second})); // }else { // ret.back().second.push_back(e.second); // } // pre = e.first; // } // return ret; // } // vector<int> roots(vector<int> x) { // vector<int> ret((int)x.size()); // for(int i = 0; i < (int)x.size(); i++) ret[i] = root(i); // return ret; // } // bool unite(pair<int, int> p) { // return unite(p.first, p.second); // } // vector<bool> unite(vector<pair<int, int>> p) { // vector<bool> ret((int)p.size()); // for(int i = 0; i < (int)p.size(); i++) { // ret[i] = unite(p[i]); // } // return ret; // } // vector<bool> unite(vector<int> x, vector<int> y) { // assert(x.size() == y.size()); // vector<bool> ret((int)x.size()); // for(int i = 0; i < (int)x.size(); i++) { // ret[i] = unite(x[i], y[i]); // } // return ret; // } // bool issame(pair<int, int> p) { // return issame(p.first, p.second); // } }; int powmod(int n, int m, const int MOD) { int res = 1; while(m > 0) { if(m&1) res = (res*n)%MOD; n = (n*n)%MOD; m >>= 1; } return res; } void solve() { int n, q; cin >> n >> q; vi a(q), b(q), c(q); vector<vpii> g(n); UnionFind UF(n); FOR(q) { cin >> a[i] >> b[i] >> c[i]; --a[i]; --b[i]; g[a[i]].emplace_back(b[i], c[i]); UF.unite(a[i], b[i]); } vi honest(n, -1); vi nvec; //0: honest, 1: dishonest auto dfs = [&](int v, int which, auto self) -> bool { bool flag = true; nvec.push_back(v); honest[v] = which; for(auto e : g[v]) { if(honest[e.first] == -1) { flag = (flag && self(e.first, which^e.second, self)); }else if(honest[e.first] != (which^e.second)) { flag = false; } } return flag; }; int ans = 1; FOR(n) { if(honest[i] == -1) { int t = 0; nvec.clear(); if(dfs(i, 0, dfs)) t++; for(auto e : nvec) honest[e] = -1; nvec.clear(); if(dfs(i, 1, dfs)) t++; (ans *= t) %= 998244353; } } cout << ans << endl; } signed main() { cin.tie(nullptr); ios::sync_with_stdio(false); solve(); return 0; }