#include <bits/stdc++.h>
using namespace std;
const int N = 5e4;
mt19937 rng(time(nullptr) + 69);
int n, k, cnt[N];
vector<int> rem, adj[N];
bitset<N> bt[N], curr;
bool solve(int tot, int x, int y) {
//cerr << tot << " " << x << " " << y << " " << curr.count() << endl;
if (curr.count() < tot) return 0;
else if (!x) return 1;
// tengo que pillar x mas, mayores que y, tengo curr odiados
vector<int> temp;
int sz = rem.size();
for (int i = sz-1; i >= 0; i--) {
if (rem[i] <= y) break;
temp.push_back(rem[i]);
}
//shuffle(temp.begin(), temp.end(), rng);
sz = temp.size();
if (sz < x-1) return 0;
for (int i = 0; i < sz; i++) {
bitset<N> prv = curr;
curr &= bt[temp[i]];
if (solve(tot, x-1, temp[i])) return 1;
swap(curr, prv);
}
return 0;
}
signed main() {
ios::sync_with_stdio(false); cin.tie(nullptr);
cin >> n >> k;
memset(cnt, 0, sizeof(cnt));
rem.resize(n);
for (int i = 0; i < n; i++) {
rem[i] = i;
int x; cin >> x;
bt[i][i] = 1;
cnt[i]++;
adj[i].push_back(i);
for (int j = 0; j < x; j++) {
int y; cin >> y;
bt[i][y] = 1;
cnt[y]++;
adj[i].push_back(y);
}
}
int ans = 0;
for (int i = 1; i <= k; i++) {
curr.reset();
for (int& j : rem) curr[j] = 1;
if (!solve(i, i, -1)) break;
ans = i;
/*
// limpiar
while (1) {
int sz = rem.size();
vector<int> nw;
bool ch = 0;
for (int j = 0; j < sz; j++) {
int c = 0;
for (int& k : adj[rem[j]]) {
if (cnt[k] >= i) c++;
}
if (c >= i) {
nw.push_back(rem[j]);
continue;
}
ch = 1;
for (int& k : adj[rem[j]]) {
cnt[k]--;
}
}
swap(nw, rem);
if (!ch) break;
}
*/
}
cout << ans << "\n";
}
Compilation message
politicaldevelopment.cpp: In function 'bool solve(int, int, int)':
politicaldevelopment.cpp:14:20: warning: comparison of integer expressions of different signedness: 'std::size_t' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
14 | if (curr.count() < tot) return 0;
| ~~~~~~~~~~~~~^~~~~
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
1624 KB |
Output is correct |
2 |
Correct |
1 ms |
1624 KB |
Output is correct |
3 |
Correct |
33 ms |
23388 KB |
Output is correct |
4 |
Execution timed out |
3052 ms |
22872 KB |
Time limit exceeded |
5 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
1624 KB |
Output is correct |
2 |
Correct |
1 ms |
1624 KB |
Output is correct |
3 |
Correct |
33 ms |
23388 KB |
Output is correct |
4 |
Execution timed out |
3052 ms |
22872 KB |
Time limit exceeded |
5 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
23 ms |
22140 KB |
Output is correct |
2 |
Correct |
2 ms |
1880 KB |
Output is correct |
3 |
Correct |
2 ms |
1884 KB |
Output is correct |
4 |
Correct |
1 ms |
1884 KB |
Output is correct |
5 |
Correct |
3 ms |
1880 KB |
Output is correct |
6 |
Correct |
3 ms |
1920 KB |
Output is correct |
7 |
Correct |
6 ms |
1884 KB |
Output is correct |
8 |
Correct |
3 ms |
1904 KB |
Output is correct |
9 |
Correct |
2 ms |
1884 KB |
Output is correct |
10 |
Correct |
2 ms |
1884 KB |
Output is correct |
11 |
Execution timed out |
3110 ms |
314940 KB |
Time limit exceeded |
12 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
1624 KB |
Output is correct |
2 |
Correct |
1 ms |
1624 KB |
Output is correct |
3 |
Correct |
33 ms |
23388 KB |
Output is correct |
4 |
Execution timed out |
3052 ms |
22872 KB |
Time limit exceeded |
5 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
1624 KB |
Output is correct |
2 |
Correct |
1 ms |
1624 KB |
Output is correct |
3 |
Correct |
33 ms |
23388 KB |
Output is correct |
4 |
Execution timed out |
3052 ms |
22872 KB |
Time limit exceeded |
5 |
Halted |
0 ms |
0 KB |
- |