/*
* Author: Nonoze
* Created: Friday 07/03/2025
*/
#include <bits/stdc++.h>
using namespace std;
#ifndef DEBUG
#define dbg(...)
#endif
// #define cout cerr << "OUT: "
#define endl '\n'
#define endlfl '\n' << flush
#define quit(x) return (void)(cout << x << endl)
template<typename T> void read(T& x) { cin >> x;}
template<typename T1, typename T2> void read(pair<T1, T2>& p) { read(p.first), read(p.second);}
template<typename T> void read(vector<T>& v) { for (auto& x : v) read(x); }
template<typename T1, typename T2> void read(T1& x, T2& y) { read(x), read(y); }
template<typename T1, typename T2, typename T3> void read(T1& x, T2& y, T3& z) { read(x), read(y), read(z); }
template<typename T1, typename T2, typename T3, typename T4> void read(T1& x, T2& y, T3& z, T4& zz) { read(x), read(y), read(z), read(zz); }
template<typename T> void print(vector<T>& v) { for (auto& x : v) cout << x << ' '; cout << endl; }
#define sz(x) (int)(x.size())
#define all(x) (x).begin(), (x).end()
#define rall(x) (x).rbegin(), (x).rend()
#define make_unique(v) sort(all(v)), v.erase(unique(all(v)), (v).end())
#define pb push_back
#define mp(a, b) make_pair(a, b)
#define fi first
#define se second
#define cmin(a, b) a = min(a, b)
#define cmax(a, b) a = max(a, b)
#define YES cout << "YES" << endl
#define NO cout << "NO" << endl
#define QYES quit("YES")
#define QNO quit("NO")
#define int long long
#define double long double
const int inf = numeric_limits<int>::max() / 4;
mt19937 rng(chrono::steady_clock::now().time_since_epoch().count());
const int MOD = 1e9+7, LOG=20;
void solve();
signed main() {
ios::sync_with_stdio(0);
cin.tie(0);
int tt=1;
// cin >> tt;
while(tt--) solve();
return 0;
}
int n, k, m, q;
vector<multiset<pair<int, int>>> adj;
set<pair<int, int>> todo;
vector<bool> vis;
int propagate() {
vector<vector<int>> edges;
int cnt=0;
while (!todo.empty() && todo.begin()->fi==1) {
int u=todo.begin()->se, v=adj[u].begin()->fi, w=adj[u].begin()->se; todo.erase(todo.begin()), adj[u].erase(adj[u].begin());
if (adj[v].count({u, -w})) adj[v].extract({u, -w}), todo.erase({sz(adj[v])+1, v}), todo.insert({sz(adj[v]), v});
vis[u]=1, cnt+=w;
edges.pb({u, v, w});
}
return cnt;
}
void solve() {
read(n, k);
adj.clear(), adj.resize(2*n);
for (int i=0; i<2*n; i++) {
int u, v, w; read(u, v, w); u--, v+=n-1;
adj[u].insert({v, w}), adj[v].insert({u, -w});
}
n*=2;
vis.clear(), vis.resize(n, 0);
for (int i=0; i<n; i++) {
todo.insert({sz(adj[i]), i});
if (adj[i].empty()) QNO;
}
int val=propagate()+k;
for (int i=0; i<n; i++) if (sz(adj[i])) {
assert(sz(adj[i])==2);
} else if (!vis[i]) QNO;
vector<int> vec;
for (int i=0; i<n; i++) if (sz(adj[i]) && !vis[i]) {
adj[i].erase(adj[i].begin());
todo.erase({sz(adj[i])+1, i}), todo.insert({sz(adj[i]), i});
vec.pb(abs(propagate()));
val-=vec.back(); vec.back()*=2;
}
if (val>=0) QYES;
val*=-1;
dbg(val);
sort(all(vec));
vector<bool> dp(val, 0); dp[0]=1;
for (int i=0; i<sz(vec); i++) {
for (int j=val-1; j>=0; j--) if (dp[j]) {
if (j+vec[i]<val) dp[j+vec[i]]=1;
else if (j+vec[i]<=val+2*k) QYES;
}
}
QNO;
}
# | 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... |