题意
两个长度均为 n n n 的排列被认定为为 s i m i l a r similar similar 的条件为:对于任意 [ l , r ] [l,r] [l,r] 区间,两个排列在该区间内的 m e x mex mex 值相同。现给定一个排列,问与其 s i m i l a r similar similar 的排列个数。
由 m e x mex mex 的性质需从 0 0 0 开始,且下一个数字的位置一定是固定的,若到下一数字之间包含了之后的数字,可以证得该数字可以在该区间内的任何位置:如 1 2 4 0 5 3 1\ 2\ 4\ 0\ 5\ 3 1 2 4 0 5 3,在数字 0 , 1 0,1 0,1 之间存在下一数字 2 2 2 ,则数字 2 2 2 可选择 p o s = 2 , 3 pos=2,3 pos=2,3 。此时下一数字 3 3 3 的位置是固定的,但包含了接下来的数字 4 , 5 4,5 4,5 ,因此数字 4 , 5 4,5 4,5 可选择 p o s = 2 , 3 , 5 pos=2,3,5 pos=2,3,5 。
#include <bits/stdc++.h>
#define int long long
using namespace std;
const int N = 2e5 + 10, mod = 1e9 + 7;
int a[N], s[N];
map<int, int> mp;
void solve() {
mp.clear();
int n;
cin >> n;
int pos;
for (int i = 1; i <= n; i++) {
cin >> a[i];
mp[a[i]] = i;
}
int ans = 1, l = mp[0], r = mp[0], res = 1;
for (int i = 0; i < n - 1; i++, res++) {
if (mp[res] >= l && mp[res] <= r) {
int t = r - l + 1 - res;
ans = ans * t % mod;
continue;
} else if (mp[res] < l)
l = mp[res];
else if (mp[res] > r)
r = mp[res];
}
cout << ans << endl;
}
signed main() {
int t = 1;
cin >> t;
while (t--)
solve();
return 0;
}