AT_agc074_b.[AGC074B] Swap if Equal Length and Sum

给定两个长度为 $N$、每个元素为 $0$ 或 $1$ 的整数序列 $A=(A_1,A_2,\dots,A_N)$ 和 $B=(B_1,B_2,\dots,B_N)$。令 $A[i,j]$ 表示序列 $A$ 中从第 $i$ 个到第 $j$ 个元素的连续子序列。如果 $i>j$，则 $A[i,j]$ 为长度为 $0$ 的序列。你可以对 $A$ 最多进行 $\lfloor\frac{N}{2}\rfloor$ 次如下操作：

• 选择四个整数 $a,b,c,d$，满足以下三个条件：
  • $1 \leq a \leq b < c \leq d \leq N$
  • $b-a=d-c$
  • $\sum_{i=a}^{b}{A_i}=\sum_{i=c}^{d}{A_i}$
• 将 $A[a,b]$ 和 $A[c,d]$ 交换。更准确地说，用以下顺序拼接得到的新序列替换 $A$：$A[1,a-1]$，$A[c,d]$，$A[b+1,c-1]$，$A[a,b]$，$A[d+1,N]$。

判断是否有可能通过若干次操作后使 $A$ 与 $B$ 完全相同。如果可以，请构造出一组操作方案。

对于每组输入，需要解答 $T$ 个独立的测试用例。

输入从标准输入读入，格式如下：

$T$
$case_1$
$case_2$
$\vdots$
$case_T$

每个测试用例如下格式：

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

按以下格式输出答案：

$output_1$
$output_2$
$\vdots$
$output_T$

其中 $output_t$ 表示第 $t$ 个测试用例的输出。
对于每个测试用例，如果你可以将 $A$ 变为 $B$，记所用操作次数为 $K$，每次操作所选的参数为 $(a_k,b_k,c_k,d_k)$，则输出格式如下：

Yes $K$ $a_1$ $b_1$ $c_1$ $d_1$ $a_2$ $b_2$ $c_2$ $d_2$
$\vdots$
$a_K$ $b_K$ $c_K$ $d_K$

如果无法将 $A$ 变为 $B$，则输出 No。

样例解释 1

第一个测试用例中，初始 $A$ 为 $(1,0,0,1,0,1,0,1)$。
先进行一次 $(a,b,c,d)=(3,4,6,7)$ 的操作，$A$ 变为 $(1,0,1,0,0,0,1,1)$。
再进行一次 $(a,b,c,d)=(1,4,5,8)$ 的操作，$A$ 变为 $(0,0,1,1,1,0,1,0)$，与 $B$ 完全相同。
第二个测试用例，无论如何无法将 $A$ 变为 $B$。
第三个测试用例，$A$ 一开始就与 $B$ 完全相同，无需操作。

数据范围与约定

• $1 \leq T \leq 25000$
• $2 \leq N \leq 2 \times 10^5$
• $0 \leq A_i \leq 1$
• $0 \leq B_i \leq 1$
• 所有测试用例中 $N$ 的总和不超过 $2\times 10^5$。
• 所有输入均为整数。

由 ChatGPT 5 翻译