CF Pinely Round 4 C. Absolute Zero

原题链接：Problem - C - Codeforces

题意：多测，给长度为n的数组，最多四十次操作，每次可以对每个数的减去一个任意值，最后询问能否都为0，可以就输出每次减少的值，不可以就输出-1。

思路：如果数组里面有奇数和偶数那么就一定不可以，本题的本质是让n个数变成相同的数，如果有偶数和奇数，如果减去偶数，那么奇偶性不变，如果减去奇数，那么也是奇偶性不变的，所以不可能变成相同的数。如果全是奇数或者全是偶数的情况下，每次可以减去最大值的一半，从二进制的角度来说，相当于右移了一位，对于其他数来说，变换之后它们的值也小于等于最大值的一半。相当于每一次操作都可以消除n个数的最高位，思考会存在让最高位重新变成1的可能性吗？不可能。所以这样的策略是合法的。主要特判全部是1的情况。

//冷静，冷静，冷静
//调不出来就重构
#pragma GCC optimize(2)
#pragma GCC optimize("O3")
#include<bits/stdc++.h>
#define endl '\n'
using namespace std;
typedef long long ll;
typedef long double ld;
typedef pair<ll,ll> pii;
const int N=1e6+10,mod=1000000007;
ll p[N];
int main()
{
	ios::sync_with_stdio(0),cin.tie(0),cout.tie(0);
	ll t;cin>>t;
	while(t--)
	{
		ll n;cin>>n;
		ll m=40;
		bool st=0;
		ll sum1=0,sum2=0;
		for(int i=1;i<=n;i++)
		{
			cin>>p[i];
			if(p[i]&1)sum1++;
			else sum2++;
		}
		if(sum1&&sum2)
		{
			cout<<-1<<endl;
			continue;
		}
		else
		{
			vector<ll> op;
			while(m--)
			{
				sort(p+1,p+1+n,greater<ll>());
				ll sum=0;
				for(int i=1;i<=n;i++)
				{
					if(p[i]==0)sum++;
				}
				if(sum==n)
				{
					st=1;
					break;
				}
				ll kc=0;
				op.push_back(p[1]/2);
				ll jq=p[1]/2;
				for(int i=1;i<=n;i++)
				{
					if(p[i]==1)kc++;
					if(p[i]==0)sum++;
					p[i]=abs(p[i]-jq);
				}
				if(kc==n)
				{
					op.pop_back();
					op.push_back(1);
					break;
				}
			}
			cout<<op.size()<<endl;
			for(auto it:op)
			{
				cout<<it<<' ';
			}
			cout<<endl;
		}
	}
    return 0;
}
/*
1
3
4 6 8
*/