#P6595. [YsOI2020] 计划

    ID: 3805 Type: RemoteJudge 2000ms 500MiB Tried: 0 Accepted: 0 Difficulty: 6 Uploaded By: Tags>数学Special JudgeO2优化容斥期望

[YsOI2020] 计划

题目背景

相信大家已经知道了这样几个事实:

  • Ysuperman 是很有钱。

  • Ysuperman 一直都很善于制定计划。

  • Ysuperman 管理着一个幼儿园。

  • Ysuperman 收藏了一些零食。

  • 每一天,TA 可能会心血来潮地想要有计划地吃掉 TA 的零食。

题目描述

Ysuperman 现在有 nn 份零食,对每份零食而言,TA 每一天有 PP 的概率对 TA 的这份零食做出计划,TA 每做出一份计划后的 TT 天后,TA 将会将这一份零食给吃掉。需要特殊说明的是,如果在Ysuperman制定计划前已经对该份零食做出计划,则实际会按照第一份计划的时间将零食吃掉。

不幸的是,幼儿园内贪吃的小朋友会破坏这一计划。 幼儿园内有 mm 个小朋友,TA 们觊觎着 Ysuperman 的零食。对于每份零食,每天会有 pip_i 的概率被第 ii 个小朋友偷吃。如果这份零食在某位小朋友偷吃之前被吃掉了,那么相应地,这位小朋友就偷吃不了。如果有一份零食在计划完成前被偷吃,那么,相关计划就无法实现了。

现在 Ysuperman 要对 TA 的计划进行风险评估,TA 悬赏了 114514pts114514pts ,这个项目在经过层层转包后来到了您的手上,现在已经算出了各概率在模意义下的值。经过各方协商,您如果解决了这个问题,您可以获得 100pts 100pts 。您需要告诉 TA Ysuperman 能期望吃掉多少份零食,以及 Ysuperman 的零食期望在多少天后被吃完

如果一份零食被某位小朋友吃掉了,那么这份零食就不属于Ysuperman了。

需要注意的是,Ysuperman每天制定计划的时间在小朋友偷吃糖果之前

Ysuperman 认为浮点数的精度误差太大,所以你只需要输出答案998244353998244353 取模的结果。

输入格式

第一行包括三个正整数 n,m,Tn,m,T ,含义如题目所述。

第二行包括一个正整数 P P ,表示 PP998244353998244353 取模后的结果。

第三行包括 mm 个正整数 p1,p2,,pmp_1,p_2,\cdots,p_m ,分别表示 pip_i998244353998244353 取模后的结果。

输出格式

一行,两个自然数。 分别表示 Ysuperman 能期望吃掉多少份零食,以及 Ysuperman 的零食期望在多少天后被吃完,您需要输出答案对 998244353998244353 取模后的结果。

5 8 11
13482572 
299473306 598946612 898419918 199648871 499122177 798595483 99824436 1
0 1
3 5 0
1
1 1 1 1 1
3 1
2 2 0
499122177
499122177 499122177
855638018 507044752
11 4 514
1919810
1919810 1919810 1919810 1919810
550831570 75142974
100000 20 227
2020
2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019
808786679 861511854

提示

样例说明

样例说明 11:

在取模前的其中一种可能情况为:

5 8 11  
0.1  
0.1 0.2 0.3 0.4 0.5 0.6 0.7 1

该情况下,小朋友会在第一天中偷吃完所有的零食。

样例说明 22:

在取模前的一种可能情况为:

3 5 0  
1  
1 1 1 1 1

该情况下,Ysuperman 会在第一天计划并吃完所有的零食。

样例说明 33:

在取模前的一种可能的情况为:

2 2 0  
0.5  
0.5 0.5

在此情况下,答案为 87\dfrac{8}{7}8063\dfrac{80}{63}

由于解答过程较为复杂,所以请聪明的读者自行思考。


数据范围

如果您只答对了某个测试点两问中的任意一问,您可以获得这个测试点 25% 25\% 的分数。

以下是致敬 NOI\text{NOI} 的部分分表格: | 测试点编号 | nn | mm | TT | PP | 特殊性质 | | :-----------: | -----------: | -----------: | -----------: | -----------: | :-----------: | | 1 | =1=1 | =1=1 | =0=0 | 无其它约束 | 无 | | 2 | =1=1 | =10=10 | =1=1 | =1=1 | 11 | | 3 | =1=1 | 100\le100 | =227=227 | =1=1 | 22 | | 4 | 20\le 20 | 1000\le 1000 | =4=4 | 无其它约束 | 无 | | 5 | 100\le 100 | 1000\le 1000 | =4=4 | 无其它约束 | 无 | | 6 | 1000\le 1000 | 1000\le 1000 | =227=227 | =0=0 | 11 | | 7 | 100000\le 100000 | 100000\le 100000 | =233=233 | =1=1 | 22 | | 8 | 1919820\le1919820 | =114514=114514 | =2333=2333 | =0=0 | 22 | | 9 | 1919820\le1919820 | =114514=114514 | =2333=2333 | =0=0 | 22 | | 10 | =100000=100000 | =100000=100000 | =3=3 | 无其它约束 | 22 | | 11 | =114514=114514 | =114514=114514 | =3=3 | 无其它约束 | 无 | | 12 | 1919820\le1919820 | =114514=114514 | =0=0 | 无其它约束 | 22 | | 13 | 1919820\le 1919820 | =1=1 | 227\le 227 | 无其它约束 | 无 | | 14 | 1919820\le 1919820 | 114514\le114514 | 227\le 227 | 无其它约束 | 22 | | 15 | 1919820\le 1919820 | =1=1 | 500\le 500 | =1=1 | 无 | | 16 | 1919820\le 1919820 | 114514\le 114514 | 500\le 500 | =1=1 | 无 | | 17 | 1919820\le 1919820 | 114514\le 114514 | 500\le 500 | =1=1 | 无 | | 18 | 1919820\le 1919820 | 114514\le 114514 | =0=0 | 无其它约束 | 无 | | 19 | 1919820\le 1919820 | 114514\le 114514 | =0=0 | 无其它约束 | 无 | | 20 | 100000\le 100000 | 100000\le 100000 | 500\le 500 | 无其它约束 | 22 | | 21 | 100000\le 100000 | 100000\le 100000 | 500\le 500 | 无其它约束 | 无 | | 22 | 100000\le 100000 | 100000\le 100000 | 500\le 500 | 无其它约束 | 无 | | 23 | 1919820\le 1919820 | 114514\le 114514 | 2333\le 2333 | 无其它约束 | 无 | | 24 | 1919820\le 1919820 | 114514\le 114514 | 2333\le 2333 | 无其它约束 | 无 | | 25 | 1919820\le 1919820 | 114514\le 114514 | 2333\le 2333 | 无其它约束 | 22 |

对于 100%100\% 的数据,满足 $ 1\le n\le 1919820,1\le m \le 114514,0\le T \le 2333,0\le P< 998244353,1\le p_i<998244353$

特殊性质 11:存在一个 ii 使得pi=1p_i=1

特殊性质 22:所有的 pip_i 都相等。