#L4827. 「联合省选 2025」封印

「联合省选 2025」封印

题目描述

在一次探险中,小 H 发现了一个古老的封印。封印的本体是一个长度为 nn 的序列 A=[a1,a2,,an]A = [a_1, a_2, \ldots, a_n]。初始,每个元素都是 11mm 间的正整数。

A|A| 表示序列 AA 的长度,小 H 可以对序列进行以下修改:

  1. 选择序列 AA 的某个严格前缀最大值元素 asa_s,即选择 1sA1 \leq s \leq |A| 满足 1j<s\forall 1 \leq j < sas>aja_s > a_j,特别地,a1a_1 总是序列 AA 的严格前缀最大值;

  2. as1a_s \neq 1,将 (as1)(a_s - 1) 插入序列 AA 的尾端;

  3. 删去序列 AA 的前 ss 个元素。

考虑如下例子:在 A=[1,3,2,3,4]A = [1, 3, 2, 3, 4] 时,

  • 小 H 可以选择 s=1s = 1,此时修改后的序列变为 [3,2,3,4][3, 2, 3, 4]

  • 小 H 可以选择 s=2s = 2,此时修改后的序列变为 [2,3,4,2][2, 3, 4, 2]

  • 小 H 不能选择 s=4s = 4,因为 a2=a4=3a_2 = a_4 = 3,这意味着 a4a_4 并非严格前缀最大值。

小 H 可以进行任意多次修改操作,也可以不进行任何修改。为了解开封印,小 H 想知道:通过以上修改操作,他可以得到多少种不同的非空序列。

认为两个序列 A=[a1,,an]A = [a_1, \ldots, a_n]B=[b1,,bm]B = [b_1, \ldots, b_m] 不同,当且仅当 nmn \neq m1iminn,m\exists 1 \leq i \leq \min{n, m}aibia_i \neq b_i

由于答案可能很大,你只需告诉小 H 答案对 998,244,353998,244,353 取模后的结果。

输入格式

从文件 seal.in 中读入数据。

本题有多组测试数据。输入的第一行两个整数 cc, TT,分别表示测试点编号和测试数据组数,接下来输入每组测试数据。样例满足 c=0c = 0

对于每组测试数据,第一行两个整数 nn, mm,分别表示序列长度与值域,第二行 nn 个整数 a1,a2,,ana_1, a_2, \ldots, a_n,描述序列 AA

输出格式

输出到文件 seal.out 中。

对于每组测试数据输出一行一个整数,表示通过修改操作可以得到的非空序列个数,对 998,244,353998,244,353 取模。

样例 1

输入:

0 4
3 2
1 2 1
4 3
3 1 2 1
5 4
1 3 2 3 4
7 5
4 4 5 2 3 3 1

输出:

4
7
20
59

该组样例共有 44 组测试数据。

  • 对于第一组测试数据,可以通过修改得到的非空序列有 [1,2,1][1, 2, 1][2,1][2, 1][1,1][1, 1][1][1]

  • 对于第二组测试数据,可以通过修改操作得到的非空序列有 [3,1,2,1][3, 1, 2, 1][1,2,1,2][1, 2, 1, 2][2,1,2][2, 1, 2][1,2,1][1, 2, 1][2,1][2, 1][1,1][1, 1][1][1]

样例 2

输入:

0 2
11 10
8 8 8 9 9 8 8 9 9 9 8
12 2500
1529 1470 1361 1416 1492 1503 1641 1868 1829 1959 2052 2105

输出:

694
4961744

样例 3

见选手目录下的 seal/seal3.in 与 seal/seal3.ans。

该组样例满足测试点 353 \sim 5 的限制。

样例 4

见选手目录下的 seal/seal4.in 与 seal/seal4.ans。

该组样例满足测试点 1010 的限制。

样例 5

见选手目录下的 seal/seal5.in 与 seal/seal5.ans。

该组样例满足测试点 111411 \sim 14 的限制。

样例 6

见选手目录下的 seal/seal6.in 与 seal/seal6.ans。

该组样例满足测试点 1515 的限制。

样例 7

见选手目录下的 seal/seal7.in 与 seal/seal7.ans。

该组样例满足测试点 171917 \sim 19 的限制。

样例 8

见选手目录下的 seal/seal8.in 与 seal/seal8.ans。

该组样例满足测试点 222522 \sim 25 的限制。

子任务

对于所有测试点,

  • 1T101 \leq T \leq 10

  • 1n,m25001 \leq n, m \leq 2500

  • 1in\forall 1 \leq i \leq n1aim1 \leq a_i \leq m

测试点编号 nn \leq mm \leq 特殊性质
1,2 10
3~5 18 70
6 A
7,8 AB
9 70 A
10 AB
11~14
15 300 A
16 AB
17~19
20 2500 A
21 AB
22~25
  • 特殊性质 A:1i<jn\forall 1 \leq i < j \leq naiaja_i \neq a_j

  • 特殊性质 B:1i<n\forall 1 \leq i < nai<ai+1a_i < a_{i+1}