結果
問題 | No.3092 3-2-SAT |
ユーザー | Kude |
提出日時 | 2022-04-01 23:19:58 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
RE
|
実行時間 | - |
コード長 | 2,406 bytes |
コンパイル時間 | 3,265 ms |
コンパイル使用メモリ | 246,644 KB |
実行使用メモリ | 9,680 KB |
最終ジャッジ日時 | 2024-04-30 16:02:06 |
合計ジャッジ時間 | 7,051 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge4 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
6,812 KB |
testcase_01 | RE | - |
testcase_02 | WA | - |
testcase_03 | WA | - |
testcase_04 | WA | - |
testcase_05 | WA | - |
testcase_06 | RE | - |
testcase_07 | RE | - |
testcase_08 | RE | - |
testcase_09 | RE | - |
testcase_10 | AC | 18 ms
6,940 KB |
testcase_11 | RE | - |
testcase_12 | AC | 2 ms
6,944 KB |
testcase_13 | AC | 2 ms
6,944 KB |
testcase_14 | AC | 2 ms
6,940 KB |
testcase_15 | WA | - |
testcase_16 | RE | - |
testcase_17 | RE | - |
testcase_18 | RE | - |
testcase_19 | RE | - |
testcase_20 | RE | - |
ソースコード
#include<bits/stdc++.h> namespace { #pragma GCC diagnostic push #pragma GCC diagnostic ignored "-Wunused-function" #define private public #include<atcoder/all> #undef private #pragma GCC diagnostic pop using namespace std; using namespace atcoder; #define rep(i,n) for(int i = 0; i < (int)(n); i++) #define rrep(i,n) for(int i = (int)(n) - 1; i >= 0; i--) #define all(x) begin(x), end(x) #define rall(x) rbegin(x), rend(x) template<class T> bool chmax(T& a, const T& b) { if (a < b) { a = b; return true; } else return false; } template<class T> bool chmin(T& a, const T& b) { if (b < a) { a = b; return true; } else return false; } using ll = long long; using P = pair<int,int>; using VI = vector<int>; using VVI = vector<VI>; using VL = vector<ll>; using VVL = vector<VL>; } int main() { ios::sync_with_stdio(false); cin.tie(0); int n, m; cin >> n >> m; vector<tuple<int, int, int, int>> cs(m); vector<vector<P>> cs2(2 * n); for(auto& [p, q, a, b]: cs) { cin >> p >> q >> a >> b, p--, q--, a--, b--; if (a && b) { a--, b--; cs2[2 * p + !a].emplace_back(q, b); cs2[2 * q + !b].emplace_back(p, a); } } dsu d(2 * n); for(auto [p, q, a, b]: cs) { d.merge(2 * p + !a, 2 * q + b); d.merge(2 * p + a, 2 * q + !b); } rep(i, n) if (d.same(2 * i, 2 * i + 1)) { cout << -1 << '\n'; return 0; } VI ans(n, -1); dsu d2(2 * n); VI col(2 * n, -1); for(const auto& g: d.groups()) { if (ans[g[0] / 2] != -1) continue; for(int i: g) { int p = i / 2, v = i % 2; if (v) rep(a, 2) for(auto [q, b]: cs2[2 * p + a]) d2.merge(2 * p + a, 2 * q + b); } bool ok = true; for(int i: g) { i /= 2; if (d2.same(2 * i, 2 * i + 1)) ok = false; } if (!ok) { for(int i: g) { i /= 2; d2.parent_or_size[2 * i] = d2.parent_or_size[2 * i + 1] = -1; } } else { for(int i: g) { int p = i / 2, v = i % 2; if (v == 0) ans[p] = 0; else { int lp = d2.leader(i); if (col[lp] == -1) { col[lp] = 0; int i2 = i ^ 1; int lp2 = d2.leader(i2); col[lp2] = 1; } ans[p] = col[lp] + 1; } } } } cout << endl; if(auto it = find(all(ans), -1); it != ans.end()) { cout << -1 << '\n'; } else { rep(i, n) cout << ans[i] + 1 << " \n"[i + 1 == n]; } }