結果
問題 |
No.8092 3-2-SAT
|
ユーザー |
|
提出日時 | 2022-08-10 13:50:28 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 95 ms / 2,000 ms |
コード長 | 505 bytes |
コンパイル時間 | 2,153 ms |
コンパイル使用メモリ | 191,920 KB |
最終ジャッジ日時 | 2025-01-30 19:58:06 |
ジャッジサーバーID (参考情報) |
judge5 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 1 |
other | AC * 20 |
ソースコード
typedef long long ll; typedef long double ld; #include <bits/stdc++.h> using namespace std; #define int long long signed main(){ ll n,m; std::cin >> n>>m; for (int i = 0; i < m; i++) { ll a,b,c,d; std::cin >> a>>b>>c>>d; if(c<0||d<0){ std::cout << -1 << std::endl; return 0; } } for (int i = 0; i < n; i++) { std::cout << 1; if(i<n-1){ std::cout << " "; } } std::cout << std::endl; }