#include <iostream>
#include <algorithm>
#include <utility>
#include <vector>
#include <stack>
#include <map>
#include <queue>
#include <set>
#include <unordered_set>
#include <unordered_map>
#include <cstring>
#include <cmath>
#include <functional>
#include <cassert>
#include <iomanip>
#include <numeric>
#include <bitset>
#include <sstream>
#include <chrono>
#include <random>
#define ff first
#define ss second
#define PB push_back
#define sz(x) int(x.size())
#define rsz resize
#define fch(xxx, yyy) for (auto xxx : yyy) // abusive notation
#define all(x) (x).begin(),(x).end()
#define eps 1e-9
// more abusive notation (use at your own risk):
// #define int ll
using namespace std;
typedef long long ll;
typedef long double ld;
typedef unsigned long long ull;
using pii = pair<int, int>;
using pll = pair<ll, ll>;
using vi = vector<int>;
using vll = vector<ll>;
// debugging
void __print(int x) {std::cerr << x;}
void __print(ll x) {std::cerr << x;} /* remember to uncomment this when not using THE MACRO */
void __print(unsigned x) {std::cerr << x;}
void __print(ull x) {std::cerr << x;}
void __print(float x) {std::cerr << x;}
void __print(double x) {std::cerr << x;}
void __print(ld x) {std::cerr << x;}
void __print(char x) {std::cerr << '\'' << x << '\'';}
void __print(const char *x) {std::cerr << '\"' << x << '\"';}
void __print(const string& x) {std::cerr << '\"' << x << '\"';}
void __print(bool x) {cerr << (x ? "true" : "false");}
template<typename T, typename V> void __print(const pair<T, V> &x) {std::cerr << '{'; __print(x.ff); std::cerr << ", "; __print(x.ss); std::cerr << '}';}
template<typename T> void __print(const T& x) {int f = 0; std::cerr << '{'; for (auto &i: x) std::cerr << (f++ ? ", " : ""), __print(i); std::cerr << "}";}
void _print() {std::cerr << "]\n";}
template <typename T, typename... V> void _print(T t, V... v) {__print(t); if (sizeof...(v)) std::cerr << ", "; _print(v...);}
void println() {std::cerr << ">--------------------<" << endl;}
#ifndef ONLINE_JUDGE
#define debug(x...) cerr << "[" << #x << "] = ["; _print(x)
#else
#define debug(x...)
#endif
// templates
template <class T> bool ckmin(T &a, const T &b) {return b<a ? a = b, 1 : 0;}
template <class T> bool ckmax(T &a, const T &b) {return b>a ? a = b, 1 : 0;}
template <class T> using gr = greater<T>;
template <class T> using vc = vector<T>;
template <class T> using p_q = priority_queue<T>;
template <class T> using pqg = priority_queue<T, vc<T>, gr<T>>;
template <class T1, class T2> using pr = pair<T1, T2>;
mt19937_64 rng_ll(chrono::steady_clock::now().time_since_epoch().count());
int rng(int M) {return (int)(rng_ll()%M);} /*returns any random number in [0, M) */
// const variables
constexpr int INF = (int)2e9;
constexpr int MOD = 998244353;
constexpr long double EPS = (ld)1e-10, PI = 3.1415926535;
constexpr ll LL_INF = (ll)3e18;
constexpr int mod = (int)1e9 + 7;
constexpr ll inverse = 500000004LL; // inverse of 2 modulo 1e9 + 7
void setIO(const string& str) {// fast input/output
ios_base::sync_with_stdio(false);
cin.tie(nullptr);
if (str.empty()) return;
freopen((str + ".in").c_str(), "r", stdin);
freopen((str + ".out").c_str(), "w", stdout);
}
const int MAXN = int(3e4) + 5;
const int MAXK = int(40 * MAXN) + 5;
int N, K;
vc<pii> adj[MAXN * 2];
map<pii, vi> mp;
int deg[MAXN * 2], cc[MAXN * 2], edges[MAXN * 2], siz[MAXN * 2];
pii parent[MAXN * 2];
bitset<MAXK> dp1, dp2; // DP values: use the index trick
vi d;
vc<pii> v;
int sum = 0;
int cycle_end, cycle_start, final_edge;
int solve() {
//debug("solving");
int D = sz(d);
if (D == 0) {
return abs(sum) <= K;
}
dp1[d[0] + 20 * N] = dp1[-d[0] + 20 * N] = true; // base cases
for (int i = 1; i < D; ++i) {
dp2 = (dp1 << d[i]) | (dp1 >> d[i]);
swap(dp2, dp1);
}
for (int i = 0; i <= 40 * N; ++i) {
int sba = i - 20 * N;
if (dp1[i] && abs(sba + sum) <= K) { // testing to see if a solution exists
return 1;
}
}
return 0;
}
void dfs1(int u) {
//debug(u);
fch(to, adj[u]) {
if (cc[to.ff] != -1) continue;
cc[to.ff] = cc[u];
siz[cc[u]]++;
dfs1(to.ff);
}
}
void conn_comp() {
for (int i = 1; i <= 2 * N; ++i) {
cc[i] = -1;
}
for (int i = 1; i <= 2 * N; ++i) {
if (cc[i] == -1) {
cc[i] = i;
siz[i] = 1;
dfs1(i);
}
}
}
bool dfs(int u, int par) {
//debug(u, par);
deg[u] = 0;
fch(to, adj[u]) {
if (to.ff == par) continue; // skipping edge to parent vertex
if (deg[to.ff] == 0) {
cycle_end = u;
cycle_start = to.ff;
final_edge = to.ss;
return true;
}
parent[to.ff] = {u, to.ss};
if (dfs(to.ff, parent[to.ff].ff))
return true;
}
return false;
}
signed main() { // TIME YOURSELF !!!
setIO("");
cin >> N >> K;
for (int i = 0; i < 2 * N; ++i) {
int l, r, s;
cin >> l >> r >> s;
r += N;
adj[l].PB({r, s});
adj[r].PB({l, s});
mp[{l, r}].PB(s);
deg[l]++, deg[r]++;
v.PB({l, r});
parent[i+1] = {-1, -1}; // just setting all of the values in parent[i] to -1
}
conn_comp();
for (int i = 0; i < sz(v); ++i) {
edges[cc[v[i].ff]]++;
}
for (int i = 1; i <= 2 * N; ++i) {
if (edges[cc[i]] < siz[cc[i]]) {
cout << "NO";
return 0;
}
}
queue<int> q;
for (int i = 1; i <= 2 * N; ++i) {
if (sz(adj[i]) == 1) {
q.push(i);
deg[i] = -1;
}
}
while (!q.empty()) {
int u = q.front();
q.pop();
//debug(u);
fch(to, adj[u]) {
if (deg[to.ff] == -1) continue;
sum += (u <= N ? -1 : 1) * to.ss;
//debug((u <= N ? -1 : 1) * to.ss);
deg[to.ff]--;
if (deg[to.ff] == 1) {
q.push(to.ff);
deg[to.ff] = -1;
}
}
}
for (auto i = mp.begin(); i != mp.end(); i++) {
if (sz(i->ss) == 2) {
int A = (i->ss)[0], B = (i->ss)[1];
d.PB(abs(-A + B));
deg[(i->ff).ff] = deg[(i->ff).ss] = 0;
}
}
for (int i = 1; i <= 2 * N; ++i) {
if (deg[i] == 2) {
int S = 0, bit = 0;
deg[i] = 0;
//debug(i);
dfs(i, parent[i].ff);
//debug(cycle_end, cycle_start);
for (int u = cycle_end; u != cycle_start; u = parent[u].ff, bit ^= 1) {
S += (bit == 0 ? -1 : 1) * parent[u].ss;
if (u == cycle_start) break;
}
//debug(final_edge);
S += (bit == 0 ? -1 : 1) * final_edge;
d.PB(abs(S));
}
}
// debug(sum);
// debug(d);
cout << (solve() == 1 ? "YES" : "NO");
return 0;
}
// TLE -> TRY NOT USING DEFINE INT LONG LONG
// CE -> CHECK LINE 45
// 5000 * 5000 size matrices are kinda big (potential mle)
// Do something, start simpler
Compilation message
tug.cpp: In function 'void setIO(const string&)':
tug.cpp:89:12: warning: ignoring return value of 'FILE* freopen(const char*, const char*, FILE*)' declared with attribute 'warn_unused_result' [-Wunused-result]
89 | freopen((str + ".in").c_str(), "r", stdin);
| ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
tug.cpp:90:12: warning: ignoring return value of 'FILE* freopen(const char*, const char*, FILE*)' declared with attribute 'warn_unused_result' [-Wunused-result]
90 | freopen((str + ".out").c_str(), "w", stdout);
| ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
3 ms |
3920 KB |
Output is correct |
2 |
Correct |
2 ms |
3920 KB |
Output is correct |
3 |
Correct |
3 ms |
3920 KB |
Output is correct |
4 |
Correct |
2 ms |
3920 KB |
Output is correct |
5 |
Correct |
3 ms |
3920 KB |
Output is correct |
6 |
Correct |
3 ms |
3920 KB |
Output is correct |
7 |
Correct |
3 ms |
3932 KB |
Output is correct |
8 |
Correct |
2 ms |
3920 KB |
Output is correct |
9 |
Correct |
4 ms |
3932 KB |
Output is correct |
10 |
Correct |
3 ms |
3932 KB |
Output is correct |
11 |
Correct |
3 ms |
3920 KB |
Output is correct |
12 |
Correct |
3 ms |
3920 KB |
Output is correct |
13 |
Correct |
3 ms |
3920 KB |
Output is correct |
14 |
Correct |
2 ms |
3920 KB |
Output is correct |
15 |
Correct |
2 ms |
3920 KB |
Output is correct |
16 |
Correct |
2 ms |
3920 KB |
Output is correct |
17 |
Correct |
3 ms |
3920 KB |
Output is correct |
18 |
Correct |
3 ms |
3936 KB |
Output is correct |
19 |
Correct |
2 ms |
3932 KB |
Output is correct |
20 |
Correct |
4 ms |
3932 KB |
Output is correct |
21 |
Correct |
2 ms |
3420 KB |
Output is correct |
22 |
Correct |
2 ms |
4092 KB |
Output is correct |
23 |
Correct |
2 ms |
3936 KB |
Output is correct |
24 |
Correct |
3 ms |
3936 KB |
Output is correct |
25 |
Correct |
4 ms |
3932 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
3 ms |
3920 KB |
Output is correct |
2 |
Correct |
2 ms |
3920 KB |
Output is correct |
3 |
Correct |
3 ms |
3920 KB |
Output is correct |
4 |
Correct |
2 ms |
3920 KB |
Output is correct |
5 |
Correct |
3 ms |
3920 KB |
Output is correct |
6 |
Correct |
3 ms |
3920 KB |
Output is correct |
7 |
Correct |
3 ms |
3932 KB |
Output is correct |
8 |
Correct |
2 ms |
3920 KB |
Output is correct |
9 |
Correct |
4 ms |
3932 KB |
Output is correct |
10 |
Correct |
3 ms |
3932 KB |
Output is correct |
11 |
Correct |
3 ms |
3920 KB |
Output is correct |
12 |
Correct |
3 ms |
3920 KB |
Output is correct |
13 |
Correct |
3 ms |
3920 KB |
Output is correct |
14 |
Correct |
2 ms |
3920 KB |
Output is correct |
15 |
Correct |
2 ms |
3920 KB |
Output is correct |
16 |
Correct |
2 ms |
3920 KB |
Output is correct |
17 |
Correct |
3 ms |
3920 KB |
Output is correct |
18 |
Correct |
3 ms |
3936 KB |
Output is correct |
19 |
Correct |
2 ms |
3932 KB |
Output is correct |
20 |
Correct |
4 ms |
3932 KB |
Output is correct |
21 |
Correct |
2 ms |
3420 KB |
Output is correct |
22 |
Correct |
2 ms |
4092 KB |
Output is correct |
23 |
Correct |
2 ms |
3936 KB |
Output is correct |
24 |
Correct |
3 ms |
3936 KB |
Output is correct |
25 |
Correct |
4 ms |
3932 KB |
Output is correct |
26 |
Correct |
135 ms |
4188 KB |
Output is correct |
27 |
Correct |
28 ms |
4444 KB |
Output is correct |
28 |
Correct |
132 ms |
4188 KB |
Output is correct |
29 |
Correct |
23 ms |
4432 KB |
Output is correct |
30 |
Correct |
165 ms |
4176 KB |
Output is correct |
31 |
Correct |
33 ms |
4432 KB |
Output is correct |
32 |
Correct |
134 ms |
4176 KB |
Output is correct |
33 |
Correct |
22 ms |
4432 KB |
Output is correct |
34 |
Correct |
14 ms |
4432 KB |
Output is correct |
35 |
Correct |
22 ms |
4612 KB |
Output is correct |
36 |
Correct |
136 ms |
4176 KB |
Output is correct |
37 |
Correct |
25 ms |
4432 KB |
Output is correct |
38 |
Correct |
187 ms |
4176 KB |
Output is correct |
39 |
Correct |
24 ms |
4432 KB |
Output is correct |
40 |
Correct |
143 ms |
4228 KB |
Output is correct |
41 |
Correct |
24 ms |
4608 KB |
Output is correct |
42 |
Correct |
137 ms |
4176 KB |
Output is correct |
43 |
Correct |
28 ms |
4432 KB |
Output is correct |
44 |
Correct |
175 ms |
4388 KB |
Output is correct |
45 |
Correct |
25 ms |
4432 KB |
Output is correct |
46 |
Correct |
143 ms |
4176 KB |
Output is correct |
47 |
Correct |
4 ms |
3920 KB |
Output is correct |
48 |
Correct |
79 ms |
4432 KB |
Output is correct |
49 |
Correct |
93 ms |
4512 KB |
Output is correct |
50 |
Correct |
149 ms |
4444 KB |
Output is correct |
51 |
Correct |
326 ms |
4444 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
497 ms |
5848 KB |
Output is correct |
2 |
Correct |
21 ms |
6468 KB |
Output is correct |
3 |
Correct |
474 ms |
5848 KB |
Output is correct |
4 |
Correct |
20 ms |
6360 KB |
Output is correct |
5 |
Correct |
453 ms |
5848 KB |
Output is correct |
6 |
Correct |
19 ms |
6348 KB |
Output is correct |
7 |
Correct |
469 ms |
5832 KB |
Output is correct |
8 |
Correct |
17 ms |
6348 KB |
Output is correct |
9 |
Correct |
414 ms |
5836 KB |
Output is correct |
10 |
Correct |
16 ms |
6348 KB |
Output is correct |
11 |
Correct |
451 ms |
5836 KB |
Output is correct |
12 |
Correct |
15 ms |
6348 KB |
Output is correct |
13 |
Correct |
441 ms |
5972 KB |
Output is correct |
14 |
Correct |
441 ms |
5836 KB |
Output is correct |
15 |
Correct |
24 ms |
6284 KB |
Output is correct |
16 |
Correct |
439 ms |
5836 KB |
Output is correct |
17 |
Correct |
24 ms |
6220 KB |
Output is correct |
18 |
Correct |
460 ms |
5836 KB |
Output is correct |
19 |
Correct |
21 ms |
6348 KB |
Output is correct |
20 |
Correct |
449 ms |
5836 KB |
Output is correct |
21 |
Correct |
20 ms |
6092 KB |
Output is correct |
22 |
Correct |
237 ms |
6520 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
3 ms |
3920 KB |
Output is correct |
2 |
Correct |
2 ms |
3920 KB |
Output is correct |
3 |
Correct |
3 ms |
3920 KB |
Output is correct |
4 |
Correct |
2 ms |
3920 KB |
Output is correct |
5 |
Correct |
3 ms |
3920 KB |
Output is correct |
6 |
Correct |
3 ms |
3920 KB |
Output is correct |
7 |
Correct |
3 ms |
3932 KB |
Output is correct |
8 |
Correct |
2 ms |
3920 KB |
Output is correct |
9 |
Correct |
4 ms |
3932 KB |
Output is correct |
10 |
Correct |
3 ms |
3932 KB |
Output is correct |
11 |
Correct |
3 ms |
3920 KB |
Output is correct |
12 |
Correct |
3 ms |
3920 KB |
Output is correct |
13 |
Correct |
3 ms |
3920 KB |
Output is correct |
14 |
Correct |
2 ms |
3920 KB |
Output is correct |
15 |
Correct |
2 ms |
3920 KB |
Output is correct |
16 |
Correct |
2 ms |
3920 KB |
Output is correct |
17 |
Correct |
3 ms |
3920 KB |
Output is correct |
18 |
Correct |
3 ms |
3936 KB |
Output is correct |
19 |
Correct |
2 ms |
3932 KB |
Output is correct |
20 |
Correct |
4 ms |
3932 KB |
Output is correct |
21 |
Correct |
2 ms |
3420 KB |
Output is correct |
22 |
Correct |
2 ms |
4092 KB |
Output is correct |
23 |
Correct |
2 ms |
3936 KB |
Output is correct |
24 |
Correct |
3 ms |
3936 KB |
Output is correct |
25 |
Correct |
4 ms |
3932 KB |
Output is correct |
26 |
Correct |
135 ms |
4188 KB |
Output is correct |
27 |
Correct |
28 ms |
4444 KB |
Output is correct |
28 |
Correct |
132 ms |
4188 KB |
Output is correct |
29 |
Correct |
23 ms |
4432 KB |
Output is correct |
30 |
Correct |
165 ms |
4176 KB |
Output is correct |
31 |
Correct |
33 ms |
4432 KB |
Output is correct |
32 |
Correct |
134 ms |
4176 KB |
Output is correct |
33 |
Correct |
22 ms |
4432 KB |
Output is correct |
34 |
Correct |
14 ms |
4432 KB |
Output is correct |
35 |
Correct |
22 ms |
4612 KB |
Output is correct |
36 |
Correct |
136 ms |
4176 KB |
Output is correct |
37 |
Correct |
25 ms |
4432 KB |
Output is correct |
38 |
Correct |
187 ms |
4176 KB |
Output is correct |
39 |
Correct |
24 ms |
4432 KB |
Output is correct |
40 |
Correct |
143 ms |
4228 KB |
Output is correct |
41 |
Correct |
24 ms |
4608 KB |
Output is correct |
42 |
Correct |
137 ms |
4176 KB |
Output is correct |
43 |
Correct |
28 ms |
4432 KB |
Output is correct |
44 |
Correct |
175 ms |
4388 KB |
Output is correct |
45 |
Correct |
25 ms |
4432 KB |
Output is correct |
46 |
Correct |
143 ms |
4176 KB |
Output is correct |
47 |
Correct |
4 ms |
3920 KB |
Output is correct |
48 |
Correct |
79 ms |
4432 KB |
Output is correct |
49 |
Correct |
93 ms |
4512 KB |
Output is correct |
50 |
Correct |
149 ms |
4444 KB |
Output is correct |
51 |
Correct |
326 ms |
4444 KB |
Output is correct |
52 |
Correct |
497 ms |
5848 KB |
Output is correct |
53 |
Correct |
21 ms |
6468 KB |
Output is correct |
54 |
Correct |
474 ms |
5848 KB |
Output is correct |
55 |
Correct |
20 ms |
6360 KB |
Output is correct |
56 |
Correct |
453 ms |
5848 KB |
Output is correct |
57 |
Correct |
19 ms |
6348 KB |
Output is correct |
58 |
Correct |
469 ms |
5832 KB |
Output is correct |
59 |
Correct |
17 ms |
6348 KB |
Output is correct |
60 |
Correct |
414 ms |
5836 KB |
Output is correct |
61 |
Correct |
16 ms |
6348 KB |
Output is correct |
62 |
Correct |
451 ms |
5836 KB |
Output is correct |
63 |
Correct |
15 ms |
6348 KB |
Output is correct |
64 |
Correct |
441 ms |
5972 KB |
Output is correct |
65 |
Correct |
441 ms |
5836 KB |
Output is correct |
66 |
Correct |
24 ms |
6284 KB |
Output is correct |
67 |
Correct |
439 ms |
5836 KB |
Output is correct |
68 |
Correct |
24 ms |
6220 KB |
Output is correct |
69 |
Correct |
460 ms |
5836 KB |
Output is correct |
70 |
Correct |
21 ms |
6348 KB |
Output is correct |
71 |
Correct |
449 ms |
5836 KB |
Output is correct |
72 |
Correct |
20 ms |
6092 KB |
Output is correct |
73 |
Correct |
237 ms |
6520 KB |
Output is correct |
74 |
Correct |
2237 ms |
10692 KB |
Output is correct |
75 |
Correct |
141 ms |
13504 KB |
Output is correct |
76 |
Correct |
2196 ms |
10688 KB |
Output is correct |
77 |
Correct |
144 ms |
13504 KB |
Output is correct |
78 |
Correct |
2090 ms |
10460 KB |
Output is correct |
79 |
Correct |
2331 ms |
10688 KB |
Output is correct |
80 |
Correct |
144 ms |
13504 KB |
Output is correct |
81 |
Correct |
139 ms |
13504 KB |
Output is correct |
82 |
Correct |
2167 ms |
10688 KB |
Output is correct |
83 |
Correct |
2216 ms |
10584 KB |
Output is correct |
84 |
Correct |
178 ms |
13504 KB |
Output is correct |
85 |
Correct |
2227 ms |
10616 KB |
Output is correct |
86 |
Correct |
170 ms |
13504 KB |
Output is correct |
87 |
Correct |
2189 ms |
10700 KB |
Output is correct |
88 |
Correct |
155 ms |
13504 KB |
Output is correct |
89 |
Correct |
2213 ms |
10520 KB |
Output is correct |
90 |
Correct |
179 ms |
13640 KB |
Output is correct |
91 |
Correct |
2316 ms |
10624 KB |
Output is correct |
92 |
Correct |
169 ms |
13520 KB |
Output is correct |
93 |
Correct |
2310 ms |
10612 KB |
Output is correct |
94 |
Correct |
58 ms |
12736 KB |
Output is correct |
95 |
Correct |
1173 ms |
12500 KB |
Output is correct |
96 |
Correct |
1166 ms |
12480 KB |
Output is correct |
97 |
Correct |
2344 ms |
10688 KB |
Output is correct |
98 |
Correct |
2259 ms |
10512 KB |
Output is correct |