AT_arc227_d [ARC227D] Median of Binary Strings

题目描述

给定 $N$ 个长度为 $M$ 的字符串 $S_1, S_2, \ldots, S_N$,其中每个字符串均由字符 `0` 和 `1` 组成。 起初,$S_1, S_2, \ldots, S_N$ 都被写在黑板上。 你可以进行以下操作任意次(也可以一次都不进行): - 从黑板上已经写着的字符串中任选三个字符串(允许选择同一个字符串多次),记为 $A, B, C$。在黑板上新写一个长度为 $M$ 的字符串 $D$,满足: - 对于每一位 $i = 1, 2, \ldots, M$,记 $A_i, B_i, C_i, D_i$ 为 $A, B, C, D$ 的第 $i$ 个字符,则 $D_i$ 必须等于 $A_i, B_i, C_i$ 中至少两个字符。 现给出 $Q$ 个字符串 $T_1, T_2, \ldots, T_Q$。对于每一个 $i = 1, 2, \ldots, Q$,判断是否可以通过上述操作使 $T_i$ 被写在黑板上。

输入格式

输入按如下格式从标准输入给出: > $N$ $M$ $Q$ > $S_1$ > $S_2$ > $\vdots$ > $S_N$ > $T_1$ > $T_2$ > $\vdots$ > $T_Q$

输出格式

输出 $Q$ 行。第 $i$ 行若能将 $T_i$ 写在黑板上,输出 `Yes`,否则输出 `No`。

说明/提示

### 样例解释 1 $T_1$ 一开始就在黑板上。 $T_2$ 是 `001`。如果选择 `000`、`011`、`101` 进行操作,则可以新写出 `001`。 ### 样例解释 2 最初写在黑板上的字符串都是 `0`,通过操作得到的新字符串只能是 `0`。因此,不可能使 `1` 被写在黑板上。 ### 约束条件 - $1 \leq N \leq 500$ - $1 \leq M \leq 500$ - $1 \leq Q \leq 500$ - $S_i$ 为长度为 $M$ 的、仅包含 `0` 和 `1` 的字符串。$(1 \leq i \leq N)$ - $T_i$ 为长度为 $M$ 的、仅包含 `0` 和 `1` 的字符串。$(1 \leq i \leq Q)$ - 所有输入值均为整数。 由 ChatGPT 5 翻译