結果
問題 | No.2536 同値性と充足可能性 |
ユーザー | srjywrdnprkt |
提出日時 | 2023-11-10 23:13:46 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
WA
|
実行時間 | - |
コード長 | 1,981 bytes |
コンパイル時間 | 2,780 ms |
コンパイル使用メモリ | 218,188 KB |
実行使用メモリ | 15,840 KB |
最終ジャッジ日時 | 2024-09-26 02:13:28 |
合計ジャッジ時間 | 7,690 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge5 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | WA | - |
testcase_01 | AC | 2 ms
5,376 KB |
testcase_02 | WA | - |
testcase_03 | AC | 2 ms
5,376 KB |
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 | WA | - |
testcase_13 | WA | - |
testcase_14 | WA | - |
testcase_15 | WA | - |
testcase_16 | WA | - |
testcase_17 | WA | - |
testcase_18 | WA | - |
testcase_19 | AC | 2 ms
5,376 KB |
testcase_20 | AC | 8 ms
5,376 KB |
testcase_21 | AC | 9 ms
5,376 KB |
testcase_22 | AC | 9 ms
5,376 KB |
testcase_23 | AC | 79 ms
7,396 KB |
testcase_24 | AC | 84 ms
7,152 KB |
testcase_25 | WA | - |
testcase_26 | WA | - |
testcase_27 | WA | - |
testcase_28 | WA | - |
testcase_29 | WA | - |
testcase_30 | WA | - |
ソースコード
#include <bits/stdc++.h>using namespace std;using ll = long long;int main(){int N, M, x, y;cin >> N >> M;vector<vector<pair<int, int>>> E(N);vector<int> color(N, -1);vector<vector<int>> bb, ww;vector<int> b, w;string S;vector<pair<int, int>> a, c;for (int i=0; i<M; i++){cin >> x >> S >> y; x--; y--;if (S == "<==>") a.push_back({x, y});else c.push_back({x, y});}//同じfor (auto [x, y] : a){E[x].push_back({y, 1});E[y].push_back({x, 1});}for (auto [x, y] : c){E[x].push_back({y, -1});E[y].push_back({x, -1});}auto dfs=[&](auto self, int from, int c)->void{if (c == 1) b.push_back(from);else w.push_back(from);for (auto [to, tp] : E[from]){if (color[to] != -1){if (tp == 1 && color[to] != color[from]){cout << "No" << endl;exit(0);}else if (tp == -1 && color[to] == color[from]){cout << "No" << endl;exit(0);}else continue;}if (tp == 1) color[to] = c;else color[to] = 1-c;self(self, to, color[to]);}};for (int i=0; i<N; i++){if (color[i] == -1){color[i] = 0;dfs(dfs, i, 0);bb.push_back(b);ww.push_back(w);b.clear(); w.clear();}}vector<int> ans;for (int i=0; i<bb.size(); i++){if (bb[i].size() > ww[i].size()){for (auto x : bb[i]) ans.push_back(x);}else{for (auto x : ww[i]) ans.push_back(x);}}cout << "Yes" << endl;sort(ans.begin(), ans.end());cout << ans.size() << endl;for (int i=0; i<ans.size(); i++) cout << ans[i]+1 << " ";cout << endl;return 0;}