結果

問題 No.1589 Bit Vector
ユーザー convexineq
提出日時 2021-07-09 07:04:33
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 46 ms / 2,000 ms
コード長 653 bytes
コンパイル時間 197 ms
コンパイル使用メモリ 82,012 KB
実行使用メモリ 54,272 KB
最終ジャッジ日時 2024-07-01 13:54:10
合計ジャッジ時間 3,419 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 1
other AC * 35
権限があれば一括ダウンロードができます

ソースコード

diff # 

def UPD(i,x):
    ans.append(f"UPD {i} {x}")

def AND(i,j,k):
    ans.append(f"AND {i} {j} {k}")

def XOR(i,j,k):
    ans.append(f"XOR {i} {j} {k}")

n,k = map(int,input().split())
ans = []

#加算
for i in range(1,n):
    for j in range((i+1).bit_length()):
        AND(n,i,j)
        XOR(j,i,j)
        UPD(i,0)
        XOR(i,i,n)

# kと和 を下の桁からみる。k について 0 -> or, 1 -> and と変換する
if k&1:
    UPD(n,0)
    XOR(n,0,n)
else:
    UPD(n,1)
k //= 2
for i in range(1,n):
    if k&1:
        AND(n,i,n)
    else:
        AND(0,i,n)
        XOR(n,i,n)
        XOR(n,0,n)
    k //= 2

print(len(ans))
print("\n".join(ans))
0