結果
問題 | No.1420 国勢調査 (Easy) |
ユーザー |
|
提出日時 | 2021-03-05 22:59:00 |
言語 | C++17(clang) (17.0.6 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 935 ms / 2,000 ms |
コード長 | 1,899 bytes |
コンパイル時間 | 5,418 ms |
コンパイル使用メモリ | 162,752 KB |
実行使用メモリ | 22,164 KB |
最終ジャッジ日時 | 2024-10-07 04:22:56 |
合計ジャッジ時間 | 14,918 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge4 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 2 |
other | AC * 30 |
ソースコード
#include <iostream>#include <vector>#include <algorithm>#include <cmath>#include <queue>#include <string>#include <map>#include <set>#include <stack>#include <tuple>#include <deque>#include <array>#include <numeric>#include <bitset>#include <iomanip>#include <cassert>#include <chrono>#include <random>#include <limits>#include <iterator>#include <functional>#include <sstream>#include <fstream>#include <complex>#include <cstring>#include <unordered_map>#include <unordered_set>#include <atcoder/all>using namespace std;using namespace atcoder;using ll = long long;constexpr int INF = 1001001001;constexpr int mod = 1000000007;// constexpr int mod = 998244353;template<class T>inline bool chmax(T& x, T y){if(x < y){x = y;return true;}return false;}template<class T>inline bool chmin(T& x, T y){if(x > y){x = y;return true;}return false;}int main(){ios::sync_with_stdio(false);cin.tie(nullptr);int N, M;cin >> N >> M;vector<int> A(M), B(M), Y(M);for(int i = 0; i < M; ++i){cin >> A[i] >> B[i] >> Y[i];--A[i], --B[i];}vector<int> X(N);for(int k = 0; k < 30; ++k){two_sat ts(N);for(int i = 0; i < M; ++i){if(Y[i] >> k & 1){ts.add_clause(A[i], false, B[i], false);ts.add_clause(A[i], true, B[i], true);}else{ts.add_clause(A[i], false, B[i], true);ts.add_clause(A[i], true, B[i], false);}}if(!ts.satisfiable()){cout << -1 << endl;return 0;}auto sat = ts.answer();for(int i = 0; i < N; ++i){if(!sat[i]) X[i] += 1 << k;}}for(int i = 0; i < N; ++i) cout << X[i] << '\n';return 0;}