#include "supertrees.h"
#include <bits/stdc++.h>
using namespace std;
using vi = vector<int>;
struct DSU {
vi e;
DSU(int n) : e(n, -1) {}
int repr(int u) {
int u0 = u;
while(e[u] >= 0) u = e[u];
while(e[u0] >= 0) {
int v = e[u0];
e[u0] = u;
u0 = v;
}
return u;
}
void join(int u, int v) {
u = repr(u); v = repr(v);
if(u == v) return;
if(e[u] >= e[v]) swap(u, v);
e[u] += e[v];
e[v] = u;
}
bool same(int u, int v) { return repr(u) == repr(v); }
vector<vi> comp() {
///va da componentele
int n = int(e.size()), nr = 0;
map<int, int> Id;
for(int i = 0; i < n; ++i) {
if(e[i] < 0) {
Id[i] = nr++;
}
}
vector<vi> Re(nr);
for(int i = 0; i < n; ++i)
Re[Id[repr(i)]].push_back(i);
return Re;
}
};
bool solve(vi comp, vector<vi> &p, vector<vi> &L) {
int m = (int)comp.size(), n = (int)p.size();
DSU Sol(m);
for(int i = 0; i < m; ++i)
for(int j = i + 1; j < m; ++j)
if(p[i][j] == 1) Sol.join(i, j); /// arborescenta
bool ok = true;
for(int i = 0; i < m; ++i)
for(int j = i + 1; j < m; ++j)
if(p[i][j] == 2 && Sol.same(i, j)) ok = false;
auto Arb = Sol.comp();
vi A;
for(auto sir : Arb) {
for(int i = 1; i < (int)sir.size(); ++i)
L[sir[0]][sir[i]] = 1;
A.push_back(sir[0]);
}
for(int i = 0; i + 1 < (int)A.size(); ++i) {
L[A[i]][A[i + 1]] = 1;
L[A[i + 1]][A[i]] = 1;
}
if(A.size() != 1) {
L[A[0]][A.back()] = 1;
L[A.back()][A[0]] = 1;
}
return ok;
}
int construct(vector<vi> p) {
int n = int(p.size());
DSU Sol(n);
for(int i = 0; i < n; ++i) {
for(int j = i + 1; j < n; ++j) {
if(p[i][j]) Sol.join(i, j);
}
}
bool ok = true;
for(int i = 0; i < n; ++i) {
for(int j = i + 1; j < n; ++j) {
if(!p[i][j] == Sol.same(i, j))
ok = false;
}
}
if(!ok) return 0;
auto C = Sol.comp();
vector<vi> Muchii(n, vi(n, 0));
for(auto comp : C) {
ok &= solve(comp, p, Muchii);
}
if(ok) {
build(Muchii);
}
return ok;
}
Compilation message
supertrees.cpp: In function 'bool solve(vi, std::vector<std::vector<int> >&, std::vector<std::vector<int> >&)':
supertrees.cpp:50:31: warning: unused variable 'n' [-Wunused-variable]
50 | int m = (int)comp.size(), n = (int)p.size();
| ^
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
344 KB |
Output is correct |
2 |
Incorrect |
0 ms |
348 KB |
b is not symmetric: b[0][1] (1) != b[1][0] (0) |
3 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
344 KB |
Output is correct |
2 |
Incorrect |
0 ms |
348 KB |
b is not symmetric: b[0][1] (1) != b[1][0] (0) |
3 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
0 ms |
348 KB |
Output is correct |
2 |
Correct |
0 ms |
348 KB |
Output is correct |
3 |
Correct |
0 ms |
348 KB |
Output is correct |
4 |
Incorrect |
0 ms |
348 KB |
Answer gives possible 1 while actual possible 0 |
5 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
344 KB |
Output is correct |
2 |
Correct |
0 ms |
348 KB |
Output is correct |
3 |
Incorrect |
0 ms |
348 KB |
b is not symmetric: b[1][2] (1) != b[2][1] (0) |
4 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
344 KB |
Output is correct |
2 |
Incorrect |
0 ms |
348 KB |
b is not symmetric: b[0][1] (1) != b[1][0] (0) |
3 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
344 KB |
Output is correct |
2 |
Incorrect |
0 ms |
348 KB |
b is not symmetric: b[0][1] (1) != b[1][0] (0) |
3 |
Halted |
0 ms |
0 KB |
- |