题目
这道题与 C1 相比就多了 \(0\)，所以做法是几乎一致的。
C1 是有 \(n\) 为奇数无解，但这道题需要统计一下非 \(0\) 数的个数根据这个判断是否有解。
然后就是相邻两个非 \(0\) 数之间的关系了。如果这个两个数符号相同，那么把它们中间的最后一个 \(0\) 给后者，然后其他 \(0\) 浪费掉，前者单独即可。如果这两个数符号不同，则将中间的 \(0\) 全部丢弃。如果二者之间没有 \(0\)，用 C1 的做法。
#include <cstdio>
#include <vector>
using namespace std;
#define bk emplace_back
#define Ls(i,l,r) for(int i=l;i<r;++i)
#define Rs(i,l,r) for(int i=l;i>r;--i)
#define L(i,l) for(int i=1;i<=l;++i)
const int N=200010;
int T,n,a[N];
int main(){
// freopen("1.in","r",stdin);
// freopen("1.out","w",stdout);
// ios::sync_with_stdio(0);
// cin.tie(0);
// cout.tie(0);
scanf("%d",&T);
while(T--){
vector<pair<int, int>>ans;
scanf("%d",&n);
int tot=0;
L(i, n)scanf("%d",a+i),tot+=a[i]!=0;
if(tot&1)puts("-1");
else{
int now=0;
L(i, n){
if(!a[i]){
if(!a[i+1]||!now)ans.bk(i,i);//下一个位置还有0或者当前不需要0，直接浪费
else if(a[i+1]==now)now=0,ans.bk(i,i+1),++i;//上次贡献没有均衡，使用0实现取反
else ans.bk(i,i),now=0,ans.bk(i+1,i+1),++i;//下一个数和上次的不同，直接独自，0不需要用来取反
}
else{
if(a[i+1]){//C1的做法
if(a[i]==a[i+1])ans.bk(i,i+1);
else ans.bk(i,i),ans.bk(i+1,i+1);
++i;
}
else ans.bk(i,i),now=a[i];//为0的使用提供信息
}
}
printf("%d\n",ans.size());
for(auto v:ans)printf("%d %d\n",v.first,v.second);
}
}
return 0;
}