#include <bits/stdc++.h>
#include "insects.h"
using namespace std;
const int maxn = 2010;
int in[maxn];
vector<bool> memo;
int n, c;
int base;
vector<int> id;
void put(int x) {
move_inside(x);
//memo[x] = 1;
}
void pop(int x) {
move_outside(x);
//memo[x] = 0;
}
map<vector<bool>, int> mapMemo;
bool last[maxn];
int push() {
return press_button();
if (mapMemo.count(memo)) return mapMemo[memo];
for (int i = 0; i < n; ++i) {
if (last[i] != (in[i] != 0)) {
if (last[i]) move_outside(i);
else move_inside(i);
last[i] ^= 1;
}
}
return mapMemo[memo] = press_button();
}
bool p(int x) {
int len = base;
for (int i:id) {
if (in[i] == -1) continue;
if (len == x * c) break;
put(i);
in[i] = 1;
if (push() > x) {
pop(i);
in[i] = 0;
} else {
len += 1;
}
}
if (len == x * c) {
for (int i=0;i<n; ++i) {
if (in[i] == 1) {
in[i] = -1;
base += 1;
}
}
} else {
for (int i=0;i<n;++i) {
if (in[i] == 1) {
pop(i);
in[i] = 0;
}
}
}
return len == x * c;
}
int min_cardinality(int N) {
n = N;
id.resize(n);
iota(id.begin(), id.end(), 0);
random_shuffle(id.begin(), id.end());
memo.assign(n, 0);
c = 0;
for (int i=0; i<n; ++i) {
put(i);
in[i] = -1;
if (push() == 1) c += 1;
else pop(i), in[i] = 0;
}
base = c;
if (c == 1) return N;
if (c == N) return 1;
int lo = 1, hi = N / c+1;
while (hi-lo>1) {
int mid = (lo + hi) / 2;
if (p(mid)) lo = mid;
else hi = mid;
}
return lo;
}
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
0 ms |
208 KB |
Output is correct |
| 2 |
Correct |
1 ms |
208 KB |
Output is correct |
| 3 |
Correct |
1 ms |
208 KB |
Output is correct |
| 4 |
Correct |
1 ms |
208 KB |
Output is correct |
| 5 |
Correct |
1 ms |
208 KB |
Output is correct |
| 6 |
Correct |
4 ms |
208 KB |
Output is correct |
| 7 |
Correct |
4 ms |
304 KB |
Output is correct |
| 8 |
Correct |
4 ms |
208 KB |
Output is correct |
| 9 |
Correct |
6 ms |
208 KB |
Output is correct |
| 10 |
Correct |
11 ms |
208 KB |
Output is correct |
| 11 |
Correct |
2 ms |
208 KB |
Output is correct |
| 12 |
Correct |
8 ms |
208 KB |
Output is correct |
| 13 |
Correct |
7 ms |
208 KB |
Output is correct |
| 14 |
Correct |
4 ms |
208 KB |
Output is correct |
| 15 |
Correct |
9 ms |
208 KB |
Output is correct |
| 16 |
Correct |
3 ms |
208 KB |
Output is correct |
| 17 |
Correct |
8 ms |
304 KB |
Output is correct |
| 18 |
Correct |
10 ms |
208 KB |
Output is correct |
| 19 |
Correct |
5 ms |
300 KB |
Output is correct |
| 20 |
Correct |
4 ms |
208 KB |
Output is correct |
| 21 |
Correct |
3 ms |
208 KB |
Output is correct |
| 22 |
Correct |
2 ms |
208 KB |
Output is correct |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
0 ms |
208 KB |
Output is correct |
| 2 |
Correct |
1 ms |
208 KB |
Output is correct |
| 3 |
Correct |
1 ms |
208 KB |
Output is correct |
| 4 |
Correct |
1 ms |
208 KB |
Output is correct |
| 5 |
Correct |
1 ms |
208 KB |
Output is correct |
| 6 |
Correct |
4 ms |
208 KB |
Output is correct |
| 7 |
Correct |
4 ms |
304 KB |
Output is correct |
| 8 |
Correct |
4 ms |
208 KB |
Output is correct |
| 9 |
Correct |
6 ms |
208 KB |
Output is correct |
| 10 |
Correct |
11 ms |
208 KB |
Output is correct |
| 11 |
Correct |
2 ms |
208 KB |
Output is correct |
| 12 |
Correct |
8 ms |
208 KB |
Output is correct |
| 13 |
Correct |
7 ms |
208 KB |
Output is correct |
| 14 |
Correct |
4 ms |
208 KB |
Output is correct |
| 15 |
Correct |
9 ms |
208 KB |
Output is correct |
| 16 |
Correct |
3 ms |
208 KB |
Output is correct |
| 17 |
Correct |
8 ms |
304 KB |
Output is correct |
| 18 |
Correct |
10 ms |
208 KB |
Output is correct |
| 19 |
Correct |
5 ms |
300 KB |
Output is correct |
| 20 |
Correct |
4 ms |
208 KB |
Output is correct |
| 21 |
Correct |
3 ms |
208 KB |
Output is correct |
| 22 |
Correct |
2 ms |
208 KB |
Output is correct |
| 23 |
Correct |
8 ms |
208 KB |
Output is correct |
| 24 |
Correct |
7 ms |
288 KB |
Output is correct |
| 25 |
Correct |
22 ms |
208 KB |
Output is correct |
| 26 |
Correct |
36 ms |
208 KB |
Output is correct |
| 27 |
Correct |
71 ms |
208 KB |
Output is correct |
| 28 |
Correct |
7 ms |
208 KB |
Output is correct |
| 29 |
Correct |
79 ms |
208 KB |
Output is correct |
| 30 |
Correct |
34 ms |
208 KB |
Output is correct |
| 31 |
Correct |
15 ms |
280 KB |
Output is correct |
| 32 |
Correct |
28 ms |
208 KB |
Output is correct |
| 33 |
Correct |
29 ms |
208 KB |
Output is correct |
| 34 |
Correct |
31 ms |
208 KB |
Output is correct |
| 35 |
Correct |
31 ms |
316 KB |
Output is correct |
| 36 |
Correct |
26 ms |
208 KB |
Output is correct |
| 37 |
Correct |
33 ms |
312 KB |
Output is correct |
| 38 |
Correct |
34 ms |
208 KB |
Output is correct |
| 39 |
Correct |
17 ms |
208 KB |
Output is correct |
| 40 |
Correct |
12 ms |
208 KB |
Output is correct |
| 41 |
Correct |
11 ms |
208 KB |
Output is correct |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
1 ms |
208 KB |
Output is correct |
| 2 |
Correct |
1 ms |
208 KB |
Output is correct |
| 3 |
Correct |
0 ms |
208 KB |
Output is correct |
| 4 |
Correct |
1 ms |
208 KB |
Output is correct |
| 5 |
Correct |
0 ms |
208 KB |
Output is correct |
| 6 |
Correct |
1 ms |
208 KB |
Output is correct |
| 7 |
Correct |
17 ms |
208 KB |
Output is correct |
| 8 |
Correct |
11 ms |
208 KB |
Output is correct |
| 9 |
Correct |
39 ms |
208 KB |
Output is correct |
| 10 |
Partially correct |
69 ms |
316 KB |
Output is partially correct |
| 11 |
Partially correct |
189 ms |
304 KB |
Output is partially correct |
| 12 |
Correct |
29 ms |
312 KB |
Output is correct |
| 13 |
Partially correct |
144 ms |
208 KB |
Output is partially correct |
| 14 |
Partially correct |
127 ms |
208 KB |
Output is partially correct |
| 15 |
Correct |
56 ms |
208 KB |
Output is correct |
| 16 |
Correct |
21 ms |
208 KB |
Output is correct |
| 17 |
Correct |
52 ms |
208 KB |
Output is correct |
| 18 |
Correct |
45 ms |
320 KB |
Output is correct |
| 19 |
Partially correct |
42 ms |
236 KB |
Output is partially correct |
| 20 |
Correct |
48 ms |
320 KB |
Output is correct |
| 21 |
Partially correct |
52 ms |
296 KB |
Output is partially correct |
| 22 |
Partially correct |
65 ms |
316 KB |
Output is partially correct |
| 23 |
Partially correct |
41 ms |
296 KB |
Output is partially correct |
| 24 |
Correct |
41 ms |
300 KB |
Output is correct |
| 25 |
Correct |
29 ms |
208 KB |
Output is correct |
| 26 |
Correct |
22 ms |
208 KB |
Output is correct |
| 27 |
Correct |
47 ms |
208 KB |
Output is correct |
| 28 |
Correct |
50 ms |
208 KB |
Output is correct |
| 29 |
Correct |
61 ms |
208 KB |
Output is correct |
| 30 |
Correct |
48 ms |
208 KB |
Output is correct |
| 31 |
Partially correct |
98 ms |
256 KB |
Output is partially correct |
| 32 |
Partially correct |
34 ms |
208 KB |
Output is partially correct |
| 33 |
Partially correct |
78 ms |
312 KB |
Output is partially correct |
| 34 |
Partially correct |
71 ms |
312 KB |
Output is partially correct |
| 35 |
Correct |
24 ms |
208 KB |
Output is correct |
| 36 |
Correct |
46 ms |
208 KB |
Output is correct |
| 37 |
Partially correct |
63 ms |
208 KB |
Output is partially correct |
| 38 |
Partially correct |
87 ms |
208 KB |
Output is partially correct |
| 39 |
Correct |
39 ms |
208 KB |
Output is correct |
| 40 |
Correct |
51 ms |
208 KB |
Output is correct |
| 41 |
Correct |
36 ms |
312 KB |
Output is correct |
| 42 |
Correct |
46 ms |
208 KB |
Output is correct |
| 43 |
Partially correct |
19 ms |
208 KB |
Output is partially correct |
| 44 |
Partially correct |
153 ms |
208 KB |
Output is partially correct |
| 45 |
Correct |
51 ms |
316 KB |
Output is correct |
| 46 |
Correct |
29 ms |
208 KB |
Output is correct |
| 47 |
Correct |
15 ms |
208 KB |
Output is correct |
| 48 |
Correct |
30 ms |
208 KB |
Output is correct |
