結果

問題 No.5005 3-SAT
ユーザー nikumakarenikumakare
提出日時 2024-07-22 20:39:25
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 622 ms / 2,000 ms
コード長 951 bytes
コンパイル時間 428 ms
コンパイル使用メモリ 82,216 KB
実行使用メモリ 77,696 KB
スコア 31,859
最終ジャッジ日時 2024-07-22 20:40:18
合計ジャッジ時間 48,161 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge3
純コード判定しない問題か言語
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 392 ms
77,656 KB
testcase_01 AC 404 ms
77,536 KB
testcase_02 AC 547 ms
77,568 KB
testcase_03 AC 397 ms
77,112 KB
testcase_04 AC 437 ms
77,132 KB
testcase_05 AC 401 ms
77,440 KB
testcase_06 AC 447 ms
77,312 KB
testcase_07 AC 315 ms
77,364 KB
testcase_08 AC 369 ms
77,312 KB
testcase_09 AC 491 ms
77,568 KB
testcase_10 AC 436 ms
77,240 KB
testcase_11 AC 455 ms
77,524 KB
testcase_12 AC 268 ms
77,432 KB
testcase_13 AC 482 ms
77,440 KB
testcase_14 AC 622 ms
77,584 KB
testcase_15 AC 543 ms
77,236 KB
testcase_16 AC 426 ms
77,312 KB
testcase_17 AC 325 ms
77,440 KB
testcase_18 AC 456 ms
77,220 KB
testcase_19 AC 518 ms
77,504 KB
testcase_20 AC 434 ms
77,248 KB
testcase_21 AC 494 ms
77,348 KB
testcase_22 AC 484 ms
77,568 KB
testcase_23 AC 462 ms
77,196 KB
testcase_24 AC 393 ms
77,312 KB
testcase_25 AC 475 ms
77,368 KB
testcase_26 AC 348 ms
77,444 KB
testcase_27 AC 379 ms
77,312 KB
testcase_28 AC 414 ms
77,188 KB
testcase_29 AC 460 ms
77,696 KB
testcase_30 AC 478 ms
77,384 KB
testcase_31 AC 349 ms
77,500 KB
testcase_32 AC 345 ms
77,588 KB
testcase_33 AC 575 ms
77,256 KB
testcase_34 AC 315 ms
77,236 KB
testcase_35 AC 316 ms
77,184 KB
testcase_36 AC 345 ms
77,276 KB
testcase_37 AC 333 ms
77,388 KB
testcase_38 AC 346 ms
77,312 KB
testcase_39 AC 446 ms
77,260 KB
testcase_40 AC 458 ms
77,568 KB
testcase_41 AC 382 ms
77,504 KB
testcase_42 AC 358 ms
77,324 KB
testcase_43 AC 302 ms
77,424 KB
testcase_44 AC 393 ms
77,312 KB
testcase_45 AC 296 ms
77,252 KB
testcase_46 AC 403 ms
77,552 KB
testcase_47 AC 362 ms
77,148 KB
testcase_48 AC 391 ms
77,556 KB
testcase_49 AC 308 ms
77,328 KB
testcase_50 AC 365 ms
77,472 KB
testcase_51 AC 345 ms
77,320 KB
testcase_52 AC 516 ms
77,300 KB
testcase_53 AC 366 ms
77,416 KB
testcase_54 AC 479 ms
77,312 KB
testcase_55 AC 384 ms
77,312 KB
testcase_56 AC 369 ms
77,156 KB
testcase_57 AC 354 ms
77,488 KB
testcase_58 AC 328 ms
77,464 KB
testcase_59 AC 372 ms
77,172 KB
testcase_60 AC 512 ms
77,332 KB
testcase_61 AC 436 ms
77,312 KB
testcase_62 AC 371 ms
77,512 KB
testcase_63 AC 457 ms
77,312 KB
testcase_64 AC 391 ms
77,312 KB
testcase_65 AC 355 ms
77,124 KB
testcase_66 AC 354 ms
77,308 KB
testcase_67 AC 395 ms
77,612 KB
testcase_68 AC 352 ms
77,568 KB
testcase_69 AC 400 ms
77,496 KB
testcase_70 AC 359 ms
77,312 KB
testcase_71 AC 334 ms
77,312 KB
testcase_72 AC 415 ms
77,296 KB
testcase_73 AC 308 ms
77,256 KB
testcase_74 AC 379 ms
77,312 KB
testcase_75 AC 543 ms
77,568 KB
testcase_76 AC 312 ms
77,308 KB
testcase_77 AC 337 ms
77,300 KB
testcase_78 AC 323 ms
77,508 KB
testcase_79 AC 368 ms
77,236 KB
testcase_80 AC 330 ms
77,432 KB
testcase_81 AC 512 ms
77,300 KB
testcase_82 AC 490 ms
77,540 KB
testcase_83 AC 317 ms
77,312 KB
testcase_84 AC 368 ms
77,176 KB
testcase_85 AC 511 ms
77,548 KB
testcase_86 AC 454 ms
77,464 KB
testcase_87 AC 391 ms
77,464 KB
testcase_88 AC 355 ms
77,580 KB
testcase_89 AC 335 ms
77,548 KB
testcase_90 AC 542 ms
77,336 KB
testcase_91 AC 354 ms
77,216 KB
testcase_92 AC 465 ms
77,312 KB
testcase_93 AC 336 ms
77,160 KB
testcase_94 AC 403 ms
77,312 KB
testcase_95 AC 380 ms
77,440 KB
testcase_96 AC 488 ms
77,568 KB
testcase_97 AC 467 ms
77,340 KB
testcase_98 AC 394 ms
77,312 KB
testcase_99 AC 342 ms
77,568 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[3]:
            continue
        if k >> row[1] & 1 == row[4]:
            continue
        if k >> row[2] & 1 == row[5]:
            continue

        tar = random.choice(row[:3])
        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