結果

問題 No.1589 Bit Vector
ユーザー chineristACchineristAC
提出日時 2021-07-09 01:19:54
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 121 ms / 2,000 ms
コード長 2,102 bytes
コンパイル時間 276 ms
コンパイル使用メモリ 87,000 KB
実行使用メモリ 78,784 KB
最終ジャッジ日時 2023-09-14 06:14:57
合計ジャッジ時間 6,363 ms
ジャッジサーバーID
（参考情報） 		judge13 / judge15
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 107 ms
74,360 KB
testcase_01 AC 107 ms
74,396 KB
testcase_02 AC 109 ms
74,364 KB
testcase_03 AC 104 ms
74,520 KB
testcase_04 AC 108 ms
74,248 KB
testcase_05 AC 107 ms
74,212 KB
testcase_06 AC 107 ms
74,424 KB
testcase_07 AC 106 ms
74,276 KB
testcase_08 AC 109 ms
74,788 KB
testcase_09 AC 108 ms
74,260 KB
testcase_10 AC 107 ms
74,380 KB
testcase_11 AC 107 ms
74,584 KB
testcase_12 AC 110 ms
74,280 KB
testcase_13 AC 107 ms
74,356 KB
testcase_14 AC 112 ms
74,400 KB
testcase_15 AC 111 ms
74,592 KB
testcase_16 AC 113 ms
74,384 KB
testcase_17 AC 112 ms
74,320 KB
testcase_18 AC 111 ms
74,568 KB
testcase_19 AC 114 ms
74,480 KB
testcase_20 AC 119 ms
78,600 KB
testcase_21 AC 119 ms
78,224 KB
testcase_22 AC 120 ms
78,648 KB
testcase_23 AC 115 ms
78,216 KB
testcase_24 AC 116 ms
78,300 KB
testcase_25 AC 116 ms
78,408 KB
testcase_26 AC 112 ms
78,784 KB
testcase_27 AC 116 ms
78,252 KB
testcase_28 AC 116 ms
78,628 KB
testcase_29 AC 114 ms
78,688 KB
testcase_30 AC 116 ms
78,252 KB
testcase_31 AC 114 ms
78,628 KB
testcase_32 AC 121 ms
78,100 KB
testcase_33 AC 114 ms
78,700 KB
testcase_34 AC 116 ms
78,276 KB
testcase_35 AC 110 ms
74,240 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys,random,bisect
from collections import deque,defaultdict
from heapq import heapify,heappop,heappush
from itertools import permutations
from math import gcd,log

input = lambda :sys.stdin.readline().rstrip()
mi = lambda :map(int,input().split())
li = lambda :list(mi())

def update_ai_by_aj(i,j):
    res = ["UPD {} {}".format(i,1),"AND {} {} {}".format(i,i,j)]
    return res

def update_by_bool(b,i,j):
    """
    ・b:Trueならaiをajでupdate
    ・b,jは破壊してok
    ・a_i←a_i(1-b)+a_j=a_i^(a_i&b)^(a_j&b)
    """
    res = []
    res.append("AND {} {} {}".format(j,b,j))
    res.append("AND {} {} {}".format(b,b,i))
    res.append("XOR {} {} {}".format(i,i,j))
    res.append("XOR {} {} {}".format(i,i,b))
    return res

N,K = mi()

res = []

"""
加算 XORで桁 ANDで繰り上がり
2個の処理以外はAND_regiに繰り上がりをメモ
"""
res.append("AND {} {} {}".format(N,0,1))
res.append("XOR {} {} {}".format(0,0,1))
res += update_ai_by_aj(1,N)
res.append("UPD {} {}".format(N,0))

up_memo = N
AND_regi = 2
for b in range(2,N):
    if b+1 == 1<<AND_regi:
        AND_regi += 1

    res.append("AND {} {} {}".format(up_memo,0,b))
    res.append("XOR {} {} {}".format(0,0,b))
    for i in range(1,AND_regi):
        res.append("AND {} {} {}".format(AND_regi,up_memo,i))
        res.append("XOR {} {} {}".format(i,up_memo,i))
        res += update_ai_by_aj(up_memo,AND_regi)

"""
初期化
"""
res.append("UPD {} {}".format(AND_regi,0))
res.append("UPD {} {}".format(N,0))

if N==2:
    if K==1:
        res.append("XOR {} {} {}".format(2,0,1))
    else:
        res += update_ai_by_aj(2,1)
else:
    assert AND_regi!=N
    """
    下の桁から比較
    AND_regiに両方の整数のi桁目のXORを記録
    XOR=0なら更新しない
    XOR=1ならaiで更新
    """
    for i in range(AND_regi):
        res.append("UPD {} {}".format(AND_regi,(K-1)>>i & 1))
        res.append("XOR {} {} {}".format(AND_regi,i,AND_regi))
        res += update_by_bool(AND_regi,N,i)
        res.append("UPD {} {}".format(AND_regi,0))

print(len(res))
print(*res,sep="\n")
0