#HK5287. 「PA 2015」Eksplozja komórkowa

「PA 2015」Eksplozja komórkowa

题目描述

题目译自 PA 2015 Runda 5 Eksplozja komórkowa

拜托细胞体(Bajtokomórczak)是一种居住在废弃中央处理器中的原始生物。它是由一系列细胞组成的有序序列,每个细胞可以是 nn 种类型之一,为简化起见,我们将这些类型编号为 11nn。拜托细胞体的显著特征是其极快的复制能力。

拜托细胞体在生命的第一分钟由一个类型为 11 的单一细胞组成。每分钟都会发生细胞复制:每个细胞分裂成至少两个细胞的序列。分裂后可能产生不同类型的细胞,但类型为 kk 的细胞分裂后总是生成相同的细胞序列 H(k)=hk,1,hk,2,,hk,lkH(k)=h_{k,1}, h_{k,2}, \ldots, h_{k,l_{k}}。如果在第 ii 分钟,拜托细胞体由细胞序列 c1,c2,,cpc_{1}, c_{2}, \ldots, c_{p} 组成,那么在第 (i+1)(i+1) 分钟,它将由拼接序列 H(c1),H(c2),,H(cp)H(c_{1}), H(c_{2}), \ldots, H(c_{p}) 构成的细胞序列组成。

当拜托细胞体的细胞序列中包含一个连续片段与预定的序列 SS(由特定类型的细胞按顺序排列组成)匹配时,它被认为达到了成熟状态。

拜托克科学家希望更详细地研究拜托细胞体的生命,特别是确定从其生命开始到达到成熟所需的时间。

输入格式

输入数据的第一行包含两个整数 nnmm (1n500,1m1000)(1 \leq n \leq 500, 1 \leq m \leq 1000),分别表示可能的细胞类型数量和序列 SS 的长度,序列 SS 必须作为拜托细胞体细胞序列的连续片段出现,以认定其达到成熟状态。

接下来是 nn 行描述细胞复制规则:第 ii 行以一个整数 lil_{i} (li2)(l_{i} \geq 2) 开头,随后是 lil_{i} 个整数 hi,1,hi,2,,hi,lih_{i,1}, h_{i,2}, \ldots, h_{i,l_{i}} (1hi,jn)(1 \leq h_{i,j} \leq n),构成序列 H(i)H(i)。所有 lil_{i} 的总和不超过 10001000

最后一行包含 mm 个整数,范围在 11nn 之间,表示构成序列 SS 的各个细胞类型。

输出格式

输出一个整数,表示拜托细胞体达到成熟状态的生命第一分钟的编号。如果拜托细胞体永远无法达到成熟状态,则输出数字 1-1

3 2
2 2 3
3 1 3 3
2 1 2
3 1

3

在生命第二分钟,拜托细胞体由序列 H(1)=2,3H(1)=2, 3 组成。在第三分钟,它变成 H(2),H(3)=1,3,3,1,2H(2), H(3)=1, 3, 3, 1, 2,因此达到成熟状态,因为其中包含片段 S=3,1S=3, 1