构造——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=1;i<=n;i++){
        p[i].a=2*i-1,p[i].b=2*i;
        cin>>p[i].d;
    }
    sort(p+1,p+1+n,cmp);
    
    for(int i=1;i<n;i++){
        int u=p[i].a,v=p[i+1].a;
        ans.push_back(make_pair(u,v));
        id[i]=u;    
    }
    id[n]=p[n].a;
    cnt=n;
    
    for(int i=1;i<=n;i++){
        int len=cnt-i;//当前最长的长度
        if(p[i].d==len+1){//需要接在末尾 
            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-1],v=p[i].b;
            ans.push_back(make_pair(u,v)); 
        }
    }
    
    for(int i=0;i<ans.size();i++)
        cout<<ans[i].first<<" "<<ans[i].second<<'
';
}