提出 #19129922

ソースコード 拡げる

N = int(input())
G = set([])

for _ in range(N):
    s = input()
    if ('!' + s) in G:
        print(s)
        exit()
    if s[0] == '!' and len(s) >= 2 and s[1:] in G:
        print(s[1:])
        exit()
    G.add(s)
print('satisfiable')

提出情報

提出日時
問題 C - 1-SAT
ユーザ yamasaKit
言語 Python (3.8.2)
得点 300
コード長 241 Byte
結果 AC
実行時間 379 ms
メモリ 31096 KiB

ジャッジ結果

セット名 Sample All
得点 / 配点 0 / 0 300 / 300
結果
AC × 2
AC × 30
セット名 テストケース
Sample sample_01.txt, sample_02.txt
All 01_small.txt, 02_small.txt, 03_small.txt, 04_small.txt, 05_small.txt, 06_small.txt, 07_small.txt, 08_small.txt, 09_small.txt, 10_small.txt, 11_small.txt, 12_small.txt, 13_small.txt, 14_small.txt, 15_small.txt, 16_satisfiable1.txt, 17_satisfiable2.txt, 18_unsatisfiable1.txt, 19_unsatisfiable1.txt, 20_unsatisfiable1.txt, 21_unsatisfiable1.txt, 22_unsatisfiable1.txt, 23_unsatisfiable1.txt, 24_unsatisfiable1.txt, 25_unsatisfiable1.txt, 26_unsatisfiable2.txt, 27_unsatisfiable2.txt, 28_same.txt, sample_01.txt, sample_02.txt
ケース名 結果 実行時間 メモリ
01_small.txt AC 20 ms 8880 KiB
02_small.txt AC 18 ms 8876 KiB
03_small.txt AC 20 ms 8844 KiB
04_small.txt AC 19 ms 9060 KiB
05_small.txt AC 23 ms 9160 KiB
06_small.txt AC 18 ms 8984 KiB
07_small.txt AC 17 ms 9036 KiB
08_small.txt AC 22 ms 8872 KiB
09_small.txt AC 20 ms 8880 KiB
10_small.txt AC 20 ms 8872 KiB
11_small.txt AC 18 ms 8872 KiB
12_small.txt AC 18 ms 8872 KiB
13_small.txt AC 24 ms 9036 KiB
14_small.txt AC 18 ms 9160 KiB
15_small.txt AC 19 ms 9164 KiB
16_satisfiable1.txt AC 379 ms 30992 KiB
17_satisfiable2.txt AC 317 ms 12440 KiB
18_unsatisfiable1.txt AC 361 ms 30940 KiB
19_unsatisfiable1.txt AC 358 ms 31096 KiB
20_unsatisfiable1.txt AC 367 ms 30788 KiB
21_unsatisfiable1.txt AC 362 ms 31036 KiB
22_unsatisfiable1.txt AC 359 ms 31024 KiB
23_unsatisfiable1.txt AC 368 ms 30792 KiB
24_unsatisfiable1.txt AC 366 ms 31096 KiB
25_unsatisfiable1.txt AC 377 ms 30968 KiB
26_unsatisfiable2.txt AC 59 ms 10084 KiB
27_unsatisfiable2.txt AC 42 ms 9908 KiB
28_same.txt AC 280 ms 9056 KiB
sample_01.txt AC 20 ms 9108 KiB
sample_02.txt AC 21 ms 8872 KiB