#P11270. 【MX-S5-T4】魔法少女们

    ID: 12623 远端评测题 2000ms 512MiB 尝试: 0 已通过: 0 显示难度NOI/NOI+/CTS 上传者: 标签>动态规划 DPO2优化容斥原理根号分治梦熊比赛

【MX-S5-T4】魔法少女们

背景

原题链接:https://oier.team/problems/S5D。


祈祷着今后的你的人生,永远都有幸福的“魔法”相伴。

以下是本题所用记号的约定。

字符串下标均从 11 开始。

∣S∣|S| 表示字符串 SS 的长度。

SiS_i 表示字符串 SS 的第 ii 个字符。

记字符串 SS 为 TT 的前缀,当且仅当:

  • ∣S∣≤∣T∣|S|\leq |T|,
  • ∀i∈[1,∣S∣]\forall i\in[1,|S|],Si=TiS_i=T_i。

记字符串 SS 为 TT 的后缀,当且仅当:

  • ∣S∣≤∣T∣|S|\leq |T|,
  • ∀i∈[1,∣S∣]\forall i\in[1,|S|],S∣S∣−i+1=T∣T∣−i+1S_{|S|-i+1}=T_{|T|-i+1}。

合法括号序列的定义如下:

  • 空串是合法括号序列。
  • 若 AA 为合法括号序列,则 (A)(A) 为合法括号序列。
  • 若 A,BA,B 为合法括号序列,则 ABAB 为合法括号序列。

题目描述

千和有 nn 个括号序列,分别是 S1,S2,S3,…,SnS_1,S_2,S_3,\dots,S_n。

小黑有 mm 个括号序列,分别是 T1,T2,T3,…,TmT_1,T_2,T_3,\dots,T_m。

对一个括号序列 AA,f(A)f(A) 为满足以下条件的正整数对 (i,j)(i,j) 对数:

  • i∈[1,n]i\in[1,n],j∈[1,m]j\in [1,m];
  • SiS_i 是 AA 的前缀且 TjT_j 是 AA 的后缀。

她们想知道对于所有长度为偶数 kk 的合法括号序列 SS,f(S)f(S) 的和。答案对 109+710^9+7 取模。

输入格式

第一行,一个正整数 cc,表示测试点编号。特殊地,对样例,c=0c=0。

第二行,三个正整数 n,m,kn,m,k,其中 kk 为偶数。

接下来 nn 行,每行一个字符串 SiS_i。

接下来 mm 行,每行一个字符串 TjT_j。

输出格式

仅一行,一个自然数,表示答案对 109+710^9+7 取模后的值。

0
1 2 6
(
()
())
4

提示

【样例解释 #1】

长度为 66 的合法括号序列有 ()()()、()(())、(())()、(()())、((())),分别记作 S1,S2,S3,S4,S5S_1,S_2,S_3,S_4,S_5,答案为 f(S1)+f(S2)+f(S3)+f(S4)+f(S5)=1+1+1+1+0=4f(S_1)+f(S_2)+f(S_3)+f(S_4)+f(S_5)=1+1+1+1+0=4。

【样例 #2】

见附件中的 bracket/bracket2.in 与 bracket/bracket2.ans。

该组样例满足测试点 1∼21\sim 2 的约束条件。

【样例 #3】

见附件中的 bracket/bracket3.in 与 bracket/bracket3.ans。

该组样例满足测试点 3∼43\sim 4 的约束条件。

【样例 #4】

见附件中的 bracket/bracket4.in 与 bracket/bracket4.ans。

该组样例满足测试点 14∼1514\sim 15 的约束条件。

【样例 #5】

见附件中的 bracket/bracket5.in 与 bracket/bracket5.ans。

该组样例满足测试点 20∼2120\sim 21 的约束条件。

【数据范围】

对于所有测试数据,保证 1≤n,m≤2×1051\leq n,m\leq 2\times 10^5,$1\leq \vert S_i\vert,\vert T_j\vert\leq \min(k,5\times 10^5)$,$1\leq \sum \vert S_i\vert,\sum \vert T_j\vert\leq 10^7$,2≤k≤1062\leq k\leq 10^6,kk 为偶数。

测试点编号 n,m≤n,m\leq ∣Si∣,∣Tj∣≤\vert S_i\vert,\vert T_j\vert\leq ∑∣Si∣,∑∣Tj∣≤\sum \vert S_i\vert,\sum \vert T_j\vert\leq k≤k\leq 特殊性质
1∼21\sim2 1010 100100 1515 无
3∼43\sim4 5050 100100 5×1035\times10^3 100100
5∼85\sim8 250250 5×1035\times10^3 5×1055\times10^5 5×1035\times10^3
9∼119\sim11 5×1035\times 10^3 10510^5 2×1052\times10^5
12∼1312\sim13 5×1045\times10^4 A
14∼1514\sim15 B
16∼1716\sim17 10510^5 2×1032\times10^3 10610^6 C
18∼1918\sim19 10510^5
20∼2120\sim21 无
22∼2322\sim23 2×1052\times10^5 5×1055\times 10^5 10710^7 10610^6 C
24∼2524\sim25 无
  • 特殊性质 A:k<min⁡∣Si∣+min⁡∣Tj∣k<\min\vert S_i\vert+\min\vert T_j\vert;
  • 特殊性质 B:保证 Si,TjS_i,T_j 是合法的括号序列;
  • 特殊性质 C:k≥max⁡∣Si∣+max⁡∣Tj∣k\geq\max\vert S_i\vert+\max\vert T_j\vert。