T429780 「shury OI Round I」重题

题目背景

little_Cabbage 喜欢出题,但是他总是出重题。

题目描述

ugoul 上有 $n$ 道题目,第 $i$ 道题目对应的字符串为 $s_i$。little_Cabbage 自己也出了一道题,用字符串 $t$ 表示。little_Cabbage 还有一个参考系数 $k$。 对于两个字符串 $x,y$,设它们位置对应并且字符相同的位置有 $c$ 个。little_Cabbage 认为它们是相似的,当且仅当: - $c \geq \lfloor \frac{|x|+|y|}{k} \rfloor$。 其中 $|x|$ 代表字符串 $x$ 的长度,$\lfloor a \rfloor$ 代表不超过 $a$ 的最大整数。 如果两道题对应的字符串是相似的,就认为这两道题是重题。 little_Cabbage 害怕自己出了重题,但是他不愿意修改自己的题目,而是试图从根源解决问题。little_Cabbage 会进行 $q$ 次修改,每次修改可以表述为一个整数 $i$ 和一个字符 $op$,表示将 ugoul 上的每道题对应的字符串的第 $i$ 个字符修改为 $op$。如果某个题对应的字符串长度小于 $i$,则不对其做任何修改。 所有修改完毕后,little_Cabbage 想知道自己出的题目是否还是与 ugoul 上的某道题重了。即,是否存在 $1 \leq i \leq n$,使得 $t$ 与 $s_i$ 是相似的。如果是,输出 `Yes`。否则输出 `No`。

输入格式

第一行共两个整数 $n,k$。 第二行一个字符串 $t$。 接下来 $n$ 行,每行一个字符串 $s$,表示 ugoul 上的的题目。 接下来一行,一个整数 $q$。 接下来 $q$ 行,每行先是一个整数 $i$,表示修改的位置。然后是一个字符 $op$,即要把所有 $s_i$ 修改到的字符。

输出格式

一行一个字符串。如果没有重题,输出 `No`,否则输出 `Yes`。

说明/提示

对于 $20\%$ 的数据,$1\le n,|t|,|s_i|,q\le10^2$。 对于 $100\%$ 的数据,$1\le n,|t|,|s_i|,q\le10^3$,$1\le k\le10$,本题中的所有字符(包括所有字符串中的字符与 $op$)均为小写字母。 little_Cabbage 衷心希望大家不要再出重题。