题目描述

Eva 热衷于收集硬币。每当她到访不同的国家，她总会尽可能多地收集当地的硬币。如你所知，Eva 也喜欢去欧洲旅行；因此她收集了大量的欧元硬币，因为欧洲许多国家都使用它们。

Eva 总共有 $n$ 枚欧元硬币。她将所有硬币在桌面上排成一排，并用这些硬币玩一个游戏。每一步，Eva 可以选择恰好 $k$ 枚连续的硬币同时翻转，前提是这些硬币的正面要么全部朝上，要么全部朝下。她想知道，在有限步内，从初始状态出发，能够到达哪些硬币状态。

输入格式

第一行包含两个整数 $n$ 和 $k$ ($1 \le k \le n \le 10^6$) —— Eva 拥有的欧元硬币数量和每一步 Eva 可以翻转的连续硬币数量。

接下来的两行分别包含两个字符串 $s$ 和 $t$ ($|s| = |t| = n$)。$s$ 和 $t$ 仅由数字 $0$ 和 $1$ 组成。

$s$ 表示 $n$ 枚硬币的初始状态：若第 $i$ 枚硬币的正面朝上，则 $s$ 的第 $i$ 个字符为 $1$；否则（即第 $i$ 枚硬币的正面朝下），$s$ 的第 $i$ 个字符为 $0$。$t$ 以相同的方式表示 $n$ 枚硬币期望的最终状态。

输出格式

如果 Eva 能够在有限步内从 $s$ 表示的状态到达 $t$ 表示的状态，输出 "Yes"；否则，输出 "No"（不带引号）。

6 2
000000
101101

Yes

8 3
10101010
01010101

No

提示

翻译由 DeepSeek V4 Pro 完成