結果

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

ソースコード

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 = []
    res.append("UPD {} {}".format(i,1))
    res.append("AND {} {} {}".format(i,i,j))
    return res

def sort(i,j,k):
    assert i < j
    """
    ・ai <- ai(1-aj)+aj = ai^aj^(ai and aj)
    ・aj <- aiaj = (ai and aj)
    """
    res = []
    res += update_ai_by_aj(k,j)
    res.append("AND {} {} {}".format(j,i,j))
    res.append("XOR {} {} {}".format(i,i,k))
    res.append("XOR {} {} {}".format(i,i,j))
    return res


N,K = mi()

res = []

for i in range(N):
    for j in range(N-1,i,-1):
        res += sort(j-1,j,N)
res += update_ai_by_aj(N,K-1)

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