D. Genius‘s Gambit

题目链接
标签是1900的数学构造题，感觉这个题不是很值这个分数。

题目大意：给出a，b，k，问是否可以构造出两个满足以下条件的数x，y：

• x，y的二进制数都有a个0，b个1.
• x - y的二进制恰好有k个1

可以的话输出x和y的二进制，不可以就输出No。

可以构造出
$11\ast \ast \ast \ast 0\ast \ast$
$10\ast \ast \ast \ast 1\ast \ast$
*表示该位置的数相同。这样构造出x - y的二进制数最多可以有a + b - 2个1。这样也判断出来了不存在的情况。可以通过改变 * 的个数来使x - y二进制数恰好有k个1。自己手动模拟一下就明白了。然后就是要特判一下k = 0的情况（这个情况也是我交了几次wa，慢慢在wa的样例改出来的，cf这点就很人性化，可以让你知道wa在什么样的样例）。

code：

#include <algorithm>
#include <bitset>
#include <cmath>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <deque>
#include <functional>
#include <iostream>
#include <map>
#include <queue>
#include <set>
#include <sstream>
#include <stack>
#include <string>
#include <vector>
using namespace std;
typedef long long ll;
const int N = 2e5 + 100;
const int INF = 0x3f3f3f3f;
int s1[N], s2[N];
int A, B;
void Pr() {
    for (int i = 1; i <= A + B; i++) {
        cout << s1[i];
    }
    cout << endl;
    for (int i = 1; i <= A + B; i++) {
        cout << s2[i];
    }
    cout << endl;
}

void solve() {
    int a, b, k;
    cin >> a >> b >> k;
    A = a, B = b;
    if (k == 0) {
        cout << "Yes" << endl;
        for (int i = 1; i <= A + B; i++) {
            if (b != 0) {
                s1[i] = s2[i] = 1;
                b--;
            } else {
                s1[i] = s2[i] = 0;
                a--;
            }
        }
        Pr();
        return;
    }
    if (a < 1 || b < 2 || k > a + b - 2)
        cout << "No" << endl;
    else {
        cout << "Yes" << endl;
        s1[1] = 1, s1[2] = 1;
        s2[1] = 1, s2[2] = 0;
        a -= 1, b -= 2;
        int i;
        for (i = 3; i <= A + B; i++) {
            if (i == k + 2) {
                s1[i] = 0, s2[i] = 1;
                continue;
            }
            if (b != 0) {
                s1[i] = s2[i] = 1;
                b--;
            } else {
                s1[i] = s2[i] = 0;
                a--;
            }
        }
        Pr();
    }
}

int main() {
    solve();
    return 0;
}