Codeforces Round 897 (Div. 2)----＞B. XOR Palindromes

一，思路：

1.首先我们要求的这使这个二进制字符串变成回文最少需要多少个 1 ，现在设这个数量为 x。

2. 然后该如何将上面的回文二进制进行扩展，例如 1 0 0 1 ---->1 1 1 1。

3.计算扩展所需的 1 的数量。

4.具体看代码，有注释。

二，代码

#include <iostream>
#include<cstring>
#include<algorithm>
using namespace std;

const int N = 1e5+10;
typedef long long ll;

//标记性数组，下标表示需要 1 的个数。
int flag[N];


void sovle() {

    int n;
	cin >> n;

//这里初始化，不能用 memset 因为它的测试样例数量 t 是 1e5级别，会被卡。
	for(int i=0;i<=n;i++) flag[i]=0;

	string str;
	cin >> str;

//利用双指针来判断，变成回文串最少需要 1的个数。
	int l, r;

//指针初始位置处理
	if (n % 2 == 0) l = n / 2 - 1, r = n / 2;
	else l = n / 2 - 1, r = n / 2 + 1;

//从中间开始，向两边扩散，当有一对不一样时，代表这里必须要一个 1，cnt++。
	int cnt = 0;
	while (l >= 0 && r <= n - 1) {
		if (str[l] != str[r]) cnt++;
		l--, r++;
	}

//标记一下
	flag[cnt] = 1;

	if (n % 2 == 0) {

//当字符串长度为偶数时，必须是成对存在的，要么将两个 1同时变成 0，要么将两个 0变成 1。
//所以是跳跃性的标记，至于 n - cnt 表示最多需要多少个 1.
//至于怎么来的，由于表达能力不是特别好，所以下面大概说一下

//因为我们最少需要 cnt 个 1，意思说 在 长度为 n的 我们最多可以可以扩展 n - 2*cnt 个 1（这里仔细想一想），然后加上保底需要的 1 的个数 cnt ,最终最多需要 1的个数 为 n -2*cnt +cnt---->n-cnt。 

		for (int i = cnt; i <= n - cnt; i += 2) flag[i] = 1;
	}
	else {

//奇数时同理，就是我们可以借助中间的那个元素，可以实现 每次可以加任意个 1，不一定是偶数个。
//因为最中间位置的 元素变与不变是对 回文串没有任何影响的

//举个例子：
//  1 0 1 0 1  我们可以只用 1个 1 ---->0 0 1 0 0
//             也可以只用   3 个 1---->1 0 1 0 1
 
		for (int i = cnt; i <= n - cnt; i++) flag[i] = 1;
	}


	for (int i = 0; i <= n; i++) cout << flag[i];

	cout << endl;
}

int main()
{
	ios::sync_with_stdio(false);
	cin.tie(0);

	int t;
	cin >> t;

	while (t--) {
		sovle();
	}
	return 0;
}