結果

問題 No.3766 PQ Disjunction
コンテスト
ユーザー detteiuu
提出日時 2026-10-20 17:15:19
言語 PyPy3
(8.0.0 + ACL)
コンパイル:
pypy3 -mpy_compile _filename_
実行:
pypy3 _filename_
結果
AC  
実行時間 136 ms / 1,000 ms
+ 340µs
コード長 733 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 80 ms
コンパイル使用メモリ 64,844 KB
実行使用メモリ 101,528 KB
最終ジャッジ日時 2026-10-20 17:15:32
合計ジャッジ時間 7,343 ms
ジャッジサーバーID
（参考情報） 		judge5_0 / judge1_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 34
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

from collections import defaultdict

N, K = map(int, input().split())

def func(n):
    ans = list(range(n))
    right = n-1
    while 1 <= right:
        left = 0
        for i in reversed(range(30)):
            if not 1<<i & right:
                if left|1<<i <= right:
                    left |= 1<<i
        ans[left:right+1] = ans[left:right+1][::-1]
        right = left-1
    return ans

D = defaultdict(list)
for i in range(N):
    D[i&K].append(i)

ans = [-1]*N
for val in D.values():
    IDX = func(len(val))
    for i in range(len(val)):
        ans[val[i]] = val[IDX[i]]

res = 0
for i, a in enumerate(ans):
    res |= i&a

if res == K:
    print("Yes")
    print(*list(range(N)))
    print(*ans)
else:
    print("No")
0