結果
| 問題 | No.1589 Bit Vector |
| コンテスト | |
| ユーザー |
|
| 提出日時 | 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 |
ソースコード
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")