AT_agc063_c.[AGC063C] Add Mod Operations

给定两个非负整数序列 $A = (A_1, \ldots, A_N)$ 和 $B = (B_1, \ldots, B_N)$。

请判断是否可以通过进行 $0$ 次到 $N$ 次以下的如下操作，将 $A$ 变为 $B$。

• 操作：选择满足 $0 \leq x < y \leq 10^{18}$ 的整数 $x, y$。对于所有 $i$，将 $A_i$ 替换为 $(A_i + x) \bmod y$。

如果可以将 $A$ 变为 $B$，请输出一种操作方案。

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

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

如果无法通过 $0$ 次到 $N$ 次以下的操作将 $A$ 变为 $B$，请输出：

No

如果可以，请输出操作方案，格式如下：

Yes $K$ $x_1$ $y_1$
$\vdots$
$x_K$ $y_K$

其中 $K$ 表示操作次数，$x_i, y_i$ 表示第 $i$ 次操作选择的整数 $x, y$，需满足：

• $0 \leq K \leq N$
• $0 \leq x_i < y_i \leq 10^{18}$

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

限制条件

• $1 \leq N \leq 1000$
• $0 \leq A_i \leq 10^9$
• $0 \leq B_i \leq 10^9$

样例说明 1

可以如下将 $A$ 变为 $B$：

• 初始 $A = (7, 2, 4, 5)$。
• 进行操作 $(x, y) = (3, 5)$ 后，$A = (0, 0, 2, 3)$。
• 进行操作 $(x, y) = (3, 6)$ 后，$A = (3, 3, 5, 0)$。

由 ChatGPT 4.1 翻译