#P10222. [省选联考 2024] 最长待机

[省选联考 2024] 最长待机

题目描述

精灵程序员小 ω\omega 和 小 ℵ\aleph 拥有无限的寿命,因此在写代码之余,它们经常玩一些对抗游戏来打发时间。尽管如此,时间还是太多,于是它们发明了一款专用于消磨时间的游戏:最长待机。

为了了解最长待机的规则,首先要了解精灵们使用的编程语言 Sleep++ 的规则:

  • 程序由 nn 个函数组成,第 i(1≤i≤n)i(1 \le i\le n) 个函数具有种类 eie_i 和子函数编号序列 Qi=(Qi,1,Qi,2,⋯ ,Qi,li)Q_i = (Q_{i,1},Q_{i,2},\cdots,Q_{i,l_i})。QiQ_i 可以为空,此时 lil_i 为 00。

  • nn 以及所有的 eie_i 和 QiQ_i 可以由程序员任意给出,但它们需要满足以下所有条件:

    • n≥1n\ge 1;
    • ∀1≤i≤n\forall 1 \le i \le n,ei∈{0,1}e_i \in \{0, 1\};
    • ∀1≤i≤n\forall 1 \le i \le n,QiQ_i 中元素两两不同且均为 [i+1,n][i + 1, n] 中的整数;
    • ∀2≤j≤n\forall 2 \le j \le n,恰好有一个 Qi(1≤i≤n)Q_i(1 \le i \le n) 包含了 jj。
  • 调用函数 i(1≤i≤n)i(1 \le i \le n) 时,按顺序执行如下操作:

    • 若 ei=0e_i = 0,令变量 rir_i 为 11;否则程序员需要立即为 rir_i 输入一个正整数值。
    • 若 QiQ_i 为空,程序等待 rir_i 秒;否则重复以下操作 rir_i 次:
      • 按顺序调用编号为 Qi,1,Qi,2,⋯ ,Qi,liQ_{i,1},Q_{i,2},\cdots,Q_{i,l_i} 的函数。
  • 若一个种类为 11 的函数 jj 被调用多次,则其每次调用都需要输入 rjr_j。

  • 我们认为,在函数调用中,除了“等待 rr 秒”之外的操作不消耗任何时间,即函数调用、运行和输入都在瞬间完成。因此,一个时刻内程序员可能输入多个数。

可以证明,调用任意一个 Sleep++ 程序的任意一个函数,无论如何设定输入,消耗的时间总是有限的。

“最长待机”的游戏规则如下:

  • 小 ω\omega 和 小 ℵ\aleph 准备好各自的 Sleep++ 程序并选择各自程序中的一个函数。它们互相知晓对方程序的结构以及选择的函数。

  • 在时刻 00,小 ω\omega 和 小 ℵ\aleph 同时调用自己选择的函数,游戏开始。

  • 在时刻 tt(t≥0t \ge 0),双方可以看到对方在时刻 00 至 (t−1)(t - 1) 输入的所有数字,并相应调整自己在时刻 tt 输入的数字,但双方无法得知对方在时刻 tt 输入的数字。

  • 函数调用先结束的一方输掉游戏,另一方胜利。两个调用同时结束算作平局。

小 ω\omega 和 小 ℵ\aleph 都是绝顶聪明的,在它们眼中,如果有一方存在必胜策略,那么这局游戏是不公平的。换言之,双方都不存在必胜策略的游戏是公平的。

小 ω\omega 写了一个 nn 个函数的 Sleep++ 程序并进行了 mm 次操作,操作有以下两种:

  • 操作一:给出 kk,将 eke_k 修改为 (1−ek)(1 - e_k);
  • 操作二:给出 kk,与小 ℵ\aleph 玩一局“最长待机”,开始时小 ω\omega 会调用自己的函数 kk。

小 ℵ\aleph 信奉极简主义,它希望对于每一局游戏设计出函数个数最少的程序,使得选择其中某个函数能让这局游戏是公平的。你能帮它求出最少所需的函数个数吗?

可以证明,小 ℵ\aleph 总是能设计一个程序并选择其中一个函数,使得游戏是公平的。

输入格式

输入的第一行包含两个正整数 n,mn,m,表示小 ω\omega 的程序中函数的个数以及操作次数。

