codeforces 构造 Complementary XOR

题目描述：

 题目大意：给定两个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();
}