CF C. Make Good(异或位运算+思维构造)

C. Make Good

题目

link

给一个序列最多加3个数，使该序列的和S与异或和X满足S=2X的关系。

思路

明确异或的两个小结论： 0异或其他数，该数不改变 ；两个相同数异或为0，那么用就可以尝试构造两个相同的数保证X不变同时改变x

当S<=2X，且S为偶数时，构造两个（2X-S）/2 即可。

那么对于S>2X ，想办法让其转化到第一种，因为第一个性质 ，我们可以用一个尽量大的且除最高位都是0的数字a保证 S<=2X ，因为S增加了a，而X也增加了a ，乘2后 ，显然比S大。

之后解决S的奇偶问题，当S为奇数，给a+1就好。

另一种途径

加上S+X和 X就行了。

##AC代码

#include <bits/stdc++.h>
#define inf 0x3f3f3f3f
#define int long long
using namespace std;
typedef pair<int, int> PII;
const int N = 10 + 1e5, mod = 1e9 + 7;

void solve()
{
    int n;
    int s = 0, x = 0;
    cin >> n;
    for (int i = 1; i <= n; i++)
    {
        int t;
        cin >> t;
        s += t;
        x ^= t;
    }
    int k = (1LL << 50) + s % 2;
    s += k, x ^= k;
    int a = (2 * x - s) >> 1;
    cout << 3 << endl;
    cout << a << ' ' << a << ' ' << k << endl;
}
signed main()
{
    ios::sync_with_stdio();
    int T;
    cin >> T;
    int T1 = clock();
    while (T--)
        solve();

    int T2 = clock();
    cerr << endl
         << " Time : " << T2 - T1 << "ms." << endl;
    return 0;
}