結果
問題 | No.8092 3-2-SAT |
ユーザー |
![]() |
提出日時 | 2022-04-01 22:13:34 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 89 ms / 2,000 ms |
コード長 | 416 bytes |
コンパイル時間 | 751 ms |
コンパイル使用メモリ | 72,420 KB |
最終ジャッジ日時 | 2025-01-28 14:05:02 |
ジャッジサーバーID (参考情報) |
judge5 / judge4 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 1 |
other | AC * 20 |
ソースコード
#include <vector>#include <iostream>using namespace std;int main() {int n, m; cin >> n >> m;vector<int> ans(n, 1);for (int i = 0; i < m; i++) {int p, q, a, b; cin >> p >> q >> a >> b;p--; q--;if (ans[p] != a && ans[q] != b) {cout << "-1\n";return 0;}}for (int i = 0; i < n; i++) cout << ans[i] << (i == n - 1 ? '\n' : ' ');}