UOJ Logo LFYZ Online Judge

LFYZOJ

#11. 旧约酒吧

统计

问题描述

宇佐见莲子、玛艾露贝莉·赫恩正在游历旧约酒吧。喝醉的ZUN在背英语单词。不幸的是,ZUN忘记了一些单词怎么拼写。

比方说,倘若有一个单词是gensokyo,ZUN可能只记得_e__ok_o了,但是,ZUN会记得,这些空必定可以由egnrsy这些字母填上。刚好,莲子携带了一张单词表。于是ZUN就可以通过单词表来回忆单词啦。

形式化地,给定你一个不完整的单词,每个单词内仅可能出现小写字母与下划线“_”,然后给定你$k$个小写字母,代表这些下划线原来可能是什么字母。然后再给你一张包含$m$个单词的单词表。对于这个单词,是否可以通过在给定的$k$个字母中挑选一些来替代下划线,从而使这个单词和单词表中的某个单词匹配呢?$k$个字母可以重复使用,则,请你回答上述单词是否能被匹配出来。

输入格式

输入是多组数据。请务必注意!

数据组数不给出!

对于每一组数据,都会先给出你两个整数$m$,$k$。

然后是一个不完整的单词。

然后是$k$个可能的字母。字母之间没有空白,且可能有重复的字母

然后是$m$个单词。单词仅含小写字母。

输出格式

对于每一组数据,请你输出“hern”或者是“kern”。hern代表着可以,而kern代表着不可以。

输出不含引号,行末没有空格,每组数据的结果独占一行。

样例一

input

3 6
_e__ok_o
egnrsy
gansokyo
gensokyo
kensokyou
5 4
q_qq_qq_q
weae
qwqqaqqwq
qweqaqqwq
qwqqxq
qaqqwqqaq
qvqqvqqaq
6 10
th_roj_c_
ptioeqdida
thwrohect
loveliveschoolidolproject
kantaicollection
thiroiect
saitsuki

output

hern
hern
kern

数据范围与约定

对于$50\%$的数据,单词里保证只有一个下划线,数据只有一组。

对于$100\%$的数据,$m \leq 100$,$k \leq 100$,所有单词长度$\in [1,101]$。数据最多有20组。

时间限制: $1\mathrm{s}$

内存限制: $256\mathrm{MB}$

下载

样例数据下载

  • ex_bar1.in/out 对应样例。

  • ex_bar2.in/out 对应$50\%$的数据范围。

  • ex_bar3.in/out 对应$100\%$的数据范围。

鸣谢

Capella,from kjzx.