Codeforces Round 833 (Div. 2)
E
Yet Another Array Counting Problem
Codeforces
2300
原题
← DF →
翻译中…

The position of the leftmost maximum on the segment $[l; r]$ of array $x = [x_1, x_2, \ldots, x_n]$ is the smallest integer $i$ such that $l \le i \le r$ and $x_i = \max(x_l, x_{l+1}, \ldots, x_r)$.

翻译中…

You are given an array $a = [a_1, a_2, \ldots, a_n]$ of length $n$. Find the number of integer arrays $b = [b_1, b_2, \ldots, b_n]$ of length $n$ that satisfy the following conditions:

翻译中…
  • $1 \le b_i \le m$ for all $1 \le i \le n$;
  • for all pairs of integers $1 \le l \le r \le n$, the position of the leftmost maximum on the segment $[l; r]$ of the array $b$ is equal to the position of the leftmost maximum on the segment $[l; r]$ of the array $a$.
翻译中…

Since the answer might be very large, print its remainder modulo $10^9+7$.

翻译中…

Input

翻译中…

Each test contains multiple test cases. The first line contains a single integer $t$ ($1 \le t \le 10^3$) — the number of test cases.

翻译中…

The first line of each test case contains two integers $n$ and $m$ ($2 \le n,m \le 2 \cdot 10^5$, $n \cdot m \le 10^6$).

翻译中…

The second line of each test case contains $n$ integers $a_1,a_2,\ldots,a_n$ ($1 \le a_i \le m$) — the array $a$.

翻译中…

It is guaranteed that the sum of $n \cdot m$ over all test cases doesn't exceed $10^6$.

翻译中…

Output

翻译中…

For each test case print one integer — the number of arrays $b$ that satisfy the conditions from the statement, modulo $10^9+7$.

翻译中…

Note

翻译中…

In the first test case, the following $8$ arrays satisfy the conditions from the statement:

翻译中…
  • $[1,2,1]$;
  • $[1,2,2]$;
  • $[1,3,1]$;
  • $[1,3,2]$;
  • $[1,3,3]$;
  • $[2,3,1]$;
  • $[2,3,2]$;
  • $[2,3,3]$.
翻译中…

In the second test case, the following $5$ arrays satisfy the conditions from the statement:

翻译中…
  • $[1,1,1,1]$;
  • $[2,1,1,1]$;
  • $[2,2,1,1]$;
  • $[2,2,2,1]$;
  • $[2,2,2,2]$.
翻译中…

样例

Input #1
4
3 3
1 3 2
4 2
2 2 2 2
6 9
6 9 6 9 6 9
9 100
10 40 20 20 100 60 80 60 60
Output #1
8
5
11880
351025663
InputCopy OutputCopy
题目信息
题号
1748E
时间限制
2 s
内存限制
512 MB
标签
二分
数据结构
分治
动态规划
网络流
数学
树

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