結果

問題 No.8092 3-2-SAT
コンテスト
ユーザー titia
提出日時 2026-03-13 06:18:20
言語 Python3
(3.14.3 + numpy 2.4.2 + scipy 1.17.0)
コンパイル:
python3 -mpy_compile _filename_
実行:
python3 _filename_
結果
AC  
実行時間 214 ms / 2,000 ms
コード長 230 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 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
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code

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)
0