#P9201. 「GMOI R2-T4」电子木鱼

    ID: 7694 远端评测题 1000ms 128MiB 尝试: 0 已通过: 0 难度: 7 上传者: 标签>洛谷原创O2优化Link-Cut Tree,LCT离散化扫描基环树洛谷月赛分类讨论

「GMOI R2-T4」电子木鱼

题目背景

运营电子资本,招聘赛博佛祖,积累虚拟功德。

功德无量,随喜赞叹。

【Upd 2023/04/05 22:27】增加了两组来自 @嘉然今天吃什么 的 hack 数据。

【Upd 2023/04/08 14:02】更改了数据范围表格,并且微调了测试点编号。

题目描述

给你 nn,表示一共有 nn 位赛博佛祖,编号依次为 1n1 \sim n

i(1in)i(1 \leq i \leq n) 位赛博佛祖可以对应为一个二元组 Si,di\langle S_i, d_i \rangle,其中 SS 在任意时刻均为 {1,2,3,,m}\{1, 2, 3, \dots, m\} 的一个子集(可以为空),而 did_i1m1 \sim m 间的整数。

如果在某一时刻,存在一位赛博佛祖的 SiS_i 为空集,佛祖会感到很开心而给你加功德。具体地,他会敲响第 did_i 个木鱼,并在下一时刻同时影响所有的 nn 位赛博佛祖(包括他自己)。对第 j(1jn)j(1 \leq j \leq n) 位赛博佛祖,如果 diSjd_i \in S_j,那么将从 SjS_j 内删去 did_i;否则向 SjS_j 内加入 did_i。如果有多位赛博佛祖的 SiS_i 为空集,取编号最小的 ii 为你加功德。

现在作为电子资本家的你,想要功德无量。你想知道,最少再请来几位赛博佛祖,可以使得你的这些佛祖们源源不断地为你加功德。假设这个答案是 ss(可以为 00),那么新的佛祖们的编号依次为 (n+1)(n+s)(n+1) \sim (n+s)

因为你是个资本家,有时候你不想请那么多佛祖。所以你有许多组询问,对于一组 l,r\bm{l, r},设 f(l,r)\bm{f(l,r)} 表示如果初始只有 [l,r]\bm{[l, r]} 之间的佛祖,答案将会是多少,注意,每组询问相互独立,上一次添加的佛祖不会延续到以后的询问中

为了避免太多的输出,你只需要输出:

$$\sum\limits_{l=1}^n\sum\limits_{r=l}^n f(l,r)\times2^l $$

即可,答案对 109+710^9 + 7 取模。

输入格式

第一行,两个整数 n,mn, m

接下来 nn 行,第 ii 行首先一个整数描述 did_i,接着一个长度为 mm01\texttt{01} 字符串表示 SiS_i。如果第 jj 个字符为 11,表示 jSij \in S_i;否则 jSij \notin S_i

输出格式

一行,表示最终答案取模后的值。

4 3
1 010
2 001
3 000
3 001
52
5 4
1 1000
4 0100
1 0000
2 0001
2 0000
128

提示

本题采用 Subtask 捆绑测试。

编号 nn\le mm\le 特殊性质 测试点 分数
00 1010 55 \bf - 181\sim 8 1010
11 300300 1010 9139\sim 13
22 10241024 A\bf A 141914\sim 19 1515
33 10410^4 1717 \bf - 202620\sim 26
44 10510^5 B\bf B 273027\sim 30 1010
55 \bf - 313731\sim 37 4040
  • 特殊性质 A\bf A:保证每个 SiS_i 均不同;
  • 特殊性质 B\bf B:每个 SiS_i 均在 2m2^m 种情况中等概率随机生成,did_i 均在 mm 种情况中等概率随机生成。

对于 100%100\% 的数据,1n1051\le n\le 10^51m171\le m\le 17