結果
問題 | No.8092 3-2-SAT |
ユーザー | fura |
提出日時 | 2023-09-12 22:36:13 |
言語 | C++23 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 87 ms / 2,000 ms |
コード長 | 392 bytes |
コンパイル時間 | 2,706 ms |
コンパイル使用メモリ | 244,184 KB |
実行使用メモリ | 6,944 KB |
最終ジャッジ日時 | 2024-06-30 10:07:55 |
合計ジャッジ時間 | 4,670 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 1 |
other | AC * 20 |
ソースコード
#include <bits/stdc++.h> #define rep(i, n) for (int i = 0; i < (n); i++) using namespace std; int main() { int n, m; cin >> n >> m; rep (i, m) { int p, q, a, b; cin >> p >> q >> a >> b; if (a < 0 or b < 0) { cout << "-1" << endl; return 0; } } rep (i, n) cout << "1" << (i < n - 1 ? " " : "\n"); return 0; }