#include "insects.h"
#include <bits/stdc++.h>
using namespace std;
const int I_AM_A_BLACK_HOLE = 7;
#define pb push_back
#define MP make_pair
mt19937_64 rng(chrono::steady_clock::now().time_since_epoch().count());
int n;
int unq;
vector<int> in;
vector<int> res;
vector<bool> is_in;
int last = 1;
pair<bool, int> ok(int k) {
while (!res.empty() && k < res.back()) {
is_in[in.back()] = false;
in.pop_back();
res.pop_back();
}
assert(res.size() == in.size());
int mx = 0;
vector<int> all;
for (int i=0; i<n; i++) if (!is_in[i]) all.pb(i);
shuffle(all.begin(), all.end(), rng);
for (int i : all) {
move_inside(i);
int t = press_button();
mx = max(mx, t);
if (t > k) move_outside(i);
else in.pb(i), is_in[i] = true, res.pb(t);
if (unq * k == in.size()) return MP(true, 0);
}
if (unq * k == in.size()) return MP(true, 0);
if (mx < k) return MP(false, mx);
else {
int s = (unq - 1) * k
- (int(in.size()) - k);
return MP(false, k - (s + unq - 2) / (unq - 1));
}
}
int min_cardinality(int N) {
is_in.resize(N);
for (int i = 0; i < N; i++) {
move_inside(i);
int t = press_button();
if (t == 2) move_outside(i);
else in.pb(i), is_in[i] = true, res.pb(t);
}
unq = in.size();
if (unq <= I_AM_A_BLACK_HOLE) {
while (!in.empty()) {
move_outside(in.back());
is_in[in.back()] = false;
in.pop_back();
}
vector<int> all;
for (int i=0; i<N; i++) all.pb(i);
unq--;
int ans = N;
while (unq--) {
vector<int> rem;
int cur = 0;
shuffle(all.begin(), all.end(), rng);
while (!all.empty()) {
int i = all.back();
all.pop_back();
move_inside(i);
int res = press_button();
if (res == cur) {
move_outside(i);
rem.pb(i);
}
else {
in.pb(i);
}
cur = res;
}
ans = min(ans, cur);
if (ans == 1) return 1;
all = rem;
while (!in.empty()) {
move_outside(in.back());
in.pop_back();
}
}
return min((int) all.size(), ans);
}
n = N;
int l = 1, r = n / unq;
while (l != r) {
int mid = (l+r+1) / 2;
auto [can, lim] = ok(mid);
if (can) l = mid;
else r = min(mid - 1, lim);
}
return l;
}
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |