CF1168E Xor Permutations

Toad Mikhail 有一个长度为 $2^k$ 的整数数组 $a_1,\dots,a_{2^k}$。 请找到两个 $0,\dots,2^k - 1$ 的排列 $p,q$，使得 $\forall 1 \le i \le 2^k,p_i \oplus q_i = a_i$，或告诉我们无解。 其中 $\oplus$ 表示按位异或运算。

无

无