AT_arc145_e.[ARC145E] Adjacent XOR

给定两个长度为 $N$ 的非负整数序列 $A=(A_1,A_2,\ldots,A_N)$ 和 $B=(B_1,B_2,\ldots,B_N)$。

请判断是否可以通过不超过 $70000$ 次如下操作，将序列 $A$ 变为序列 $B$。如果可以，请给出一种实际的操作方案。

• 选择一个整数 $K\ (1\leq K \leq N)$。对于所有 $i\ (2\leq i \leq K)$，将 $A_i$ 的值替换为 $A_{i-1} \oplus A_i$。该替换对所有满足条件的 $i$ 同时进行。

这里，$\oplus$ 表示按位异或（XOR）运算。

按位异或（XOR）运算定义如下：对于非负整数 $A,B$，$A\oplus B$ 的二进制表示中，每一位的值等于 $A,B$ 在该位上的值仅有一个为 $1$ 时为 $1$，否则为 $0$。

例如，$3\oplus 5 = 6$（二进制为：$011\oplus 101 = 110$）。

输入通过标准输入给出，格式如下：

$N$ $A_1$ $A_2$ $\ldots$ $A_N$ $B_1$ $B_2$ $\ldots$ $B_N$

如果无法在 $70000$ 次操作内将 $A$ 变为 $B$，输出 No。

如果可以，设操作次数为 $M$，第 $i$ 次操作选择的整数为 $K_i$，则输出如下格式：

Yes $M$ $K_1$ $K_2$ $\ldots$ $K_M$

如果存在多种满足条件的方案，输出任意一种均可。

限制条件

• $2 \leq N \leq 1000$
• $0 \leq A_i, B_i < 2^{60}$
• 所有输入均为整数

样例解释 1

在该输出样例中，序列 $A$ 经过如下变化：

• 初始状态：$A=(1,\,2,\,0)$
• 第 $1$ 次操作后：$A=(1,\,3,\,0)$
• 第 $2$ 次操作后：$A=(1,\,2,\,3)$

经过 $2$ 次操作后，$A$ 与 $B$ 完全一致，因此该输出满足条件。

由 ChatGPT 4.1 翻译