結果
問題 | No.2536 同値性と充足可能性 |
ユーザー | Carpenters-Cat |
提出日時 | 2023-11-10 22:20:48 |
言語 | C++17(gcc12) (gcc 12.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 113 ms / 2,000 ms |
コード長 | 742 bytes |
コンパイル時間 | 4,531 ms |
コンパイル使用メモリ | 266,936 KB |
実行使用メモリ | 14,816 KB |
最終ジャッジ日時 | 2024-09-26 01:46:22 |
合計ジャッジ時間 | 6,768 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge5 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | AC * 31 |
ソースコード
#include <bits/stdc++.h> #include <atcoder/all> using namespace std; using namespace atcoder; int main () { int N, M; cin >> N >> M; two_sat T(N); while (M--) { int a, b; string s; cin >> a >> s >> b; a --; b --; bool x = s == "<==>"; T.add_clause(a, true, b, !x); T.add_clause(a, false, b, x); } bool ok = T.satisfiable(); if (!ok) { cout << "No" << endl; } else { cout << "Yes" << endl; auto V = T.answer(); int s = 0; for (auto b : V) { s += b; } bool tt = s * 2 >= N; cout << max(s, N - s) << endl; std::vector<int> A; for (int i = 0; i < N; i ++) { if (V[i] == tt) { A.push_back(i + 1); } } for (auto a : A) { cout << a << (a == A.back() ? "" : " "); } cout << endl; } }