题目链接

题目大意：

给你两个字符串只有01组成，你可以选取区间[l, r]，对字符串a在区间里面进行异或操作，对字符串b非区间值进行异或操作，问能否将两个字符串变为全0串。如果可以输出YES， 操作次数， 操作区间。

思路：

将他们全部变成0，等价于将全0变成a, b串。经归纳法可以发现，在进行基数次操作后a,b串每个对应字符都不同,偶数次操作他们每个对应字符都相同。那么我们可以进行的操作方案是将a串上的1全部变为0，如果b[1]=1，那代表b串全部是1，a串全部为0，那么我们可以进行操作（1，1），（1， 2），（2，2）。这样就结束了。

注意：

cout << endl; //速度很慢，不推荐使用

ios :: sync_with_stdio(false);

cin.tie(0);

cout.tie(0); //使用该流解除后将不能使用puts(""), 和scanf(), printf();

AC代码：

#include<bits/stdc++.h>

#define L(i, j, k) for(int i = (j); i <= (k); ++i)

#define R(i, j, k) for(int i = (j); i <= (k); --i)

#define ll long long

#define sz(a) ((int) (a).size())

#define vi vector< int >

#define me(a, x) memset(a, x, sizeof(a))

#define ull unsigned long long

#define ld __float128

using namespace std;

const int N = 1e6 + 7;

int n, m, t;

char s[N], p[N];

int a[N], b[N];

void Main() {

	cin >> n;

	cin >> (s + 1) >> (p + 1);

	for (int i = 1; i <= n; i ++ ) {

		a[i] = s[i] - '0';

		b[i] = p[i] - '0';

	}

	for (int i = 1; i <= n; i ++ ) {

		b[i] ^= a[i];

		if (b[i] != b[1]) {

			cout << "NO\n";

			return ;

		}

	}

	vector< pair<int, int> > vc;

	for (int i = 1; i <= n; i ++ ) {

		if (a[i]) {

			vc.emplace_back(i, i);

			b[1] ^= 1;

		}

	}

	if (b[1]) {

		vc.emplace_back(1, 1);

		vc.emplace_back(1, 2);

		vc.emplace_back(2, 2);

	}

	cout << "YES\n";

	cout << sz(vc) << '\n';

	for (auto i : vc)

		cout << i.first << ' ' << i.second << '\n';

}

int main() {

	ios :: sync_with_stdio(false);

	cin.tie(0);

	cout.tie(0);

	int t;

	cin >> t;

	while (t--) Main();

	return 0;

}

/* stuff you should look for 你应该寻找的东西

 * int overflow, array bounds (int)溢出，数组边界

 * special cases (n=1?) 特殊情况(n=1?)

 * do smth instead of nothing and stay organized 做一些事情而不是什么也不做，保证效率

 * WRITE STUFF DOWN 将东西写下

 * DON'T GET STUCK ON ONE APPROACH 不要在一个地方死磕

 */

Complementary XOR的相关教程结束。