#P7483. 50 年后的我们

    ID: 6617 Type: RemoteJudge 1000ms 500MiB Tried: 0 Accepted: 0 Difficulty: 6 Uploaded By: Tags>动态规划,dpO2优化动态规划优化组合数学二项式定理容斥

50 年后的我们

题目背景

YSGHYYDS

题目描述

YSGH 给一场比赛出了 nn 道题,第 ii 道题的难度为 did_i,价值为 cic_i

mm 个可能参赛的选手。第 ii 个选手有 pip_i 的概率会参加比赛。若第 ii 个选手参加比赛,则该选手会恰好通过难度在 lil_irir_i 之间(包括 lil_irir_i)的所有题目。

比赛组委会最终给 YSGH 的奖金为所有题中,有选手通过的题的价值之和的 kk 次幂。特别地,我们定义 0000 次幂等于 11

YSGH 想让你帮他求出奖金的期望。

P=998244353P=998244353,设一个有理数 xx 表示成最简分数的形式为 ab\frac{a}{b},若 gcd(b,P)=1\gcd(b,P)=1,则存在唯一的整数 cc0c<P0 \le c < P)满足 bca(modP)b c \equiv a \pmod{P},我们称 xx 在模 PP 意义下的值为 cc

可以证明,在仅给出 pip_iPP 意义下的值时,答案仍然在模 PP 意义下唯一存在。

输入格式

第一行,三个整数 n,m,kn,m,k,表示题目数量,可能参赛的人数,以及计算奖金需要的参数。

接下来 nn 行,第 ii 行两个整数 di,cid_i, c_i,分别表示第 ii 道题的难度和价值。

接下来 mm 行,第 ii 行三个整数 li,ri,pil_i, r_i, p_i,分别表示第 ii 个选手通过的题的难度区间,以及来参加比赛的概率在模 PP 意义下的值。

输出格式

一行,一个整数,表示奖金的期望在模 PP 意义下的值。

5 2 1
346 412
464 685
895 544
976 322
612 121
346 712 2
850 932 3

4068

5 2 2
346 412
464 685
895 544
976 322
612 121
233 749 798465123
698 985 151455772

105133973

提示

【样例解释 #1】

该样例满足特殊性质 A。

第一个人若参赛,可以通过第 1,2,51,2,5 题。

第二个人若参赛,可以通过第 33 题。

所以 YSGH 的奖金期望为 $(412+685+121)\times 2\times (1-3)+544\times (1-2)\times 3+(412+685+121+544)\times 2\times 3\equiv 4068\pmod{P}$。


【数据范围】

本题采用捆绑测试。

对于 100%100\% 的数据,1n4001\le n\le 4000k4000\le k\le 4001m1051\le m\le 10^51di1091\le d_i\le 10^91liri1091\le l_i\le r_i\le 10^90ci,pi<9982443530\le c_i,p_i < 998244353

各 Subtask 的特殊限制与分值如下:

测试包编号 nn\le kk\le 其他限制 分值
11 400400 11 特殊性质 A 55
22 66
33 22 特殊性质 A 77
44 88
66 1818 100100 特殊性质 A 33
55 1515
77 100100 特殊性质 A 99
88 1616
99 400400 特殊性质 A 1010
1010 2121

特殊性质 A:对于任意 1i<jM1\le i < j\le M,都有 [li,ri][lj,rj]=[l_i,r_i]\cap [l_j,r_j]=\varnothing