[ARC126F] Affine Sort
题意翻译
给定长度为 $N$ 的正整数序列 $X_1,X_2,\cdots,X_n$。
对于正整数 $K$,$F(K)$ 表示满足以下条件的三元组 $(a,b,c)$ 的个数:
- $c\in[1,K],a,b\in[0,c)$。
- $aX_i+b$ 模 $c$ 单调递增。
求 $\lim\limits_{K\to \infty}\frac{F(K)}{K^3} \bmod 998244353$。
translated by syzf2222
题目描述
[problemUrl]: https://atcoder.jp/contests/arc126/tasks/arc126_f
$ N $ 項からなる正整数列 $ X\ =\ (X_1,\ X_2,\ \ldots,\ X_N) $ が与えられます。
正の整数 $ K $ に対して、整数の組 $ (a,b,c) $ のうちで以下の条件がすべて成り立つものの個数を $ f(K) $ と書くことにします。
- $ 1\leq\ c\ \leq\ K $
- $ 0\leq\ a\ <\ c $ かつ $ 0\leq\ b\ <\ c $
- 各 $ i $ に対して $ aX_i\ +\ b $ を $ c $ で割った余りを $ Y_i $ とするとき、$ Y_1\ <\ Y_2\ <\ \cdots\ <\ Y_N $ が成り立つ。
極限 $ \displaystyle\ \lim_{K\to\infty}\ \frac{f(K)}{K^3} $ が存在することが証明できます。 この値を $ \mod\ 998244353 $ で求めてください(注記参照)。
输入输出格式
输入格式
入力は以下の形式で標準入力から与えられます。
> $ N $ $ X_1 $ $ X_2 $ $ \ldots $ $ X_N $
输出格式
$ \displaystyle\ \lim_{K\to\infty}\ \frac{f(K)}{K^3} $ を $ \mod\ 998244353 $ で出力してください。
输入输出样例
输入样例 #1
3
3 1 2
输出样例 #1
291154603
输入样例 #2
3
5 9 2
输出样例 #2
832860616
输入样例 #3
2
2 3
输出样例 #3
166374059
输入样例 #4
4
4 5 3 2
输出样例 #4
0
说明
### 注記
求める極限は必ず有理数となることが証明できます。またこの問題の制約下では、その値を互いに素な $ 2 $ つの整数 $ P,\ Q $ を用いて $ \frac{P}{Q} $ と表したとき、$ R\times\ Q\equiv\ P\pmod{998244353} $ かつ $ 0\leq\ R\ <\ 998244353 $ を満たす整数 $ R $ がただ一つ存在することが証明できます。この $ R $ を求めてください。
### 制約
- $ 2\leq\ N\leq\ 10^3 $
- $ X_i $ は正の整数で、$ \sum_{i=1}^N\ X_i\ \leq\ 5\times\ 10^5 $ を満たす
- $ i\neq\ j $ ならば $ X_i\neq\ X_j $
### Sample Explanation 1
\- 例えば $ (a,b,c)\ =\ (3,5,7) $ とすると、$ Y_1\ =\ 0 $, $ Y_2\ =\ 1 $, $ Y_3\ =\ 4 $ となり、$ Y_1\ <\ Y_2\ <\ Y_3 $ が成り立ちます。 - $ f(1)\ =\ 0 $, $ f(2)\ =\ 0 $, $ f(3)\ =\ 1 $, $ f(4)\ =\ 2 $, $ f(5)\ =\ 5 $ が成り立ちます。 - $ \displaystyle\ \lim_{K\to\infty}\ \frac{f(K)}{K^3}\ =\ \frac{1}{24} $ が成り立ちます。
### Sample Explanation 2
$ \displaystyle\ \lim_{K\to\infty}\ \frac{f(K)}{K^3}\ =\ \frac{55}{1008} $ が成り立ちます。
### Sample Explanation 3
$ \displaystyle\ \lim_{K\to\infty}\ \frac{f(K)}{K^3}\ =\ \frac{1}{6} $ が成り立ちます。
### Sample Explanation 4
$ \displaystyle\ \lim_{K\to\infty}\ \frac{f(K)}{K^3}\ =\ 0 $ が成り立ちます。