我们得知最后的答案跟顺序并没有关联,因此我们可以从0到n-1一个个枚举除数,| u - v |%x=0等价于两个数各%x为相等数,因此当我们一个个枚举除数x的时候,用一个mark数组存下每个a[i]%x的值,如果当前mark不为0,那么意味着两个数匹配成功,同时kill掉这一个数,因为连通图每个点要连两次。
代码附上:
#include <bits/stdc++.h>
#define int long long
using namespace std;
const int inf = 0x3f3f3f3f3f3f3f3f;
const int N = 2005;
int n;
int a[N];
int mark[N];//match
int f[N];//kill or not
int l[N],r[N];//ans
void solve(){
cin>>n;
for(int i=1;i<=n;i++)cin>>a[i];
for(int i=1;i<=n;i++)f[i]=1;//not kill
for(int x=n-1;x>=1;x--){
for(int i=0;i<=n;i++)mark[i]=0;//initial
for(int i=1;i<=n;i++){
if(f[i]){//not kill
int t=a[i]%x;
if(mark[t]){
l[x]=i;
r[x]=mark[t];
f[i]=0;
break;
}
else{
mark[t]=i;
}
}
}
}
cout<<"YES"<<"\n";
for(int i=1;i<n;i++){
cout<<l[i]<<" "<<r[i]<<"\n";
}
}
signed main(){
ios::sync_with_stdio(0),cin.tie(0),cout.tie(0);
int t=1;cin>>t;
while(t--){
solve();
}
return 0;
}