結果
問題 | No.3092 3-2-SAT |
ユーザー | SSRS |
提出日時 | 2022-04-01 23:29:01 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 530 ms / 2,000 ms |
コード長 | 2,615 bytes |
コンパイル時間 | 2,447 ms |
コンパイル使用メモリ | 213,920 KB |
実行使用メモリ | 102,712 KB |
最終ジャッジ日時 | 2024-04-30 16:13:05 |
合計ジャッジ時間 | 5,478 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge2 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
6,812 KB |
testcase_01 | AC | 206 ms
75,160 KB |
testcase_02 | AC | 303 ms
71,392 KB |
testcase_03 | AC | 227 ms
63,864 KB |
testcase_04 | AC | 530 ms
102,712 KB |
testcase_05 | AC | 257 ms
64,988 KB |
testcase_06 | AC | 57 ms
6,940 KB |
testcase_07 | AC | 76 ms
6,940 KB |
testcase_08 | AC | 44 ms
6,940 KB |
testcase_09 | AC | 61 ms
6,944 KB |
testcase_10 | AC | 31 ms
6,940 KB |
testcase_11 | AC | 2 ms
6,944 KB |
testcase_12 | AC | 2 ms
6,944 KB |
testcase_13 | AC | 2 ms
6,944 KB |
testcase_14 | AC | 2 ms
6,944 KB |
testcase_15 | AC | 2 ms
6,940 KB |
testcase_16 | AC | 2 ms
6,940 KB |
testcase_17 | AC | 2 ms
6,940 KB |
testcase_18 | AC | 2 ms
6,940 KB |
testcase_19 | AC | 2 ms
6,944 KB |
testcase_20 | AC | 2 ms
6,944 KB |
ソースコード
#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; bool ok = true; 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]--; if (a[i] < 0 || b[i] < 0){ ok = false; } } if (!ok){ cout << -1 << endl; } else { 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); 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; } } }