AT_arc194_e.[ARC194E] Swap 0^X and 1^Y

给定由 0 和 1 组成且长度为 $N$ 的两个字符串 $S$ 和 $T$，以及正整数 $X$ 和 $Y$。对于 $i = 1, 2, \ldots, N$，用 $S_i$ 表示 $S$ 的第 $i$ 个字符。

请判断是否可以通过任意次（包括零次）执行以下操作 A 或操作 B，使得 $S$ 变为 $T$：

• （操作 A）选择一个满足 $1 \leq i \leq N - (X + Y) + 1$ 的整数 $i$，且满足 $S_i = S_{i+1} = \cdots = S_{i+X-1} =$ 0 以及 $S_{i+X} = S_{i+X+1} = \cdots = S_{i+X+Y-1} =$ 1。随后，将 $S_i, S_{i+1}, \ldots, S_{i+Y-1}$ 全部改为 1，并将 $S_{i+Y}, S_{i+Y+1}, \ldots, S_{i+Y+X-1}$ 全部改为 0。
• （操作 B）选择一个满足 $1 \leq i \leq N - (X + Y) + 1$ 的整数 $i$，且满足 $S_i = S_{i+1} = \cdots = S_{i+Y-1} =$ 1 以及 $S_{i+Y} = S_{i+Y+1} = \cdots = S_{i+Y+X-1} =$ 0。随后，将 $S_i, S_{i+1}, \ldots, S_{i+X-1}$ 全部改为 0，并将 $S_{i+X}, S_{i+X+1}, \ldots, S_{i+X+Y-1}$ 全部改为 1。

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

$N$ $X$ $Y$ $S$ $T$

如果可以将 $S$ 变为 $T$，输出 Yes；否则输出 No。

约束条件

• $1 \leq N \leq 5 \times 10^5$
• $1 \leq X, Y \leq N$
• $S$ 和 $T$ 是由 0 和 1 组成的长度为 $N$ 的字符串
• 输入均为整数

样例解释 1

通过以下步骤可以将 $S$ 变为 $T$：

• 选择 $i = 2$ 执行操作 A，此时 $S =$ 010011001。
• 选择 $i = 6$ 执行操作 B，此时 $S =$ 010010011。
• 选择 $i = 3$ 执行操作 A，此时 $S =$ 011000011。

因此输出 Yes。

样例解释 2

无法将 $S$ 变为 $T$，因此输出 No。

翻译由 DeepSeek R1 完成