x是递减的。
假设当前数组剩下最大的是a，那么数组一定要有一个数b+a=x，使得a被使用掉。因为如果a不被使用掉，x将变成一个比a小的数，那么a将永远无法使用。
用桶维护一下每个数字出现的次数就行。
注意桶的清空和赋值，我这个地方调了好久。
AC代码
#include <bits/stdc++.h>
#define rep(i,a,b) for(int i=(a);i<=(b);i++)
#define lep(i,a,b) for(int i=(a);i>=(b);i--)
#define pii pair<int,int>
#define pll pair<long long,long long>
#define mp make_pair
#define All(x) x.begin(),x.end()
#define ms(a,b) memset(a,b,sizeof(a))
#define INF 0x3f3f3f3f
#define INFF 0x3f3f3f3f3f3f3f3f
#define multi int T;scanf("%d",&T);while(T--)
using namespace std;
typedef long long ll;
typedef double db;
const int N=1e6+5;
const int mod=1e9+7;
const db eps=1e-6;
const db pi=acos(-1.0);
int n,m,a[2005],num[N];
int judge(){
int pre=a[2*n];
lep(i,2*n,1){
if(num[a[i]]==0) continue;
int tmp=pre-a[i];
if(num[tmp]){
--num[tmp];
--num[a[i]];
pre=a[i];
}else return 0;
}
rep(i,1,2*n)
if(num[i]) return 0;
return 1;
}
int main(){
#ifndef ONLINE_JUDGE
freopen("D:\\work\\data.in","r",stdin);
#endif
multi{
cin>>n;
rep(i,1,2*n) cin>>a[i];
sort(a+1,a+2*n+1);
int cur,flag=0;
rep(i,1,2*n-1){
cur=a[i];
rep(j,1,2*n) ++num[a[j]];
--num[cur];
--num[a[2*n]];
if(judge()){
flag=1;
break;
}
rep(j,1,2*n) num[a[j]]=0;
}
if(flag){
cout<<"YES"<<endl;
rep(i,1,2*n) ++num[a[i]];
cout<<cur+a[2*n]<<endl;
cout<<cur<<" "<<a[2*n]<<endl;
--num[cur];
--num[a[2*n]];
int pre=a[2*n];
lep(i,2*n,1){
if(num[a[i]]==0) continue;
int tmp=pre-a[i];
if(num[tmp]){
--num[tmp];
--num[a[i]];
cout<<tmp<<" "<<a[i]<<endl;
pre=a[i];
}
}
}else cout<<"NO"<<endl;
rep(i,1,2*n) num[a[i]]=0;
}
}