結果

問題 No.5005 3-SAT
ユーザー nikumakarenikumakare
提出日時 2024-07-22 20:33:26
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 116 ms / 2,000 ms
コード長 952 bytes
コンパイル時間 383 ms
コンパイル使用メモリ 82,524 KB
実行使用メモリ 77,896 KB
スコア 827
最終ジャッジ日時 2024-07-22 20:33:44
合計ジャッジ時間 13,733 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge5
純コード判定しない問題か言語
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 93 ms
77,436 KB
testcase_01 AC 94 ms
77,484 KB
testcase_02 AC 88 ms
77,328 KB
testcase_03 AC 105 ms
77,464 KB
testcase_04 AC 77 ms
73,944 KB
testcase_05 AC 108 ms
77,512 KB
testcase_06 AC 90 ms
77,184 KB
testcase_07 AC 74 ms
74,000 KB
testcase_08 AC 92 ms
77,428 KB
testcase_09 AC 94 ms
77,440 KB
testcase_10 AC 89 ms
77,188 KB
testcase_11 AC 91 ms
77,124 KB
testcase_12 AC 93 ms
77,792 KB
testcase_13 AC 89 ms
77,224 KB
testcase_14 AC 112 ms
77,176 KB
testcase_15 AC 89 ms
77,348 KB
testcase_16 AC 97 ms
77,432 KB
testcase_17 AC 91 ms
77,124 KB
testcase_18 AC 90 ms
77,396 KB
testcase_19 AC 89 ms
77,248 KB
testcase_20 AC 88 ms
77,240 KB
testcase_21 AC 89 ms
77,164 KB
testcase_22 AC 92 ms
77,420 KB
testcase_23 AC 91 ms
77,576 KB
testcase_24 AC 92 ms
77,384 KB
testcase_25 AC 96 ms
77,384 KB
testcase_26 AC 94 ms
77,172 KB
testcase_27 AC 85 ms
77,532 KB
testcase_28 AC 94 ms
77,524 KB
testcase_29 AC 88 ms
77,252 KB
testcase_30 AC 88 ms
77,320 KB
testcase_31 AC 76 ms
75,248 KB
testcase_32 AC 92 ms
77,316 KB
testcase_33 AC 97 ms
77,532 KB
testcase_34 AC 89 ms
73,224 KB
testcase_35 AC 90 ms
77,508 KB
testcase_36 AC 81 ms
77,284 KB
testcase_37 AC 86 ms
77,132 KB
testcase_38 AC 102 ms
77,572 KB
testcase_39 AC 92 ms
77,344 KB
testcase_40 AC 99 ms
77,432 KB
testcase_41 AC 116 ms
77,060 KB
testcase_42 AC 96 ms
77,296 KB
testcase_43 AC 91 ms
77,372 KB
testcase_44 AC 95 ms
77,492 KB
testcase_45 AC 89 ms
77,896 KB
testcase_46 AC 93 ms
77,480 KB
testcase_47 AC 91 ms
77,484 KB
testcase_48 AC 88 ms
77,228 KB
testcase_49 AC 89 ms
77,588 KB
testcase_50 AC 96 ms
77,568 KB
testcase_51 AC 95 ms
77,028 KB
testcase_52 AC 93 ms
77,448 KB
testcase_53 AC 96 ms
77,184 KB
testcase_54 AC 90 ms
77,456 KB
testcase_55 AC 92 ms
77,484 KB
testcase_56 AC 94 ms
77,256 KB
testcase_57 AC 87 ms
77,460 KB
testcase_58 AC 88 ms
77,164 KB
testcase_59 AC 97 ms
77,064 KB
testcase_60 AC 93 ms
77,056 KB
testcase_61 AC 89 ms
77,004 KB
testcase_62 AC 85 ms
77,120 KB
testcase_63 AC 99 ms
77,480 KB
testcase_64 AC 90 ms
77,432 KB
testcase_65 AC 74 ms
73,912 KB
testcase_66 AC 97 ms
77,380 KB
testcase_67 AC 86 ms
77,068 KB
testcase_68 AC 74 ms
75,424 KB
testcase_69 AC 90 ms
77,272 KB
testcase_70 AC 93 ms
77,308 KB
testcase_71 AC 84 ms
77,116 KB
testcase_72 AC 87 ms
77,300 KB
testcase_73 AC 91 ms
77,324 KB
testcase_74 AC 85 ms
77,392 KB
testcase_75 AC 93 ms
77,304 KB
testcase_76 AC 75 ms
74,340 KB
testcase_77 AC 91 ms
77,048 KB
testcase_78 AC 87 ms
77,160 KB
testcase_79 AC 74 ms
72,720 KB
testcase_80 AC 91 ms
77,364 KB
testcase_81 AC 87 ms
77,364 KB
testcase_82 AC 96 ms
77,432 KB
testcase_83 AC 87 ms
77,348 KB
testcase_84 AC 74 ms
72,300 KB
testcase_85 AC 90 ms
76,980 KB
testcase_86 AC 93 ms
77,564 KB
testcase_87 AC 87 ms
77,384 KB
testcase_88 AC 89 ms
77,300 KB
testcase_89 AC 93 ms
77,288 KB
testcase_90 AC 95 ms
77,304 KB
testcase_91 AC 107 ms
77,328 KB
testcase_92 AC 91 ms
77,380 KB
testcase_93 AC 87 ms
74,328 KB
testcase_94 AC 83 ms
77,120 KB
testcase_95 AC 82 ms
74,992 KB
testcase_96 AC 93 ms
76,988 KB
testcase_97 AC 91 ms
77,520 KB
testcase_98 AC 93 ms
77,540 KB
testcase_99 AC 82 ms
75,612 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

import random
import sys


def make_testcase():
    C = []
    for i in range(2048):
        C.append([int(i) for i in input().split()])

        # sub = []
        # for j in range(3):
        #     sub.append(random.randrange(256))
        #     sub.append(random.randint(0, 1))
        # C.append(sub[:])
    return C


C = make_testcase()

k = 0
nowans = k
nowscore = 0

table = [C[0]]
# print(table)
ends = 3
while 1:
    if ends == 0:
        break
    ends -= 1
    for row in table:
        if k >> row[0] & 1 == row[1]:
            continue
        if k >> row[2] & 1 == row[3]:
            continue
        if k >> row[4] & 1 == row[5]:
            continue

        tar = random.choice(row[::2])
        k ^= 1 << tar
        break
    else:
        nowscore += 1
        nowans = k
        # print(f"score={nowscore} sol={bin(k)[2:]}", file=sys.stderr)
        table.append(C[nowscore])
        ends = 6 * (nowscore + 1)

print(bin(k)[2:])
0