构造——cf1214E

首先定义三元组（2*i-1,2*i,d），将n个三元组按d降序排列，然后取每个三元组的2*i-1连在一起，构成一条长为n-1的链

然后降序枚举每个三元组，把对应的2*i在链上合法的位置接上， 能保证一定有解

#include<bits/stdc++.h>
using namespace std;
#define N 200005
struct Node{int a,b,d;}p[N];
int cmp(Node a,Node b){return a.d>b.d;}

int n;
vector<pair<int,int> >ans;
int id[N],cnt;

int main(){
    cin>>n;
    for(int i=;i<=n;i++){
        p[i].a=*i-,p[i].b=*i;
        cin>>p[i].d;
    }
    sort(p+,p++n,cmp);

    for(int i=;i<n;i++){
        int u=p[i].a,v=p[i+].a;
        ans.push_back(make_pair(u,v));
        id[i]=u;
    }
    id[n]=p[n].a;
    cnt=n;

    for(int i=;i<=n;i++){
        int len=cnt-i;//当前最长的长度
        if(p[i].d==len+){//需要接在末尾
            int u=id[cnt],v=p[i].b;
            ans.push_back(make_pair(u,v));
            id[++cnt]=v;
        }
        else {//不用接在末尾
            int u=id[i+p[i].d-],v=p[i].b;
            ans.push_back(make_pair(u,v));
        }
    }

    for(int i=;i<ans.size();i++)
        cout<<ans[i].first<<" "<<ans[i].second<<'\n';
}