B. Dreamoon Likes Permutations

题意

给出一串 $n$n个数字，定义如果一个数列中 $[1,k]$[1,k]都存在且只出现一次，则它为一个“长度为 $k$k排列”，问如何把给定数列划分成两段，使得两边都为一个排列。

思路

有一段一定为数组 $a$a中最大值 $mx$mx，另一段则是 $n-mx$n−mx，对两种情况予以验证即可。

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef pair<int,int>P;
const double eps = 1e-8;
const int NINF = 0xc0c0c0c0;
const int INF  = 0x3f3f3f3f;
const ll  mod  = 1e9 + 7;
const ll  maxn = 1e6 + 5;
const int N = 2e5 + 5;

int n,a[N],mx,ans_cnt,ans[N][2];
bool vis[N];

bool judge(int x,int y){
	bool ok1=true;
	for(int i=1;i<=x;i++) vis[i]=0;
	for(int i=1;i<=x;i++) vis[a[i]]=1;
	for(int i=1;i<=x;i++) if(!vis[i]) {ok1=false; break;}
	bool ok2=true;
	for(int i=1;i<=y;i++) vis[i]=0;
	for(int i=x+1;i<=n;i++) vis[a[i]]=1;
	for(int i=1;i<=y;i++) if(!vis[i]) {ok2=false; break;}
	return (ok1&&ok2)?true:false;
}

void solve(){
	ans_cnt=0;
	cin>>n; mx=0;
	for(int i=1;i<=n;i++){
		cin>>a[i];
		mx=max(a[i],mx);
	}
	if(judge(n-mx,mx)){
		ans[++ans_cnt][0]=n-mx;
		ans[ans_cnt][1]=mx;
	}
	if(mx*2!=n && judge(mx,n-mx)){
		ans[++ans_cnt][0]=mx;
		ans[ans_cnt][1]=n-mx;
	}
	cout<<ans_cnt<<'\n';
	for(int i=1;i<=ans_cnt;i++){
		cout<<ans[i][0]<<" "<<ans[i][1]<<'\n';
	}
}

int main(){
	ios::sync_with_stdio(false);
	cin.tie(0);
	int T; cin>>T;
	while(T--) solve();
	return 0;
}