AT_maximum_cup_2023_f 01文字列の構築

判断是否存在一个长度为 $N+M$ 的字符串 $X$，使其满足以下条件，同时若存在请给出一个示例。 - $X$ 由 $N$ 个字符 `0` 和 $M$ 个字符 `1` 组成。 - $X$ 的任意长度为 $K$ 的子串恰好包含 $S$ 个 `1`。

输入如下所示，通过标准输入读取。 > $N$ $M$ $K$ $S$

如果不存在满足条件的 $X$，输出 `No`。 如果存在，输出如下： > Yes $X$ 若答案有多个，输出任意一个均可。

### 样例解释 1 字符串 `010` 的长度为 $2$ 的子串为 `01` 和 `10`，它们都恰好包含 $1$ 个 `1`。 ### 数据范围 - $1 \leq N,M \leq 3 \times 10^5$ - $1 \leq S \leq K \leq N+M$ - 输入均为整数。 由 ChatGPT 5 翻译