#P8958. 「CGOI-3」残暴圣所

    ID: 7999 Type: RemoteJudge 1000ms 256MiB Tried: 0 Accepted: 0 Difficulty: 5 Uploaded By: Tags>洛谷原创O2优化快速傅里叶变换 FFT快速数论变换 NTT

「CGOI-3」残暴圣所

题目背景

终于打过春二心门的 ac 来到了春三,并决定预测一下残暴圣所(Ferocious Sanctuary)的难度。

题目描述

为了通关残暴圣所,ac 需要在接下来的 2n2n 个时刻进行 nn 次操作。第 ii 次操作需要在时刻 lil_i 按下某个按键,此后一直按住这个按键,直到时刻 rir_i 松开它(li<ril_i<r_i)。在每个时刻,ac 要么按下一个按键,要么松开一个按键,但是可以同时按住多个按键。

ii 次操作形成了一个操作区间 [li,ri][l_i,r_i],满足 lil_i 严格递增。并且,由于残暴圣所的关卡设计,任意两个操作形成的操作区间之间,要么不交,要么包含。

ac 设计了 2n2n 个难度系数 a1,a2,,a2na_1,a_2,\dots,a_{2n}。第 ii 次操作的难度可以用 ali×aria_{l_i}\times a_{r_i} 来评估,而通关残暴圣所的难度即为所有操作的难度之和。

然而,由于 ac 卡在了残暴圣所的第一面,所以他并不知道每个操作的操作区间。在给定 nn{a}\{a\} 的前提下,请你计算对于所有可能的情况,通关残暴圣所的难度之和,对 998244353998244353 取模。

形式化题意:

给定一个长为 2n2n 的数列 a1,a2,,a2na_1,a_2,\dots,a_{2n}

定义“区间组”由 nn 个区间组成,第 ii 个区间为 [li,ri] (1li<ri2n)[l_i,r_i]\ (1\le l_i<r_i\le2n),求所有满足下列条件的区间组的 i=1nali×ari\sum_{i=1}^na_{l_i}\times a_{r_i} 之和对 998244353998244353 取模:

  1. l1,r1,l2,r2,,ln,rnl_1,r_1,l_2,r_2,\dots,l_n,r_n1,2,,2n1,2,\dots,2n 的一个排列。
  2. 1i<n\forall 1\le i<nli<li+1l_i<l_{i+1}
  3. i,j\forall i,j[li,ri][lj,rj]=[l_i,r_i]\cap[l_j,r_j]=\varnothing[li,ri][lj,rj][l_i,r_i]\sube[l_j,r_j][lj,rj][li,ri][l_j,r_j]\sube[l_i,r_i]

输入格式

第一行一个整数 nn,表示区间数。

第二行 2n2n 个整数 aia_i,含义如上所述。

输出格式

一行一个整数,表示答案对 998244353998244353 取模的值。

2
114 514 1919 810
2691692
3
1 1 4 5 1 4
98
8
275272885 418731188 289662326 114331587 192436268 885936831 877490593 508774565 633402863 149033362 995239139 494498006 168828873 138947653 983144753 844326228
349824160

提示

样例说明

对于样例 1,可能的两个操作区间只有两种情况:

  1. [1,2],[3,4][1,2],[3,4],通关难度为 a1a2+a3a4=1612986a_1a_2+a_3a_4=1612986
  2. [1,4],[2,3][1,4],[2,3],通关难度为 a1a4+a2a3=1078706a_1a_4+a_2a_3=1078706

难度之和为 1612986+1078706=26916921612986+1078706=2691692,对 998244353998244353 取模后仍为 26916922691692

以下几种情况是不合法的:

  1. [3,4],[1,2][3,4],[1,2],因为要求 lil_i 严格递增,而 l1l2l_1\ge l_2
  2. [1,1],[2,4][1,1],[2,4],因为要求 li<ril_i<r_i,而 l1r1l_1\ge r_1
  3. [1,3],[2,3][1,3],[2,3],因为要求在每个时刻,要么按下一个按键,要么松开一个按键,而第三个时刻松开了两个按键,第四个时刻没有按下或松开任何一个按键。
  4. [1,3],[2,4][1,3],[2,4],因为要求任意两个操作区间不交或包含,而这两个区间之间有交,并且没有包含关系。

数据范围

对于 10%10\% 的数据,n15n\le15

对于 30%30\% 的数据,n200n\le200

对于 50%50\% 的数据,n3000n\le3000

对于另 5%5\% 的数据,ai=1a_i=1

对于 100%100\% 的数据,1n5×1051\le n\le5\times10^50ai<9982443530\le a_i<998244353