Codeforces Round #704 (Div. 2) D. Genius‘s Gambit（构造）

传送门

---

题目大意

给出$a,b,k$，其中$a,b$代表要输出的两个二进制数$x,y$中均含有$a$个0，$b$个1，能否构造$x,y$使得$x-y$的二进制中含有$k$个1。输出的两个二进制数不能含有前导零。

解题思路

渐渐地熟悉做构造题的套路——由特殊到一般。这题赛时没时间写，赛后一个多小时写过了，这次写构造还算可以。

首先观察到特殊情况$b=1$的情况，因为不能含有前导零，那么仅当$k=1$时才是YES，否则就是NO；实际上除了这个，还有就是$a=0$的情况，这个时候也是仅当$k=1$时才是YES，否则就是NO。然后我们观察$k$能取到的范围，当$x=110...00$时，$y=100...01$时，这时$k=a+b-2$，所以我们可以看出，当$k\ge a+b-1$，只能是NO，且$k$的取值范围是$[0,a+b-2]$。

接着看一般的情况，当$a,b$变化时，$k$的取值范围会发生变化吗？答案是不会。我们可以手玩几个样例，例如我是观察$a+b=7,k\in [0,5]$，从$a=5,b=2,k\in [0,5]$一直尝试到$a=2,b=5,k\in [0,5]$，然后发现如下规律：

• 若$k\le a$。对于$x$：前面放$b$个1后面全为0；对于$y$：前面放$b-1$个1，然后在$b+k$的位置上放一个1，其余全放0。
• 若$k>a$，先求出$res=k-a$，这时中间需要对应消去的$1$的数量。对于$x$：前面放$b$个1后面全为0；对于$y$：先放一个$1$确保无前导0，,然后放$b-1-res$个1，接着需要放一个0，后面就是$res$个1，最后的位置放一个1，其余位置全为0。

#include <bits/stdc++.h>
#include <unordered_map>

using namespace std;
#define ENDL "\n"
#define lowbit(x) (x & (-x))
typedef long long ll;
typedef long double ld;
typedef unsigned long long ull;
typedef pair<int, int> pii;
typedef pair<ll, ll> pll;
typedef pair<double, double> pdd;
const double eps = 1e-8;
const double pi = acos(-1.0);
const int inf = 0x3f3f3f3f;
const double dinf = 1e300;
const ll INF = 1e18;
const int Mod = 998244353;
const int maxn = 2e5 + 10;

int main() {
    ios::sync_with_stdio(0), cin.tie(0), cout.tie(0);
    int t, a, b, k;
    cin >> a >> b >> k;

    if (b == 1 || a == 0) {
        if (k == 0) {
            cout << "Yes" << ENDL;
            for (int i = 0; i < b; i++) cout << "1";
            for (int i = 0; i < a; i++) cout << "0";
            cout << ENDL;
            for (int i = 0; i < b; i++) cout << "1";
            for (int i = 0; i < a; i++) cout << "0";
            cout << ENDL;
        } else {
            cout << "No" << ENDL;
        }
        return 0;
    }
    
    if (k >= a + b - 1) {
        cout << "No" << ENDL;
        return 0;
    }
    cout << "Yes" << ENDL;
    if (k <= a) {
        for (int i = 0; i < b; i++) cout << "1";
        for (int i = 0; i < a; i++) cout << "0";
        cout << ENDL;
        for (int i = 1; i <= b - 1; i++) cout << "1";
        for (int i = b; i <= a + b; i++) {
            if (i == b + k) cout << "1";
            else cout << "0";
        }
        cout << ENDL;
    } else {
        int res = k - a;
        for (int i = 0; i < b; i++) cout << "1";
        for (int i = 0; i < a; i++) cout << "0";
        cout << ENDL;
        for (int i = 1; i <= b - 1 - res; i++) cout << "1";
        cout << "0";
        for (int i = 1; i <= res; i++) cout << "1";
        for (int i = b + 1; i < a + b; i++) cout << "0";
        cout << "1" << ENDL;
    }
    return 0;
}