#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <algorithm>
#include <cmath>
#include <vector>
#include <set>
#include <map>
#include <unordered_set>
#include <unordered_map>
#include <queue>
#include <ctime>
#include <cassert>
#include <complex>
#include <string>
#include <cstring>
#include <chrono>
#include <random>
#include <bitset>
#include <array>
using namespace std;
typedef long long ll;
const int N = 30333;
int n, k;
int l[2 * N];
int r[2 * N];
int s[2 * N];
vector<int> g[4 * N];
int ver;
int pos;
bool was[4 * N];
ll sum[2];
vector<int> comp;
bool have[4 * N];
bool taken[4 * N];
void addEdge(int v, int u) {
g[v].push_back(u);
g[u].push_back(v);
}
void dfs(int v) {
if (v < 2 * n) {
sum[ver & 1] += s[v];
ver++;
} else pos++;
was[v] = true;
comp.push_back(v);
for (int u : g[v])
if (!was[u])
dfs(u);
}
bool OK;
void Go(int p) {
taken[p] = true;
for (int x : g[p]) {
if (!have[x]) {
assert((p == 2 * n + l[x]) || (p == (3 * n + r[x])));
int w = (p ^ (2 * n + l[x]) ^ (3 * n + r[x]));
if (taken[w])
OK = false;
else {
sum[(w < 3 * n)] += s[x];
taken[w] = true;
have[x] = true;
Go(w);
}
}
}
}
bool Try(int i, int p) {
OK = true;
for (int it : comp) {
have[it] = false;
taken[it] = false;
}
sum[0] = 0;
sum[1] = 0;
sum[(p < 3 * n)] += s[i];
have[i] = true;
Go(p);
return OK;
}
int main()
{
// freopen("input.txt", "r", stdin);
// freopen("output.txt", "w", stdout);
scanf("%d%d", &n, &k);
assert(k >= 0);
for (int i = 0; i < 2 * n; i++) {
scanf("%d%d%d", &l[i], &r[i], &s[i]);
--l[i];--r[i];
addEdge(i, 2 * n + l[i]);
addEdge(i, 3 * n + r[i]);
}
vector<int> canSame, mustDiff;
for (int i = 0; i < 2 * n; i++) if (!was[i]) {
ver = 0;
pos = 0;
sum[0] = 0;
sum[1] = 0;
comp.clear();
dfs(i);
if (ver > pos) {
printf("NO\n");
return 0;
}
assert(Try(i, 3 * n + r[i]) || Try(i, 2 * n + l[i]));
if (!Try(i, 3 * n + r[i])) {
assert(Try(i, 2 * n + l[i]));
mustDiff.push_back(sum[0] - sum[1]);
} else if (!Try(i, 2 * n + l[i])) {
assert(Try(i, 3 * n + r[i]));
mustDiff.push_back(sum[0] - sum[1]);
} else {
Try(i, 2 * n + l[i]);
int S00 = sum[0];
int S01 = sum[1];
Try(i, 3 * n + r[i]);
int S10 = sum[0];
int S11 = sum[1];
assert(S00 == S11 && S01 == S10);
canSame.push_back(sum[0] - sum[1]);
}
}
bitset<40 * N + 1> dp;
dp[20 * N] = 1;
for (int x : canSame) {
x = abs(x);
dp = ((dp >> x) | (dp << x));
}
for (int x : mustDiff) {
if (x < 0)
dp = (dp >> (-x));
else
dp = (dp << x);
}
bool ok = false;
for (int i = 0; i <= k; i++)
if (dp[20 * N + i] || dp[20 * N - i])
ok = true;
if (ok)
printf("YES\n");
else
printf("NO\n");
return 0;
}
Compilation message
tug.cpp: In function 'int main()':
tug.cpp:94:7: warning: ignoring return value of 'int scanf(const char*, ...)' declared with attribute 'warn_unused_result' [-Wunused-result]
94 | scanf("%d%d", &n, &k);
| ~~~~~^~~~~~~~~~~~~~~~
tug.cpp:97:8: warning: ignoring return value of 'int scanf(const char*, ...)' declared with attribute 'warn_unused_result' [-Wunused-result]
97 | scanf("%d%d%d", &l[i], &r[i], &s[i]);
| ~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
3 ms |
3668 KB |
Output is correct |
2 |
Correct |
2 ms |
3668 KB |
Output is correct |
3 |
Correct |
3 ms |
3668 KB |
Output is correct |
4 |
Correct |
3 ms |
3668 KB |
Output is correct |
5 |
Correct |
3 ms |
3668 KB |
Output is correct |
6 |
Correct |
2 ms |
3668 KB |
Output is correct |
7 |
Correct |
2 ms |
3668 KB |
Output is correct |
8 |
Correct |
3 ms |
3668 KB |
Output is correct |
9 |
Correct |
2 ms |
3668 KB |
Output is correct |
10 |
Correct |
3 ms |
3668 KB |
Output is correct |
11 |
Correct |
3 ms |
3668 KB |
Output is correct |
12 |
Correct |
3 ms |
3668 KB |
Output is correct |
13 |
Correct |
3 ms |
3668 KB |
Output is correct |
14 |
Correct |
3 ms |
3668 KB |
Output is correct |
15 |
Correct |
3 ms |
3668 KB |
Output is correct |
16 |
Correct |
2 ms |
3668 KB |
Output is correct |
17 |
Correct |
2 ms |
3668 KB |
Output is correct |
18 |
Correct |
3 ms |
3668 KB |
Output is correct |
19 |
Correct |
3 ms |
3668 KB |
Output is correct |
20 |
Correct |
2 ms |
3668 KB |
Output is correct |
21 |
Correct |
2 ms |
3668 KB |
Output is correct |
22 |
Runtime error |
5 ms |
7508 KB |
Execution killed with signal 6 |
23 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
3 ms |
3668 KB |
Output is correct |
2 |
Correct |
2 ms |
3668 KB |
Output is correct |
3 |
Correct |
3 ms |
3668 KB |
Output is correct |
4 |
Correct |
3 ms |
3668 KB |
Output is correct |
5 |
Correct |
3 ms |
3668 KB |
Output is correct |
6 |
Correct |
2 ms |
3668 KB |
Output is correct |
7 |
Correct |
2 ms |
3668 KB |
Output is correct |
8 |
Correct |
3 ms |
3668 KB |
Output is correct |
9 |
Correct |
2 ms |
3668 KB |
Output is correct |
10 |
Correct |
3 ms |
3668 KB |
Output is correct |
11 |
Correct |
3 ms |
3668 KB |
Output is correct |
12 |
Correct |
3 ms |
3668 KB |
Output is correct |
13 |
Correct |
3 ms |
3668 KB |
Output is correct |
14 |
Correct |
3 ms |
3668 KB |
Output is correct |
15 |
Correct |
3 ms |
3668 KB |
Output is correct |
16 |
Correct |
2 ms |
3668 KB |
Output is correct |
17 |
Correct |
2 ms |
3668 KB |
Output is correct |
18 |
Correct |
3 ms |
3668 KB |
Output is correct |
19 |
Correct |
3 ms |
3668 KB |
Output is correct |
20 |
Correct |
2 ms |
3668 KB |
Output is correct |
21 |
Correct |
2 ms |
3668 KB |
Output is correct |
22 |
Runtime error |
5 ms |
7508 KB |
Execution killed with signal 6 |
23 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
436 ms |
5456 KB |
Output is correct |
2 |
Correct |
11 ms |
5204 KB |
Output is correct |
3 |
Correct |
353 ms |
5460 KB |
Output is correct |
4 |
Correct |
11 ms |
5204 KB |
Output is correct |
5 |
Correct |
400 ms |
5456 KB |
Output is correct |
6 |
Correct |
11 ms |
5204 KB |
Output is correct |
7 |
Correct |
353 ms |
5460 KB |
Output is correct |
8 |
Correct |
10 ms |
5184 KB |
Output is correct |
9 |
Correct |
351 ms |
5468 KB |
Output is correct |
10 |
Correct |
12 ms |
5200 KB |
Output is correct |
11 |
Correct |
359 ms |
5460 KB |
Output is correct |
12 |
Correct |
10 ms |
5268 KB |
Output is correct |
13 |
Correct |
350 ms |
5460 KB |
Output is correct |
14 |
Correct |
366 ms |
5384 KB |
Output is correct |
15 |
Correct |
10 ms |
5264 KB |
Output is correct |
16 |
Correct |
350 ms |
5460 KB |
Output is correct |
17 |
Correct |
12 ms |
5204 KB |
Output is correct |
18 |
Correct |
424 ms |
5580 KB |
Output is correct |
19 |
Correct |
14 ms |
5204 KB |
Output is correct |
20 |
Correct |
375 ms |
5400 KB |
Output is correct |
21 |
Correct |
12 ms |
5716 KB |
Output is correct |
22 |
Runtime error |
16 ms |
10584 KB |
Execution killed with signal 6 |
23 |
Halted |
0 ms |
0 KB |
- |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
3 ms |
3668 KB |
Output is correct |
2 |
Correct |
2 ms |
3668 KB |
Output is correct |
3 |
Correct |
3 ms |
3668 KB |
Output is correct |
4 |
Correct |
3 ms |
3668 KB |
Output is correct |
5 |
Correct |
3 ms |
3668 KB |
Output is correct |
6 |
Correct |
2 ms |
3668 KB |
Output is correct |
7 |
Correct |
2 ms |
3668 KB |
Output is correct |
8 |
Correct |
3 ms |
3668 KB |
Output is correct |
9 |
Correct |
2 ms |
3668 KB |
Output is correct |
10 |
Correct |
3 ms |
3668 KB |
Output is correct |
11 |
Correct |
3 ms |
3668 KB |
Output is correct |
12 |
Correct |
3 ms |
3668 KB |
Output is correct |
13 |
Correct |
3 ms |
3668 KB |
Output is correct |
14 |
Correct |
3 ms |
3668 KB |
Output is correct |
15 |
Correct |
3 ms |
3668 KB |
Output is correct |
16 |
Correct |
2 ms |
3668 KB |
Output is correct |
17 |
Correct |
2 ms |
3668 KB |
Output is correct |
18 |
Correct |
3 ms |
3668 KB |
Output is correct |
19 |
Correct |
3 ms |
3668 KB |
Output is correct |
20 |
Correct |
2 ms |
3668 KB |
Output is correct |
21 |
Correct |
2 ms |
3668 KB |
Output is correct |
22 |
Runtime error |
5 ms |
7508 KB |
Execution killed with signal 6 |
23 |
Halted |
0 ms |
0 KB |
- |