C2. Make Nonzero Sum (hard version)

题意：给定一个只包含 1 0 -1的数组，请你把这个数组划分为若干的连续区间(l,r)。有一个函数sum(l,r)=a[l]-a[l+1]+a[l+2]-a[l+3]…a[r]这样，要求你划分的若干个区间的sum函数之和为0

思路：给的所有数如果和他相邻的下一项组合的话，那么就可以在保证本身符号不变的情况下扭转下一项的符号，所以实际上就变成了这样的一个题：
1.绝对值为1的数有贡献
2.有贡献的数前面的符号分为正负两种
3.当一个数前面有其他数的时候，可以扭转这个数的正负号，但是之后这两个数都不能再被选中。
4.正负号数量相等
 

#include<bits/stdc++.h>
using namespace std;
typedef pair<int,int> PII;
const int N=2e5+10;
int n;
int a[N];int vis[N];
void init()
{
	for(int i=1;i<=n;i++)
	{
		vis[i]=0;
	}
}
void solve()
{
	init();
	cin>>n;
	int cnt1=0;int cnt2=0;
	for(int i=1;i<=n;i++)
	{
		cin>>a[i];
		if(a[i]==1)
		cnt1++;
		if(a[i]==-1)
		cnt2++;
	}
	if(cnt1>cnt2)
	{
		for(int i=2;i<=n;i++)
		{
			if(a[i]==1)
			{     
				vis[i-1]=vis[i]=1;
				cnt1--;cnt2++;
				i++;
			}
			if(cnt1==cnt2)
			{
				break;
			}
		}
	}
	if(cnt1<cnt2)
	{
		for(int i=2;i<=n;i++)
		{
			if(a[i]==-1)
			{
				vis[i-1]=vis[i]=1;
				cnt1++;cnt2--;
				i++;
			}
			if(cnt1==cnt2)
			break;
		}
	}
	vector<PII>q;
	if(cnt1==cnt2)
	{
		for(int i=1;i<=n;i++)
		{
			if(vis[i]==0)
			{
				q.push_back({i,i});
			}
			else if(vis[i]==1)
			{
				q.push_back({i,i+1});
				i++;
			}
		}
	}
	else
	{
		cout<<-1<<endl;
		return ;
	}
	cout<<q.size()<<endl;
	for(auto i:q)
	{
		cout<<i.first<<" "<<i.second<<endl;
	}
}
int main()
{
	int t;
	cin>>t;
	while(t--)
	{
		solve();	
	}	
}