結果
問題 | 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; }