#ATarc126f. [ARC126F] Affine Sort

[ARC126F] Affine Sort

题目描述

给定一个由 NN 项组成的正整数序列 X=(X1,X2,,XN)X = (X_1, X_2, \ldots, X_N)

对于正整数 KK,记满足以下所有条件的整数三元组 (a,b,c)(a, b, c) 的个数为 f(K)f(K)

  • 1cK1 \leq c \leq K
  • 0a<c0 \leq a < c0b<c0 \leq b < c
  • 对于每个 ii,令 YiY_iaXi+baX_i + b 除以 cc 的余数,当且仅当 Y1<Y2<<YNY_1 < Y_2 < \cdots < Y_N 时成立。

可以证明极限 limKf(K)K3\displaystyle \lim_{K \to \infty} \frac{f(K)}{K^3} 存在。请计算该值对 998244353998244353 取模的结果(见注释)。

输入格式

输入通过标准输入按以下格式给出。

NN X1X_1 X2X_2 \ldots XNX_N

输出格式

输出 limKf(K)K3\displaystyle \lim_{K \to \infty} \frac{f(K)}{K^3}998244353998244353 取模的结果。

样例 1

输入

3
3 1 2

输出

291154603

样例 2

输入

3
5 9 2

输出

832860616

样例 3

输入

2
2 3

输出

166374059

样例 4

输入

4
4 5 3 2

输出

0

说明/提示

注释

可以证明所求极限一定是有理数。在本题的约束下,若用互质的两个整数 P,QP, Q 表示该值为 PQ\frac{P}{Q},则一定存在唯一的整数 RR 满足 R×QP(mod998244353)R \times Q \equiv P \pmod{998244353}0R<9982443530 \leq R < 998244353。请输出这个 RR

约束条件

  • 2N1032 \leq N \leq 10^3
  • XiX_i 是正整数,且 i=1NXi5×105\sum_{i=1}^N X_i \leq 5 \times 10^5
  • iji \neq j,则 XiXjX_i \neq X_j

样例解释 1

  • 例如当 (a,b,c)=(3,5,7)(a, b, c) = (3, 5, 7) 时,Y1=0Y_1 = 0Y2=1Y_2 = 1Y3=4Y_3 = 4,满足 Y1<Y2<Y3Y_1 < Y_2 < Y_3
  • f(1)=0f(1) = 0f(2)=0f(2) = 0f(3)=1f(3) = 1f(4)=2f(4) = 2f(5)=5f(5) = 5
  • $\displaystyle \lim\_{K \to \infty} \frac{f(K)}{K^3} = \frac{1}{24}$。

样例解释 2

$\displaystyle \lim\_{K \to \infty} \frac{f(K)}{K^3} = \frac{55}{1008}$。

样例解释 3

$\displaystyle \lim\_{K \to \infty} \frac{f(K)}{K^3} = \frac{1}{6}$。

样例解释 4

$\displaystyle \lim\_{K \to \infty} \frac{f(K)}{K^3} = 0$。

由 ChatGPT 4.1 翻译