#P3647. 「2021 集训队互测」Numbers

「2021 集训队互测」Numbers

题目背景

Z 是一个非常菜的 OIer。

Z 完全不会出题,距离交题的期限还剩一天时,他还是没有任何想法。

因此,他选了一道非常简单的题,他希望参加比赛的所有人都能在这道题上获得 100100 分的好成绩。

题目描述

Z 喜欢数字。小 Z 想到了这样一个游戏:

Znn 个数字 x1,...,xnx_1,...,x_n。在游戏开始前(即时刻 00),这些数字的值都是 00

Z 有一个生成 [1,n][1,n] 间整数的随机数生成器。这个随机数生成器有 nn 个正整数参数 v1,...,vnv_1,...,v_n。记 pi=vij=1nvjp_i=\frac{v_i}{\sum_{j=1}^nv_j},它生成一个随机数时,生成 11 的概率为 p1p_1,...,生成 xx 的概率为 pxp_x,...,生成 nn 的概率为 pnp_n

Z 还有 nn 个大于 11 的正整数 l1,...,lnl_1,...,l_n,其中第 ii 个数 lil_i 的意义是所有对 xix_i 的操作在 modli\bmod l_i 意义下进行。

在游戏中,小 Z 在每个时刻会依次进行如下操作:

  1. 使用随机数生成器生成一个整数。设生成的整数为 kk,小 Z 会将第 kk 个数字加一,并进行取模。即令 xk(xk+1)modlkx_k\leftarrow (x_k+1)\bmod l_k
  2. 将当前所有数字按顺序构成的序列 (x1,x2,...,xn)(x_1,x_2,...,x_n) 记录在纸上。可以认为纸的长度是无限的。

当某个时刻小 Z 记录了全零的序列 (0,0,...,0)(0,0,...,0) 时,小 Z 会意识到所有数字都回到了最开始的状态,此时他会结束这次游戏。

Z 不关心游戏持续的时间,他更想知道纸上会出现多少种不同的序列 (x1,x2,...,xn)(x_1,x_2,...,x_n)。因此他希望求出在游戏结束时,纸上不同的序列 (x1,x2,...,xn)(x_1,x_2,...,x_n) 的种类数的期望值。

Z 完全不会这个问题,因此小 Z 请求您帮助他解决这个问题。

为了简便,小 Z 给出了一个质数 modmod,你只需要回答期望值对 modmod 取模的结果。

同时,小 Z 还给出了 nn 个正整数 d1,d2,...,dnd_1,d_2,...,d_n 。这些正整数满足如下限制:

  1. 对于任意一个 did_i,满足 dili1(modmod)d_i^{l_i}\equiv 1(\bmod mod),且对于所有小于 lil_i 的正整数 ttdit≢1(modmod)d_i^t\not\equiv 1(\bmod mod)
  2. 对于任意一组满足 1in,0xili1\forall 1\leq i\leq n,0\leq x_i\leq l_i-1 的整数序列 (x1,...,xn)(x_1,...,x_n),满足 i=1npidixi1(modmod)\sum_{i=1}^np_id_i^{x_i}\equiv 1(\bmod mod) 当且仅当所有 xi=0x_i=0

最后,小 Z 保证所有 viv_i 随机生成,且答案在模 modmod 下有意义。在满足题目所述条件的情况下,运算中出现值在模 modmod 意义下无法表示的概率足够小,可以认为不用考虑出现值在模 modmod 意义下无法表示的情况。

输入格式

输入第一行包含三个正整数 n,mod,idn,mod,id。其中 idid 表示这个测试点满足 idid 号子任务的限制。在测试数据中,第 ii 个子任务中的所有测试点满足 id=iid=i

接下来 nn 行,第 ii 行包含三个正整数 li,vi,dil_i,v_i,d_i,含义见题目描述。

输出格式

输出一行一个整数,表示期望值对 modmod 取模的结果。

2 1000000007 2
2 1 1000000006
2 1 1000000006
833333342

数据范围与提示

m=i=1nlim=\prod_{i=1}^nl_i

对于所有数据,保证 $1\leq n,m\leq 5\times 10^5,2\leq l_i,1\leq v_i\leq 10^6,1\leq d_i\leq mod-1,9\times 10^8\leq mod\leq 1.05\times 10^9$。数据满足题目描述中给出的所有性质。

本题使用捆绑测试,对于部分子任务有子任务依赖。你需要通过一个子任务中的所有测试点以及这个子任务依赖的所有子任务才能通过这个子任务。

子任务编号 子任务分值 特殊限制 子任务依赖
11 22 n=1n=1
22 88 m8m\leq 8
33 1010 m100m\leq 100 22
44 88 n=2,mod=998244353,m210n=2,mod=998244353,m\leq 2^{10}
55 1010 li=2,m210l_i=2,m\leq 2^{10}
66 1212 m210m\leq 2^{10} 3,4,53,4,5
77 88 m213m\leq 2^{13} 66
88 66 n=2,mod=998244353n=2,mod=998244353 44
99 88 mod=998244353mod=998244353 88
1010 1010 li=2l_i=2 55
1111 1212 li50l_i\leq 50 1010
1212 66 无特殊限制 7,9,117,9,11

小Z在这里立了一个flag:id以D,M和T开头的选手可以在30min之内切掉这道题。