思路
我们发现题目的限制非常复杂，既有大于号又有小于号，所以考虑从最小的入手，就可以省去一些讨论。
对于 \((u_i,v_i,w_i)\) 中 \(w_i\) 最小的 \(v_i\) 的价值一定是 \(w_i + 1\) ，证明可以考虑反证，那么 \(v_i = w_i - 1\)，所以连向 \(u_i\) 的价值小于 \(w_i\)，这与 \(w_i\) 最小矛盾。
考虑每次从 \(w_i\) 最小的 \(v_i\) 出发染色，如果遇到染过色或不合法的则无解，否则可以构造出来一组答案。
代码
#define pii pair<int, int>
#define pb push_back
const int N = 5e5 + 20;
int n, m, a[N];
vector<pii> G[N];
inline void dfs(int u, int val){if(a[u] == val) return;if(a[u] != -1) puts("NO"), exit(0);a[u] = val;for(auto [v, w] : G[u]){if(a[u] == w || a[u] + 1 == w) puts("NO"), exit(0);if(w > a[u]) dfs(v, w - 1);else dfs(v, w + 1);}
}
signed main(){#ifndef ONLINE_JUDGEfreopen("data.in","r",stdin);freopen("data.out","w",stdout);#endifcin >> n >> m; for(int i = 1; i <= n; ++i) a[i] = -1;vector<pii> vec; for(int i = 1, u, v, w; i <= m; ++i) cin >> u >> v >> w, G[u].pb({v, w}), vec.pb({w + 1, v});sort(vec.begin(), vec.end());for(auto [w, v] : vec) if(a[v] == -1) dfs(v, w);puts("YES"); for(int i = 1; i <= n; ++i) cout << a[i] << ' ';return 0;
}