이 제출은 이전 버전의 oj.uz에서 채점하였습니다. 현재는 제출 당시와는 다른 서버에서 채점을 하기 때문에, 다시 제출하면 결과가 달라질 수도 있습니다.
#include "bits/stdc++.h"
using namespace std;
#define int long long
#ifdef Nero
#include "Deb.h"
#else
#define debug(...)
#endif
const int N = 1e5 + 5;
const int INF = 1e9 + 9;
int val[N];
bool vis[N];
bool vis2[N];
bool color[N];
stack<int> stk;
vector<int> component;
vector<int> odd_cycle;
vector<pair<int, int>> g[N];
bool check_not_bipartite(int v, int c) {
if (vis[v]) {
if (color[v] != c && odd_cycle.empty()) {
odd_cycle.push_back(v);
while (true) {
int x = stk.top();
stk.pop();
odd_cycle.push_back(x);
if (x == v) {
break;
}
}
return true;
}
return false;
}
vis[v] = true;
stk.push(v);
color[v] = c;
component.push_back(v);
bool ret = false;
for (auto [u, w] : g[v]) {
ret |= check_not_bipartite(u, c ^ 1);
}
if (!stk.empty() && stk.top() == v) {
stk.pop();
}
return ret;
}
int assign(int v, int c) {
if (vis2[v]) {
if (val[v] != c) {
return INF;
}
return 0;
}
vis2[v] = true;
val[v] = c;
int ret = abs(c);
for (auto [u, w] : g[v]) {
ret += assign(u, w - c);
ret = min(ret, INF);
}
return ret;
}
signed main() {
ios::sync_with_stdio(false);
cin.tie(nullptr);
int n, m;
cin >> n >> m;
map<pair<int, int>, int> mp;
for (int i = 0; i < m; ++i) {
int u, v, w;
cin >> u >> v >> w;
w *= 2;
if (u > v) swap(u, v);
if (!mp.count({u, v})) {
mp[{u, v}] = w;
g[u].push_back({v, w});
g[v].push_back({u, w});
}
if (mp[{u, v}] != w) {
cout << "NO" << '\n';
return 0;
}
}
for (int i = 1; i <= n; ++i) {
if (vis[i]) {
continue;
}
while (!stk.empty()) stk.pop();
bool not_bipartite = check_not_bipartite(i, 0);
if (not_bipartite) {
int sum = 0;
for (int j = 1; j < (int) odd_cycle.size(); ++j) {
int u = odd_cycle[j - 1], v = odd_cycle[j];
if (u > v) swap(u, v);
sum += mp[{u, v}] * (j % 2 ? 1 : -1);
}
int rt = odd_cycle[0];
int x = assign(rt, sum / 2);
if (x == INF) {
cout << "NO" << '\n';
return 0;
}
odd_cycle.clear();
} else {
int l = -1e7, r = 1e7;
while (r - l > 10) {
int ml = l + (r - l) / 3;
int mr = r - (r - l) / 3;
int tmp = assign(i, ml);
for (int v : component) {
vis2[v] = false;
}
int tmp2 = assign(i, mr);
for (int v : component) {
vis2[v] = false;
}
if (tmp < tmp2) {
r = mr;
} else {
l = ml;
}
}
int mn = INF, uv = -1;
for (int tval = l; tval <= r; tval++) {
int tmp = assign(i, tval);
if (tmp < mn) {
mn = tmp;
uv = tval;
}
for (int v : component) {
vis2[v] = 0;
}
}
if (uv == -1) {
cout << "NO" << '\n';
return 0;
}
assign(i, uv);
}
component.clear();
}
for (auto [e, w] : mp) {
if (val[e.first] + val[e.second] != w) {
cout << "NO" << '\n';
return 0;
}
}
cout << "YES" << '\n';
for (int i = 1; i <= n; ++i) {
cout << (val[i] / 2.0) << ' ';
}
return 0;
}
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |