atcoder#ABC297F. [ABC297F] Minimum Bounding Box 2

[ABC297F] Minimum Bounding Box 2

题目描述

H H 行、横 W W 列のグリッドがあります。

このグリッドから一様ランダムに K K 個のマスを選びます。選んだマスを全て含むような(グリッドの軸に辺が平行な)最小の長方形に含まれるマスの個数がスコアとなります。

得られるスコアの期待値を mod 998244353 \text{mod\ }998244353 で求めてください。

有理数 mod 998244353 \text{mod\ }998244353 とは 求める期待値は必ず有理数となることが証明できます。 またこの問題の制約下では、その値を互いに素な 2 2 つの整数 P P , Q Q を用いて PQ \frac{P}{Q} と表したとき、R × Q  P(mod998244353) R\ \times\ Q\ \equiv\ P\pmod{998244353} かつ 0  R < 998244353 0\ \leq\ R\ \lt\ 998244353 を満たす整数 R R がただ一つ存在することが証明できます。この R R を求めてください。

输入格式

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

H H W W K K

输出格式

答えを出力せよ。

题目大意

在一个 HHWW 列的网格图上随机选择 KK 个点。定义当前局面的分数为最小的可以围住这 KK 个点的矩形的面积。

请求出所有局面中分数的期望值,输出时对 998244353998244353 取模。

2 2 2
665496238
10 10 1
1
314 159 2653
639716353

提示

制約

  • 1 H,W  1000 1\leq\ H,W\ \leq\ 1000
  • 1 K  HW 1\leq\ K\ \leq\ HW
  • 入力はすべて整数

Sample Explanation 1

マス (1,1) (1,1) とマス (2,2) (2,2) が選ばれた場合、またはマス (1,2) (1,2) とマス (2,1) (2,1) が選ばれた場合の 2 2 通りではスコアは 4 4 となります。また、それ以外の 4 4 通りではスコアは 2 2 となります。 よって得られるスコアの期待値は $ \frac{4\ \times\ 2\ +\ 2\ \times\ 4}\ {6}\ =\ \frac{8}{3} $ であり、665496238 × 3  8(mod998244353) 665496238\ \times\ 3\ \equiv\ 8\pmod{998244353} なので 665496238 665496238 が答えとなります。