Codeforces Round 932 (Div. 2)----＞B. Informatics in MAC

思路全部写在注释里了，代码有点冗余，但是自认为好理解点

代码：

#include <iostream>
#include<cstring>
#include<algorithm>
#include<vector>
#include<cmath>
#include<queue>
#include<set>
using namespace std;

const int N=2e5+10,M=1e9+10;
typedef  long long ll;
typedef pair<int,int> pii;

int arr[N];

void Solved(){
    int n;
    cin>>n;

    //判断是否全部相等，全部相同时可以以每一个元素单独划分区间
    int flag1=0;

    //用set来求最小未出现元素（mex）
    set<int> s;

    for(int i=1;i<=n;i++) {
        cin>>arr[i];
        s.insert(arr[i]);

        //判断是否相等
        if(arr[i]!=arr[1]) flag1=1;
    }

    //求mex
    int mex=-1;
    for(int i=0;i<=n;i++){
        if(!s.count(i)){
            mex=i;
            break;
        }
    }

    //特判全部相等和mex==0的情况
    //mex==0说明对于整个数组来说都没有出现0，那么当然我们每个元素划分时，他们的mex也都等于0
    if(mex==0||flag1==0) {

        cout<<n<<endl;
        for(int i=1;i<=n;i++) cout<<i<<" "<<i<<endl;
        return;
    }

    s.clear();

    //当我们确定了整个数组的mex的值时，意思是说在整个数组中都没有出现mex
    //那么我们以这个mex为突破口，当一个子数组中，拥有所有小于mex的元素时它的mex就是整个数组的mex
    //举个例子：
    //     0 1 2 1 2 0 4 ----->整个数组的mex是3，那么子数组[0,1,2]或者[0,1,2,1,2]的mex都是 3.
    //所以我们完全可以只差分两个子数组例如：只要两个子数组中都至少含有0，1，2即可。


    //找第一个含有全部小于mex的区间分界线

    int st=1,ed=-1;
    for(int i=1;i<=n;i++){

        if(arr[i]<mex){
            s.insert(arr[i]);
        }

        if(s.size()==mex&&!s.empty()){
            ed=i;
            break;
        }
    }

    //判断第二个子数组中是否也含有小于mex的所有元素，如果有则可以分成两个区间，如果没有则说明差分不了。
    int flag=0;
    s.clear();
    for(int i=ed+1;i<=n;i++){
        if(arr[i]<mex){
            s.insert(arr[i]);
        }

        if(s.size()==mex&&!s.empty()){
            flag=1;
            break;
        }
    }

    if(flag==1) {
        cout<<2<<endl;
        cout<<st<<" "<<ed<<endl;
        cout<<ed + 1<<" "<<n<<endl;
    }else{
        cout<<-1<<endl;
    }
}

int main()
{
    int t;
    cin>>t;
    while(t--) {
        Solved();
    }
    return 0;
}