接下来 nn 行,第 ii 行若干个整数,描述小 ω\omega 程序中的函数 ii:

  • 前两个整数 ei,lie_i, l_i 表示函数种类和子函数编号序列长度;
  • 接下来 lil_i 个整数 Qi,1,Qi,2,⋯ ,Qi,liQ_{i,1},Q_{i,2},\cdots,Q_{i,l_i} 描述子函数编号序列。

接下来 mm 行,第 jj 行两个整数 oj,kjo_j, k_j 描述一次操作,其中 oj=1o_j = 1 表示操作一,oj=2o_j = 2 表示操作二。

输出格式

对于每个操作二输出一行一个整数,表示小 ℵ\aleph 的程序中最少所需的函数个数。

3 6
0 2 2 3
0 0
0 0
2 1
1 3
2 1
1 3
1 2
2 1
3
3
1

提示

【样例 1 解释】

  • 对于前两次游戏,小 ℵ\aleph 可以给出与小 ω\omega 完全一致的程序并在游戏开始时调用函数 11。可以证明不存在函数个数更少的方案。

  • 对于第三次游戏,小 ℵ\aleph 可以给出一个仅包含一个种类为 11 的函数的程序,并在游戏开始时调用函数 11。

    • 在时刻 00,小 ω\omega 输入其程序中的 r2r_2,小 ℵ\aleph 输入其程序中的 r1r_1。
      • 注意:rr 变量在小 ω\omega 和小 ℵ\aleph 的程序之间是独立的,不会互相影响。
    • 输入完成后,小 ω\omega 的程序在时刻 (r2+1)(r_2 +1) 结束,小 ℵ\aleph 的程序在时刻 r1r_1 结束。
    • 由于两人在时刻 00 互不知道对方的决策,不能保证 (r2+1)(r_2 + 1) 和 r1r_1 的大小关系,故双方均不存在必胜策略,这局游戏是公平的。

【样例 2】

见附件中的 sleep2.in/ans。

该组数据满足特殊性质 AD。

【样例 3】

见附件中的 sleep3.in/ans。

该组数据满足特殊性质 BD。

【样例 4】

见附件中的 sleep4.in/ans。

该组数据满足特殊性质 D。

【样例 5】

见附件中的 sleep5.in/ans。

该组数据满足特殊性质 C。

【子任务】

对于所有测试数据,

  • 1≤n≤5×1051 \le n \le 5\times 10^5,1≤m≤2×1051 \le m \le 2\times 10^5;
  • ∀1≤i≤n\forall 1 \le i \le n,ei∈{0,1}e_i\in \{0, 1\},0≤li<n0 \le l_i <n;
  • ∀1≤i≤n,1≤j≤li\forall 1 \le i \le n,1 \le j \le l_i,i<Qi,j≤ni < Q_{i,j} \le n;
  • ∀1≤i≤n,1≤p<q≤li\forall 1 \le i \le n, 1 \le p < q \le l_i,Qi,p≠Qi,qQ_{i,p}\neq Q_{i,q};
  • ∀2≤j≤n\forall 2 \le j \le n,恰好有一个 Qi(1≤i≤n)Q_i(1 \le i \le n) 包含了 jj;
  • ∀1≤j≤m\forall 1 \le j \le m,1≤oj≤21 \le o_j \le 2,1≤kj≤n1 \le k_j \le n。
测试点编号 n≤n \le m≤m\le 特殊性质
1∼21\sim 2 33 2424 无
33 8080 400400 AD
44 BD
5∼65\sim 6 D
77 3×1053\times 10^5 10510^5 AD
88 BD
9∼109\sim 10 D
1111 A
1212 BC
1313 B
14∼1514\sim 15 C
16∼1716\sim 17 无
18∼1918\sim 19 5×1055\times 10^5 2×1052\times 10^5 A
2020 BC
2121 B
22∼2322\sim 23 C
24∼2524\sim 25 无

特殊性质 A:保证

  • 任意时刻 e1e_1 均为 00;
  • ∀2≤i≤n\forall 2\le i \le n,li≤1l_i \le 1;
  • 操作二的 kk 均为 11。

特殊性质 B:保证

  • 操作二的 kk 满足当时的 eke_k 为 11。

特殊性质 C:保证

  • ∀2≤i≤n\forall 2\le i \le n,i∈Q⌊i2⌋i \in Q_{\lfloor \frac{i}{2}\rfloor};
  • ∀1≤i≤n\forall 1 \le i \le n,序列 QiQ_i 单调递增。

特殊性质 D:保证

  • 操作二不超过 1010 个;
  • 操作二的 kk 均为 11。