题目描述:
题目大意:给定两个01字符串,每次操作选择一个连续区间,第一个字符串这个区间所有的数字取反,第二个字符串除这个区间外所有的字符取反,问能否使两个字符串都变为0,并给出这些区间。
思路:
我们反过来思考,初始状态a,b都是全零,能否通某些操作使得两个字符串变为 a 和 b
我们随便模拟几次可以发现操作奇数次后a,b一定每一位都不同,操作偶数次后a,b一定每一位都相同. (这里可以简单地用数学归纳法证明)。
所以只有a,b每一位都不同或者都相同才能通过操作到达全0状态.
然后我们就很容易构造出一种方案了,我的方法是先把a串全部变为0,此时如果b只可能是全0或者全1,如果是全0那就不用操作了,否则就依次操作[1,n],[1,1],[2,n],即先把a全变为1,然后按照样例的方法把全1的a,b变为全0.
那最后怎么判断把a 变为全零了,b这时候是否全0呢?
其实也比较简单,从全零开始,奇数次两个字符串每一位都不一样,偶数次,两个字符都完全一样,然后判断开始时两个字符串是否完全相等。
AC代码:
void solve() {
int n; cin >> n;
string a; string b; cin >> a; cin >> b;
a = " " + a; b = " " + b;
int cnt = 0;
for (int i = 1; i <= n; i++) {
cnt += (a[i] == b[i]);
}
if (cnt != 0 && cnt != n) {
cout << "NO" << endl; return;
}
// 把 a 全变为 0 ,
cout << "YES" << endl;
vector<pair<int, int> > ans;
int l = 1; int r = 1;
bool flag = cnt == n ? 0 : 1;
while ( l <= n) {
while (l <= n && a[l] == '0')
l++;
if (l > n) break;
// l 指向第一个为 1 的地方
r = l;
while (r <= n && a[r] == '1')
r++;
ans.push_back({ l, r - 1 });
flag ^= 1;
l = r;
}
if (flag) {
ans.push_back({ 1,n });
ans.push_back({ 1,1 });
ans.push_back({ 2,n });
}
cout << ans.size() << endl;
for (auto x : ans) {
cout << x.first << " " << x.second << endl;
}
}
int main() {
int t; cin >> t;
while(t--)
solve();
}