AT_past17_k.正しいチェックディジット

给定一个长度为 $N$ 的字符串 $S$，由数字和 ? 组成。
请判断是否可以将每个 ? 替换为某个数字，使得下列值为 $10$ 的倍数。如果可以，请给出一种替换方案。

• $\displaystyle \sum^{N}_{i=1} i \times $（将 $S$ 的第 $i$ 个字符视为一位整数）

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

$N$ $S$

如果不存在满足条件的替换方案，输出一行 No。
否则，输出一种满足条件的替换方案，格式如下：

Yes $T$

第一行输出 Yes。
第二行输出字符串 $T$，它是将 $S$ 中的 ? 替换为数字后得到的字符串，并满足题目中的条件。

样例解释 1

考虑将 935?0 的第 $4$ 个字符 ? 替换成什么数字。

• 如果第 $4$ 个字符 ? 替换为 $5$，得到字符串 $T=93550$。
  • $1 \times 9 + 2 \times 3 + 3 \times 5 + 4 \times 5 + 5 \times 0 = 50$，确实为 $10$ 的倍数。

或者，也可以将第 $4$ 个字符 ? 替换为 $0$，得到 93500，也满足条件。

样例解释 2

1?3?5 中有两个 ?，一共有 $100$ 种替换方式，但没有任何一种可以满足题意。

样例解释 3

虽然字符串 0 中不包含任何 ?，但 $1\times 0 = 0$，本身就是 $10$ 的倍数。

数据范围

• $N$ 满足 $1 \leq N \leq 2 \times 10^5$。
• $S$ 是一个长度为 $N$ 的、由数字和 ? 组成的字符串。

由 ChatGPT 5 翻译