結果
問題 | No.8092 3-2-SAT |
ユーザー | SSRS |
提出日時 | 2022-04-01 21:28:20 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
RE
|
実行時間 | - |
コード長 | 2,423 bytes |
コンパイル時間 | 2,513 ms |
コンパイル使用メモリ | 212,064 KB |
実行使用メモリ | 101,444 KB |
最終ジャッジ日時 | 2024-11-20 08:11:43 |
合計ジャッジ時間 | 8,534 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge5 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
5,248 KB |
testcase_01 | AC | 207 ms
75,016 KB |
testcase_02 | AC | 282 ms
69,792 KB |
testcase_03 | AC | 226 ms
62,728 KB |
testcase_04 | AC | 479 ms
101,444 KB |
testcase_05 | AC | 242 ms
63,952 KB |
testcase_06 | RE | - |
testcase_07 | RE | - |
testcase_08 | RE | - |
testcase_09 | RE | - |
testcase_10 | AC | 158 ms
34,216 KB |
testcase_11 | AC | 2 ms
5,248 KB |
testcase_12 | AC | 2 ms
5,248 KB |
testcase_13 | AC | 2 ms
5,248 KB |
testcase_14 | AC | 2 ms
5,248 KB |
testcase_15 | AC | 2 ms
5,248 KB |
testcase_16 | RE | - |
testcase_17 | RE | - |
testcase_18 | RE | - |
testcase_19 | RE | - |
testcase_20 | RE | - |
ソースコード
#include <bits/stdc++.h> using namespace std; struct strongly_connected_components{ vector<vector<int>> ans; vector<int> scc; void dfs1(vector<vector<int>> &E, vector<int> &t, vector<bool> &used, int v){ for (int w : E[v]){ if (!used[w]){ used[w] = true; dfs1(E, t, used, w); } } t.push_back(v); } void dfs2(vector<vector<int>> &E2, vector<bool> &used2, int v){ ans.back().push_back(v); for (int w : E2[v]){ if (!used2[w]){ used2[w] = true; dfs2(E2, used2, w); } } } strongly_connected_components(vector<vector<int>> &E){ int N = E.size(); vector<vector<int>> E2(N); for (int i = 0; i < N; i++){ for (int j : E[i]){ E2[j].push_back(i); } } vector<int> t; vector<bool> used(N, false); for (int i = 0; i < N; i++){ if (!used[i]){ used[i] = true; dfs1(E, t, used, i); } } reverse(t.begin(), t.end()); vector<bool> used2(N, false); scc = vector<int>(N); int cnt = 0; for (int i = 0; i < N; i++){ if (!used2[t[i]]){ used2[t[i]] = true; ans.push_back(vector<int>()); dfs2(E2, used2, t[i]); for (int j : ans.back()){ scc[j] = cnt; } cnt++; } } } int operator [](int k){ return scc[k]; } int size(){ return ans.size(); } }; int main(){ int N, M; cin >> N >> M; vector<int> p(M), q(M), a(M), b(M); for (int i = 0; i < M; i++){ cin >> p[i] >> q[i] >> a[i] >> b[i]; p[i]--; q[i]--; a[i]--; b[i]--; } vector<vector<int>> E(N * 6); for (int i = 0; i < N; i++){ for (int j = 0; j < 3; j++){ for (int k = j + 1; k < 3; k++){ int x = i * 3 + j; int y = i * 3 + k; E[x].push_back(N * 3 + y); E[y].push_back(N * 3 + x); } } } for (int i = 0; i < M; i++){ int x = p[i] * 3 + a[i]; int y = q[i] * 3 + b[i]; E[N * 3 + x].push_back(y); E[N * 3 + y].push_back(x); } strongly_connected_components G(E); bool ok = true; for (int i = 0; i < N * 3; i++){ if (G[i] == G[N * 3 + i]){ ok = false; } } if (!ok){ cout << -1 << endl; } else { vector<int> x(N); for (int i = 0; i < N; i++){ for (int j = 0; j < 3; j++){ int v = i * 3 + j; if (G[v] > G[N * 3 + v]){ x[i] = j; } } } for (int i = 0; i < N; i++){ cout << x[i] + 1; if (i < N - 1){ cout << ' '; } } cout << endl; } }