禁言 bug

QX 逐渐成为我们日常生活中最主流的聊天软件。不幸的是，黑客盯上了 QX 并对其进行攻击，致使 QX 产生了很多 bug，而禁言 bug 则是其中之一。

QX 中的聊天可以视为一个 $N \times M$ 的聊天矩阵 $A$ 。现在黑客设定了一个关键词矩阵 $B$ ，大小为 $n \times m$ 。每当关键词矩阵 $B$ 匹配聊天矩阵 $A$ 时，用户便会被禁言 $10$ 分钟，若 $B$ 在 $A$ 中有多次匹配，则禁言时长会被累计。

矩阵 $C$ 被称为矩阵 $A$ 的子矩阵当且仅当矩阵 $C$ 可以由矩阵 $A$ 的若干行与若干列的交集得到。例如矩阵 $\begin{matrix} ab \\ cd \end{matrix}$ 的非空子矩阵有 $\begin{matrix} a \end{matrix}$ ， $\begin{matrix} b \end{matrix}$ ， $\begin{matrix} c \end{matrix}$ ， $\begin{matrix} d \end{matrix}$ ， $\begin{matrix} ab \end{matrix}$ ， $\begin{matrix} cd \end{matrix}$ ， $\begin{matrix} a \\ c \end{matrix}$ ， $\begin{matrix} b \\ d \end{matrix}$ ， $\begin{matrix} ab \\ cd \end{matrix}$ 。

定义矩阵 $B$ 匹配矩阵 $A$ 当且仅当在矩阵 $A$ 中存在一个大小为 $k_1n \times k_2m$ 的子矩阵 $C$ ，满足矩阵 $C$ 可以由 $k_1 \times k_2$ 个矩阵 $B$ 平铺得到。例如 $\begin{matrix} ab \\ cd \end{matrix}$ 可以由 $1 \times 1$ 个 $\begin{matrix} ab \\ cd \end{matrix}$ 平铺得到， $\begin{matrix} abab \\ cdcd \end{matrix}$ 可以由 $1 \times 2$ 个 $\begin{matrix} ab \\ cd \end{matrix}$ 平铺得到， $\begin{matrix} ab \\ cd \\ ab \\ cd \end{matrix}$ 可以由 $2 \times 1$ 个 $\begin{matrix} ab \\ cd \end{matrix}$ 平铺得到， $\begin{matrix} abab \\ cdcd \\ abab \\ cdcd \end{matrix}$ 可以由 $2 \times 2$ 个 $\begin{matrix} ab \\ cd \end{matrix}$ 平铺得到。注意， $\begin{matrix} abab \\ cdcd \end{matrix}$ 不可以由 $2 \times 1$ 个 $\begin{matrix} ab \\ cd \end{matrix}$ 平铺得到。

详情