結果
| 問題 | No.8092 3-2-SAT |
| コンテスト | |
| ユーザー |
titia
|
| 提出日時 | 2026-03-13 06:18:20 |
| 言語 | Python3 (3.14.3 + numpy 2.4.2 + scipy 1.17.0) |
| 結果 |
AC
|
| 実行時間 | 214 ms / 2,000 ms |
| コード長 | 230 bytes |
| 記録 | |
| コンパイル時間 | 710 ms |
| コンパイル使用メモリ | 20,828 KB |
| 実行使用メモリ | 16,472 KB |
| 最終ジャッジ日時 | 2026-03-13 06:18:28 |
| 合計ジャッジ時間 | 4,890 ms |
|
ジャッジサーバーID (参考情報) |
judge1_0 / judge2_0 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 1 |
| other | AC * 20 |
ソースコード
import sys
input = sys.stdin.readline
N,M=list(map(int,input().split()))
flag=1
for i in range(M):
p,q,a,b=list(map(int,input().split()))
if a<0 or b<0:
flag=0
if flag==1:
print(*[1]*N)
else:
print(-1)
titia