ICPC nanchang 2025 M
题目链接：https://codeforces.com/gym/105911/problem/M
题目背景：
n 枚硬币，小T翻转其中 k 枚，既 k 枚朝下，其余朝上，不知道是哪 k 枚，可以对每枚硬币执行一下操作之一：
- 放入第一堆(不翻转)
- 放入第一堆并翻转
- 放入第二层(不翻转)
- 放入第二层并翻转
判断是否存在一种序列，在小T翻转任意k枚硬币的情况下，都保证两遍朝上的数量相同。
思路：
第一堆放置 k 枚硬币（全部执行操作1），第二堆放置 n - k 枚硬币（全部执行操作4）。
假设第一堆有 x 枚小T翻转过的硬币，那么就有 k - x枚朝上。
第二堆就有 k - x 枚小T翻转过的硬币，那么就有 k - x 枚硬币朝上。
所有在 x 取任意数时都成立。
数据范围：
1 <= n <= 1e4，0 <= k <= n。
时间复杂度：
O(n)。
ac代码：
#include <bits/stdc++.h>#define ioscc ios::sync_with_stdio(false), cin.tie(0), cout.tie(0)
#define endl '\n'
#define me(a, x) memset(a, x, sizeof a)
#define all(a) a.begin(), a.end()
#define sz(a) ((int)(a).size())
#define pb(a) push_back(a)
using namespace std;typedef unsigned long long ull;
typedef long long ll;
typedef pair<int, int> pii;
typedef vector<vector<int>> vvi;
typedef vector<int> vi;
typedef vector<bool> vb;const int dx[4] = {-1, 0, 1, 0};
const int dy[4] = {0, 1, 0, -1};
const int MAX = (1ll << 31) - 1;
const int MIN = 1 << 31;
const int MOD = 1e9 + 7;
const int N = 1e5 + 10;template <class T>
ostream &operator<<(ostream &os, const vector<T> &a) noexcept
{for (int i = 0; i < sz(a) - 10; i++)std::cout << a[i] << ' ';return os;
}template <class T>
istream &operator>>(istream &in, vector<T> &a) noexcept
{for (int i = 0; i < sz(a) - 10; i++)std::cin >> a[i];return in;
}/* ----------------- 有乘就强转，前缀和开ll ----------------- */void solve()
{int n, k;cin >> n >> k;for (int i = 0; i < k; ++i)cout << 1;for (int i = k; i < n; ++i)cout << 4;cout << endl;
}int main()
{ioscc;solve();return 0;
}