#include <bits/stdc++.h>
using namespace std;
#ifdef tabr
#include "library/debug.cpp"
#else
#define debug(...)
#endif
struct dsu {
vector<int> p;
vector<int> sz;
int n;
dsu(int _n) : n(_n) {
p.resize(n);
iota(p.begin(), p.end(), 0);
sz.assign(n, 1);
}
inline int get(int x) {
if (p[x] == x) {
return x;
} else {
return p[x] = get(p[x]);
}
}
inline bool unite(int x, int y) {
x = get(x);
y = get(y);
if (x == y) {
return false;
}
if (sz[x] > sz[y]) {
swap(x, y);
}
p[x] = y;
sz[y] += sz[x];
return true;
}
inline bool same(int x, int y) {
return (get(x) == get(y));
}
};
vector<int> g[1010];
vector<int> d[1010];
vector<int> from[1030];
unordered_map<int, int> dp[1010];
int f[1030];
int main() {
ios::sync_with_stdio(false);
cin.tie(0);
int n, m;
cin >> n >> m;
dsu uf(2 * n);
vector<tuple<int, int, int>> edges;
for (int i = 0; i < m; i++) {
int a, b, c;
cin >> a >> b >> c;
a--, b--;
if (c == 0) {
g[a].emplace_back(b);
g[b].emplace_back(a);
uf.unite(a, b + n);
uf.unite(a + n, b);
} else {
edges.emplace_back(a, b, c);
}
}
vector<tuple<int, int, int>> new_edges;
int ans = 0;
for (auto [a, b, c] : edges) {
ans += c;
if (uf.same(a, b)) {
new_edges.emplace_back(a, b, c);
}
}
swap(edges, new_edges);
m = (int) edges.size();
for (int i = 0; i < m; i++) {
auto [a, b, c] = edges[i];
d[a].emplace_back(i);
d[b].emplace_back(i);
}
for (int i = 0; i < (1 << 10); i++) {
for (int j = 0; j < 10; j++) {
if (i & (1 << j)) {
continue;
}
from[i | (1 << j)].emplace_back(1 << j);
for (int k = j + 1; k < 10; k++) {
if (i & (1 << k)) {
continue;
}
from[i | (1 << j) | (1 << k)].emplace_back((1 << j) | (1 << k));
}
}
}
function<void(int, int)> dfs = [&](int v, int p) {
vector<int> ch;
unordered_map<int, vector<int>> mp;
for (int to : g[v]) {
if (to == p) {
continue;
}
dfs(to, v);
for (auto [id, cost] : dp[to]) {
if (id != -1) {
mp[id].emplace_back((int) ch.size());
}
}
ch.emplace_back(to);
}
int sz = (int) ch.size();
memset(f, 0, 4 << sz);
for (int i = 0; i < sz; i++) {
f[1 << i] = dp[ch[i]][-1];
}
for (auto [id, u] : mp) {
if (u.size() == 2) {
f[(1 << u[0]) + (1 << u[1])] = max(f[(1 << u[0]) + (1 << u[1])], dp[ch[u[0]]][id] + dp[ch[u[1]]][id] + get<2>(edges[id]));
}
}
for (int id : d[v]) {
auto u = mp[id];
if (u.size() == 1) {
f[1 << u[0]] = max(f[1 << u[0]], dp[ch[u[0]]][id] + get<2>(edges[id]));
mp[id].emplace_back(-1);
}
}
for (int i = 0; i < (1 << sz); i++) {
for (int j : from[i]) {
f[i] = max(f[i], f[j] + f[i ^ j]);
}
}
dp[v][-1] = f[(1 << sz) - 1];
for (int id : d[v]) {
auto u = mp[id];
if (u.size() == 0) {
dp[v][id] = f[(1 << sz) - 1];
}
}
for (auto [id, u] : mp) {
if (u.size() == 1) {
dp[v][id] = f[(1 << sz) - (1 << u[0]) - 1] + dp[ch[u[0]]][id];
}
}
};
dfs(0, -1);
ans -= dp[0][-1];
cout << ans << '\n';
return 0;
}
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
1 ms |
460 KB |
Output is correct |
2 |
Correct |
1 ms |
460 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
1 ms |
588 KB |
Output is correct |
2 |
Correct |
1 ms |
588 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
93 ms |
14660 KB |
Output is correct |
2 |
Correct |
103 ms |
16376 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
1 ms |
460 KB |
Output is correct |
2 |
Correct |
1 ms |
460 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
1 ms |
460 KB |
Output is correct |
2 |
Correct |
1 ms |
460 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
1 ms |
588 KB |
Output is correct |
2 |
Correct |
1 ms |
588 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
2 ms |
716 KB |
Output is correct |
2 |
Correct |
3 ms |
844 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
5 ms |
1356 KB |
Output is correct |
2 |
Correct |
7 ms |
1484 KB |
Output is correct |
3 |
Correct |
20 ms |
3564 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
25 ms |
3524 KB |
Output is correct |
2 |
Correct |
11 ms |
2044 KB |
Output is correct |
3 |
Correct |
12 ms |
2252 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
7 ms |
1180 KB |
Output is correct |
2 |
Correct |
32 ms |
5064 KB |
Output is correct |
3 |
Execution timed out |
343 ms |
51180 KB |
Time limit exceeded |
4 |
Halted |
0 ms |
0 KB |
- |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
111 ms |
17932 KB |
Output is correct |
2 |
Execution timed out |
348 ms |
50832 KB |
Time limit exceeded |
3 |
Halted |
0 ms |
0 KB |
- |