#P17513. [ECUSTPC 2026 Fall] 纽约提喻法
[ECUSTPC 2026 Fall] 纽约提喻法
背景
And they say there is no fate, but there is, it's what you create.
And even though the world goes on for eons and eons...
...you are only here for a fraction of a fraction of a second.
题目描述
凯顿对“命运”有了自己的理解,他不再借助戏剧,而想用一串字符来提喻自己的人生。然而,当他尝试构建这个提喻时,为了追求纯粹、忠于自我的原创表达,他再度陷入了自我指涉的无限循环。于是这一次,凯顿将选择权交给了你,由你来描绘他的人生。
凯顿的提喻是一个长度为 的字符串,记为 。称 是合法的,当且仅当它同时满足以下三个条件:
- 仅由小写英文字母组成。
- 对于每个 ,字符串 的第 个字符必须等于给定的字符 。这里 是位置下标,满足 , 为小写字母。
- 对于每个 ,给定的字符串 不能作为 的连续子串出现。
现在给定 、 组位置约束 以及 个禁止子串 ,请你计算所有合法字符串 的总数,并将结果对 取模后输出。
输入格式
第一行输入三个整数 , , (, , ),分别表示字符串长度、位置约束数量和禁止子串数量。
随后 行,每行输入一个整数 和一个小写字母 (),表示一个位置约束。保证所有 互不相同。
随后 行,每行输入一个非空字符串 ,表示一个禁止子串。
保证所有 的长度之和不超过 (即 )。
输出格式
对于每组测试数据,输出一行一个整数,表示合法字符串的总数对 取模后的结果。
3 1 1
2 b
ab
650
10 2 2
3 a
5 c
abc
dcabe
113392371
提示
样例 1 解释
字符串长度为 ,第 个字符必须是 b,且不能包含子串 ab。合法的字符串形如 ?b?,其中第 个位置可以是除 a 以外的任意小写字母,共 种。