結果
問題 | No.2536 同値性と充足可能性 |
ユーザー | 👑 binap |
提出日時 | 2023-11-10 21:52:32 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
WA
|
実行時間 | - |
コード長 | 2,212 bytes |
コンパイル時間 | 4,221 ms |
コンパイル使用メモリ | 272,376 KB |
実行使用メモリ | 15,116 KB |
最終ジャッジ日時 | 2024-09-26 01:24:58 |
合計ジャッジ時間 | 7,228 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge1 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
6,816 KB |
testcase_01 | AC | 2 ms
6,816 KB |
testcase_02 | AC | 2 ms
6,940 KB |
testcase_03 | AC | 2 ms
6,944 KB |
testcase_04 | AC | 1 ms
6,944 KB |
testcase_05 | AC | 2 ms
6,940 KB |
testcase_06 | AC | 2 ms
6,940 KB |
testcase_07 | WA | - |
testcase_08 | WA | - |
testcase_09 | AC | 2 ms
6,944 KB |
testcase_10 | AC | 2 ms
6,944 KB |
testcase_11 | AC | 2 ms
6,944 KB |
testcase_12 | AC | 2 ms
6,948 KB |
testcase_13 | AC | 2 ms
6,940 KB |
testcase_14 | AC | 2 ms
6,940 KB |
testcase_15 | AC | 2 ms
6,940 KB |
testcase_16 | AC | 1 ms
6,944 KB |
testcase_17 | AC | 2 ms
6,940 KB |
testcase_18 | AC | 2 ms
6,944 KB |
testcase_19 | AC | 2 ms
6,944 KB |
testcase_20 | AC | 8 ms
6,940 KB |
testcase_21 | AC | 8 ms
6,940 KB |
testcase_22 | AC | 9 ms
6,944 KB |
testcase_23 | AC | 77 ms
6,940 KB |
testcase_24 | AC | 78 ms
6,940 KB |
testcase_25 | WA | - |
testcase_26 | WA | - |
testcase_27 | WA | - |
testcase_28 | WA | - |
testcase_29 | WA | - |
testcase_30 | WA | - |
ソースコード
#include<bits/stdc++.h> #include<atcoder/all> #define rep(i,n) for(int i=0;i<n;i++) using namespace std; using namespace atcoder; typedef long long ll; typedef vector<int> vi; typedef vector<long long> vl; typedef vector<vector<int>> vvi; typedef vector<vector<long long>> vvl; typedef long double ld; typedef pair<int, int> P; ostream& operator<<(ostream& os, const modint& a) {os << a.val(); return os;} template <int m> ostream& operator<<(ostream& os, const static_modint<m>& a) {os << a.val(); return os;} template<typename T> istream& operator>>(istream& is, vector<T>& v){int n = v.size(); assert(n > 0); rep(i, n) is >> v[i]; return is;} template<typename U, typename T> ostream& operator<<(ostream& os, const pair<U, T>& p){os << p.first << ' ' << p.second << "\n"; return os;} template<typename T> ostream& operator<<(ostream& os, const vector<T>& v){int n = v.size(); rep(i, n) os << v[i] << (i == n - 1 ? "\n" : " "); return os;} template <typename T> ostream& operator<<(ostream& os, const vector<vector<T>>& v){int n = v.size(); rep(i, n) os << v[i] << (i == n - 1 ? "\n" : ""); return os;} int main(){ int n, m; cin >> n >> m; dsu uf(n); vector<vector<pair<int, int>>> G(n); rep(i, m){ int u, v; string s; cin >> u >> s >> v; u--; v--; int e = -1; if(s == "<=/=>") e = 1; if(s == "<==>") e = 0; G[u].emplace_back(v, e); G[v].emplace_back(u, e); uf.merge(u, v); } vi c(n, -1); bool success = true; auto dfs = [&](int from, int prev, auto dfs) -> void{ for(auto [to, e] : G[from]){ if(from == prev) continue; if(c[to] != -1){ if(c[to] != c[from] ^ e) success = false; continue; } c[to] = c[from] ^ e; dfs(to, from, dfs); } }; rep(i, n){ if(c[i] == -1){ c[i] = 0; dfs(i, -1, dfs); } } if(!success){ cout << "No\n"; return 0; } auto groups = uf.groups(); int mx = 0; vi ans; for(auto& v : groups){ vi d(2); for(int x : v) d[c[x]]++; if(d[0] >= d[1]){ mx += d[0]; for(int x : v) if(c[x] == 0) ans.push_back(x + 1); }else{ mx += d[1]; for(int x : v) if(c[x] == 1) ans.push_back(x + 1); } } if(mx * 2 >= n){ cout << "Yes\n"; cout << mx << "\n"; cout << ans; }else cout << "No\n"; return 0; }