AtCoder Regular Contest 126
F
Affine Sort
AtCoder
⌀ 3488
原题
← E→
翻译中…

Problem Statement

翻译中…

Given is a sequence of $N$ positive integers $X = (X_1, X_2, \ldots, X_N)$.

翻译中…

For a positive integer $K$, let $f(K)$ be the number of triples of integers $(a,b,c)$ that satisfy all of the following conditions.

翻译中…
  • $1\leq c \leq K$.
  • $0\leq a < c$ and $0\leq b < c$.
  • For each $i$, let $Y_i$ be the remainder when $aX_i + b$ is divided by $c$. Then, $Y_1 < Y_2 < \cdots < Y_N$ holds.
翻译中…

It can be proved that the limit $\displaystyle \lim_{K\to\infty} \frac{f(K)}{K^3}$ exists. Find this value modulo $998244353$ (see Notes).

翻译中…

Note

翻译中…

We can prove that the limit in question is always a rational number. Additionally, under the Constraints of this problem, when that number is represented as $\frac{P}{Q}$ using two coprime integers $P$ and $Q$, we can prove that there is a unique integer $R$ such that $R\times Q\equiv P\pmod{998244353}$ and $0\leq R < 998244353$. Find this $R$.

翻译中…

Constraints

翻译中…
  • $2\leq N\leq 10^3$
  • $X_i$ are positive integers such that $\sum_{i=1}^N X_i \leq 5\times 10^5$.
  • $X_i\neq X_j$ if $i\neq j$.
翻译中…

Input

翻译中…

Input is given from Standard Input in the following format:

翻译中…

N
X_1 X_2 \ldots X_N

翻译中…

Output

翻译中…

Print $\displaystyle \lim_{K\to\infty} \frac{f(K)}{K^3}$ modulo $998244353$.

翻译中…

样例

Input #1
3
3 1 2
Output #1
291154603
- For example, when $(a,b,c) = (3,5,7)$, we have $Y_1 = 0$, $Y_2 = 1$, $Y_3 = 4$, which satisfy $Y_1 < Y_2 < Y_3$. - We have $f(1) = 0$, $f(2) = 0$, $f(3) = 1$, $f(4) = 2$, $f(5) = 5$. - We have $\displaystyle \lim_{K\to\infty} \frac{f(K)}{K^3} = \frac{1}{24}$.
Input #2
3
5 9 2
Output #2
832860616
We have $\displaystyle \lim_{K\to\infty} \frac{f(K)}{K^3} = \frac{55}{1008}$ .
Input #3
2
2 3
Output #3
166374059
We have $\displaystyle \lim_{K\to\infty} \frac{f(K)}{K^3} = \frac{1}{6}$.
Input #4
4
4 5 3 2
Output #4
0
We have $\displaystyle \lim_{K\to\infty} \frac{f(K)}{K^3} = 0$.
题目信息
题号
arc126_f
时间限制
5 s
内存限制
1024 MB

题面与样例版权归 AtCoder 及出题人所有;中文翻译由 AI 生成(CI 管线),如有出入请以原文为准。