思路大概就是先确定 $a_1$，由于 $a_1 \operatorname{xor} a_2 = b_1$，易得 $a_2 = a_1 \operatorname{xor} b_1$，同理 $a_i = a_1 \operatorname{xor} b_1 \operatorname{xor} b_2$ $... \operatorname{xor} b_{i-1}$。然后就可以求出序列 $a$。

题目说 $1 \sim n$ 的排列，那肯定没有 $0$ 对吧，人话就是 $a_i$ 和 $b_i$ 不相等。那我们假设 $a_i = b_i$，然后反推回 $a_1$，这样这个 $a_1$ 肯定是不满足条件的，按这样我们一共可以推出 $n-1$ 个不满足条件的 $a_1$，且没有重复，因为你 $a_1 = b_1 \operatorname{xor} b_2$ $... \operatorname{xor} b_i$，如果有两个 $a_1$ 相等，也就是说有一段连续的 $b_i$ 异或和为 $0$，如果这样那顺推时你的序列里就会有两个一样的值，显然不满足条件，至于 $a_i \in [1,n]$ 的这个条件，你序列都唯一了，题目又保证有解，还要来干嘛？

综上，序列 $a$ 是固定的对吧？但这么交上去是错的，他还要 check 一下 $a_i$ 的取值范围，也就是说 $a$ 序列并不能确定？所以是为什么，我的问题吗？

我是蒟蒻，大佬勿喷，违规紫衫