結果

問題 No.1589 Bit Vector
ユーザー chineristACchineristAC
提出日時 2021-07-09 01:13:48
言語 PyPy3
(7.3.15)
結果
WA  
実行時間 -
コード長 2,343 bytes
コンパイル時間 291 ms
コンパイル使用メモリ 86,904 KB
実行使用メモリ 78,680 KB
最終ジャッジ日時 2023-09-14 06:14:41
合計ジャッジ時間 12,043 ms
ジャッジサーバーID
（参考情報） 		judge11 / judge15
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 WA -
testcase_01 WA -
testcase_02 WA -
testcase_03 WA -
testcase_04 WA -
testcase_05 WA -
testcase_06 WA -
testcase_07 WA -
testcase_08 WA -
testcase_09 WA -
testcase_10 WA -
testcase_11 WA -
testcase_12 WA -
testcase_13 WA -
testcase_14 WA -
testcase_15 WA -
testcase_16 WA -
testcase_17 WA -
testcase_18 WA -
testcase_19 WA -
testcase_20 WA -
testcase_21 WA -
testcase_22 WA -
testcase_23 WA -
testcase_24 WA -
testcase_25 AC 118 ms
78,608 KB
testcase_26 AC 121 ms
78,132 KB
testcase_27 WA -
testcase_28 WA -
testcase_29 WA -
testcase_30 WA -
testcase_31 WA -
testcase_32 WA -
testcase_33 WA -
testcase_34 WA -
testcase_35 WA -
権限があれば一括ダウンロードができます

ソースコード

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
    """
    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 = []

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))

#res += ["debug"]

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
    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(*res,sep="\n")
#print(len(res))

"""
check = li()
A = [check[i] for i in range(N)] + [0]
flag = False
for s in res:
    op = [t for t in s.split()]
    if op[0]=="UPD":
        _,i,j = op
        i,j = int(i),int(j)
        A[i] = j
    elif op[0]=="AND":
        _,i,j,k = op
        print(i,j,k)
        i,j,k = int(i),int(j),int(k)
        A[i] = A[j]&A[k]
    elif op[0]=="XOR":
        _,i,j,k = op
        i,j,k = int(i),int(j),int(k)
        A[i] = A[j]^A[k]
    else:
        flag = True
        print(AND_regi)
    if flag:
        #print(A)

print(A)
print(A[N])
"""
0