题目描述
You love array, don't you?
You are given two integer N and M, along with an array B of length N containing pairwise distinct integers. You have to find the number of array A of length N satisfying the follow conditions:
- 1 ≤ A_{i} ≤ M.
- $A_{i} \neq A_{j}$ for all 1 ≤ i < j ≤ N.
- $A_{i} \neq B_{i}$ for all 1 ≤ i ≤ N.
Since the answer can be very large, output it under modulo 10^{9} + 7.
------ Input Format ------
- The first line of the input contains two space-separated integers N and M.
- The second line of the input contains $N separated integers B_{1}, B_{2}, \dots, B_{N} -$ the array B.
------ Output Format ------
Output on a single line the number of satisfactory array modulo 10^{9} + 7.
------ Constraints ------
$1 ≤ N ≤ 2 \cdot 10^{5}$
$1 ≤ M ≤ 3 \cdot 10^{5}$
$1 ≤ B_{i} ≤ 10^{9}$
$B_{i} \neq B_{j}$ for all $1 ≤i < j ≤N$.
------ subtasks ------
Subtask $1$ (30 points): $1 ≤ R ≤ 10\,000$
Subtask $2$ (70 points): $1 ≤ R ≤ 10^{9}$
----- Sample Input 1 ------
3 4
5 1 2
----- Sample Output 1 ------
14
----- explanation 1 ------
All satisfactory arrays are:
- $[1, 2, 3]$
- $[2, 3, 1]$
- $[3, 2, 1]$
- $[1, 2, 4]$
- $[2, 4, 1]$
- $[4, 2, 1]$
- $[1, 3, 4]$
- $[1, 4, 3]$
- $[3, 4, 1]$
- $[4, 3, 1]$
- $[2, 3, 4]$
- $[2, 4, 3]$
- $[3, 2, 4]$
- $[4, 2, 3]$
----- Sample Input 2 ------
2 2
1 3
----- Sample Output 2 ------
1
----- explanation 2 ------
The only satisfactory array is:
- $[2, 1]$
输入格式
见题面
输出格式
见题面