考虑无解情况,一定是可以保证偶数个1
考虑一种构造 对于环上连续的一段我们连续构造边
可以形成从00000000->10000001的变换
但是光是这样是不够的,因为要形成树,这个上边至少还要连一个点
注意偶数个1,我们可以将某些关于剩下的1搞下来,做一个构造
接下来的思路是将所有的连续边上的1000这种构造的最后一个0连到之上
比较巧妙,马上看Faze打Navi辣!
随便炒的代码:
#include<bits/stdc++.h>
#define ll long long
#define pii pair<int,int>
#define fi first
#define se second
#define mkp make_pair
#define pb push_back
#define lowbit(s) (s&-s)
using namespace std;
const int N=5e5+11;
const ll mod=998244353;
int n;
string a;
int nxt(int w){
if(w<n)return w+1;
else return 1;
}
int las(int w){
if(w>1)return w-1;
else return n;
}
void solve(){
cin>>n>>a;a=' '+a;
int cnt=0;
for(int i=1;i<=n;i++)
if(a[i]=='1') ++cnt;
if(cnt&1){
cout<<"NO"<<endl;
return;
}
int rt=0;
for(int i=1;i<=n;i++)
if(a[i]=='1') rt=i;
if(!rt){
cout<<"NO"<<endl;
return;
}
cout<<"YES"<<endl;
bool t=1;
for(int i=1;i<=n;i++){
if(i==rt)continue;
if(a[i]=='1'){
int w=i,nx=nxt(i);
while(nx!=rt&&a[nx]=='0'){
cout<<w<<" "<<nx<<endl;
w=nx;nx=nxt(w);
}
if(!t)cout<<w<<" "<<rt<<endl;
else{
nx=las(i);
while(nx!=rt) {
cout<<w<<" "<<nx<<endl;
w=nx;nx=las(w);
}
cout<<w<<" "<<rt<<endl;
t=0;
}
}
}
}
int main(){
ios::sync_with_stdio(false);
int Testcase; cin>>Testcase;
while(Testcase--) solve();
return 0;
}