atcoder#ABC226H. [ABC226H] Random Kth Max

[ABC226H] Random Kth Max

题目描述

N N 個の連続確率変数 X1,X2,,XN X_1,X_2,\dots,X_N があり、 Xi X_i [ Li, Ri ] \lbrack\ L_i,\ R_i\ \rbrack の範囲を取る連続一様分布に従います。
N N 個の確率変数のうち大きい方から K K 番目の値の期待値を E E とします。注記に述べるように E mod 998244353 E\ \bmod\ {998244353} を出力してください。

输入格式

入力は以下の形式で標準入力から与えられる。

N N K K L1 L_1 R1 R_1 L2 L_2 R2 R_2 \vdots LN L_N RN R_N

输出格式

E mod 998244353 E\ \bmod\ {998244353} を出力せよ。

题目大意

nn 个连续随机变量 X1,X2,,XnX_1, X_2, \dots, X_nXiX_i[li,ri][l_i, r_i] 上连续均匀分布。令 EE 为这 nn 个变量的第 kk 大值的期望,请求得 EE 在模 998244353998244353 意义下的值。

在本题的限制下,我们可以证明 EE 总能被表示为 p/qp / q 的形式,其中 p,qp, q<998244353< 998244353 的非负整数,且 qq 不为 00。你需要输出的即为一个 <998244353< 998244353 的非负整数 rr,满足 qrp(mod998244353)qr \equiv p \pmod{998244353}

$1\le n\le 50,\ 1\le k\le n, \ 0\le l_i < r_i \le 100$,任意 li,ril_i, r_i 为整数。

1 1
0 2
1
2 2
0 2
1 3
707089751
10 5
35 48
44 64
47 59
39 97
36 37
4 91
38 82
20 84
38 50
39 69
810056397

提示

注記

この問題で E E は必ず有理数になることが証明できます。また、この問題の制約下では、E E を既約分数 yx \frac{y}{x} で表したときに x x 998244353 998244353 で割り切れないことが保証されます。
このとき xz  y (mod998244353) xz\ \equiv\ y\ \pmod{998244353} を満たすような 0 0 以上 998244352 998244352 以下の整数 z z が一意に定まります。この z z E mod 998244353 E\ \bmod\ {998244353} として出力してください。

制約

  • 1  N  50 1\ \leq\ N\ \leq\ 50
  • 1  K  N 1\ \leq\ K\ \leq\ N
  • 0  Li < Ri  100 0\ \leq\ L_i\ \lt\ R_i\ \leq\ 100
  • 入力はすべて整数である。

Sample Explanation 1

[ 0, 2 ] \lbrack\ 0,\ 2\ \rbrack 上の連続一様分布に従う確率変数の値の期待値が求める答えです。よって 1 1 を出力します。

Sample Explanation 2

答えを有理数で表すと 2324 \frac{23}{24} になります。$ 707089751\ \times\ 24\ \equiv\ 23\ \pmod{998244353} $ なので 707089751 707089751 を出力します。