結果
問題 | No.8092 3-2-SAT |
ユーザー |
|
提出日時 | 2022-04-01 21:42:44 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 83 ms / 2,000 ms |
コード長 | 376 bytes |
コンパイル時間 | 1,662 ms |
コンパイル使用メモリ | 193,760 KB |
最終ジャッジ日時 | 2025-01-28 13:53:05 |
ジャッジサーバーID (参考情報) |
judge3 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 1 |
other | AC * 20 |
ソースコード
#include <bits/stdc++.h>using namespace std;using ll = long long int;int main(){ll N,M;cin >> N >> M;for(ll i = 0;i < M;i++){ll a,b,c,d;cin >> a >> b >> c >> d;if(c != 1 && d != 1){cout << -1 << endl;return 0;}}for(ll i = 0;i < N;i++){cout << "1" << " \n"[i == N - 1];}}