結果
問題 | No.1589 Bit Vector |
ユーザー |
|
提出日時 | 2021-09-26 17:46:08 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 63 ms / 2,000 ms |
コード長 | 1,166 bytes |
コンパイル時間 | 181 ms |
コンパイル使用メモリ | 82,024 KB |
実行使用メモリ | 75,264 KB |
最終ジャッジ日時 | 2024-07-05 15:40:28 |
合計ジャッジ時間 | 3,898 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge5 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 1 |
other | AC * 35 |
ソースコード
import sys input = lambda : sys.stdin.readline().rstrip() write = lambda x: sys.stdout.write(x+"\n") debug = lambda x: sys.stderr.write(x+"\n") writef = lambda x: print("{:.12f}".format(x)) n,k = list(map(int, input().split())) t = int(input()) for _ in range(t): _ = list(map(int, input().split())) def main(n,K): import random _a = [random.randint(0,1) for _ in range(n+1)] _a0 = _a[:] s = sum(_a[:n]) ans = [] def UPD(i, v): ans.append(("UPD", i, v)) _a[i] = v def AND(i, j, k): ans.append(("AND", k, i, j)) _a[k] = _a[i] and _a[j] def XOR(i, j, k): ans.append(("XOR", k, i, j)) _a[k] = _a[i]^_a[j] def swap(i,j): UPD(n,0) XOR(i,n,n) AND(i,j,i) XOR(j,n,n) XOR(i,n,j) for i in range(1,n): for j in range(i)[::-1]: swap(j,j+1) UPD(n,0) XOR(n-K,n,n) s2 = sum(_a[:n]) assert s==s2 and _a[-1]==(s>=K) assert all((_a[i]==0 for i in range(n-s))), (_a0, _a[:n]) assert len(ans)<=10000 return ans ans = main(n,k) print(len(ans)) write("\n".join([" ".join(map(str, item)) for item in ans]))