138D

小清新构造题。 首先 $K=1$ 的情况是 trival 的，直接格雷码即可。 对于 $K>1$，我们发现题目的约束相当于 $\operatorname{popcount}(P_i\oplus P_{(i+1)\bmod 2^N})=K$，考虑 $P_i$ 的差分序列 $D_i$，那么 $D_i$ ......