#include <bits/stdc++.h>
#include "vision.h"
using namespace std;
void construct_network(int H, int W, int K) {
const auto cell = [&](int x, int y) {
y -= W - 1;
if ((x - y) % 2 != 0) return -1;
const int i = (x + y) / 2;
const int j = (x - y) / 2;
if (0 <= i and i < H and 0 <= j and j < W) {
return i * W + j;
} else {
return -1;
}
};
const int N = H + W - 1;
vector<int> row(N), col(N);
for (int i = 0; i < N; ++i) {
vector<int> x, y;
for (int j = 0; j < N; ++j) {
const int a = cell(i, j);
const int b = cell(j, i);
if (a != -1) x.push_back(a);
if (b != -1) y.push_back(b);
}
row[i] = add_or(x);
col[i] = add_or(y);
}
const auto solve = [&](const int thres) {
vector<int> x, y;
for (int k = thres; k <= N; ++k) {
vector<int> a, b;
for (int i = 0; i < k - thres; ++i) {
a.push_back(row[i]);
b.push_back(col[i]);
}
for (int i = k; i < N; ++i) {
a.push_back(row[i]);
b.push_back(col[i]);
}
x.push_back(add_or(a));
y.push_back(add_or(b));
}
return add_not(add_or({add_and(x), add_and(y)}));
};
if (K + 1 == N) add_not(solve(K));
else add_xor({solve(K), solve(K + 1)});
}
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
212 KB |
Output is correct |
2 |
Correct |
1 ms |
300 KB |
Output is correct |
3 |
Correct |
1 ms |
212 KB |
Output is correct |
4 |
Correct |
1 ms |
212 KB |
Output is correct |
5 |
Correct |
1 ms |
212 KB |
Output is correct |
6 |
Correct |
1 ms |
296 KB |
Output is correct |
7 |
Correct |
1 ms |
300 KB |
Output is correct |
8 |
Correct |
1 ms |
212 KB |
Output is correct |
9 |
Correct |
1 ms |
212 KB |
Output is correct |
10 |
Correct |
1 ms |
304 KB |
Output is correct |
11 |
Correct |
0 ms |
212 KB |
Output is correct |
12 |
Correct |
1 ms |
212 KB |
Output is correct |
13 |
Correct |
1 ms |
252 KB |
Output is correct |
14 |
Correct |
0 ms |
212 KB |
Output is correct |
15 |
Correct |
1 ms |
212 KB |
Output is correct |
16 |
Correct |
1 ms |
212 KB |
Output is correct |
17 |
Correct |
1 ms |
212 KB |
Output is correct |
18 |
Correct |
1 ms |
212 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
212 KB |
Output is correct |
2 |
Correct |
1 ms |
300 KB |
Output is correct |
3 |
Correct |
1 ms |
212 KB |
Output is correct |
4 |
Correct |
1 ms |
212 KB |
Output is correct |
5 |
Correct |
1 ms |
212 KB |
Output is correct |
6 |
Correct |
1 ms |
296 KB |
Output is correct |
7 |
Correct |
1 ms |
300 KB |
Output is correct |
8 |
Correct |
1 ms |
212 KB |
Output is correct |
9 |
Correct |
1 ms |
212 KB |
Output is correct |
10 |
Correct |
1 ms |
304 KB |
Output is correct |
11 |
Correct |
0 ms |
212 KB |
Output is correct |
12 |
Correct |
1 ms |
212 KB |
Output is correct |
13 |
Correct |
1 ms |
252 KB |
Output is correct |
14 |
Correct |
0 ms |
212 KB |
Output is correct |
15 |
Correct |
1 ms |
212 KB |
Output is correct |
16 |
Correct |
1 ms |
212 KB |
Output is correct |
17 |
Correct |
1 ms |
212 KB |
Output is correct |
18 |
Correct |
1 ms |
212 KB |
Output is correct |
19 |
Correct |
1 ms |
300 KB |
Output is correct |
20 |
Correct |
1 ms |
300 KB |
Output is correct |
21 |
Correct |
1 ms |
212 KB |
Output is correct |
22 |
Correct |
1 ms |
212 KB |
Output is correct |
23 |
Correct |
1 ms |
212 KB |
Output is correct |
24 |
Correct |
1 ms |
212 KB |
Output is correct |
25 |
Correct |
1 ms |
212 KB |
Output is correct |
26 |
Correct |
1 ms |
292 KB |
Output is correct |
27 |
Correct |
1 ms |
212 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
212 KB |
Output is correct |
2 |
Correct |
1 ms |
300 KB |
Output is correct |
3 |
Correct |
1 ms |
212 KB |
Output is correct |
4 |
Correct |
1 ms |
212 KB |
Output is correct |
5 |
Correct |
1 ms |
212 KB |
Output is correct |
6 |
Correct |
1 ms |
296 KB |
Output is correct |
7 |
Correct |
1 ms |
300 KB |
Output is correct |
8 |
Correct |
1 ms |
212 KB |
Output is correct |
9 |
Correct |
1 ms |
212 KB |
Output is correct |
10 |
Correct |
1 ms |
304 KB |
Output is correct |
11 |
Correct |
0 ms |
212 KB |
Output is correct |
12 |
Correct |
1 ms |
212 KB |
Output is correct |
13 |
Correct |
1 ms |
252 KB |
Output is correct |
14 |
Correct |
0 ms |
212 KB |
Output is correct |
15 |
Correct |
1 ms |
212 KB |
Output is correct |
16 |
Correct |
1 ms |
212 KB |
Output is correct |
17 |
Correct |
1 ms |
212 KB |
Output is correct |
18 |
Correct |
1 ms |
212 KB |
Output is correct |
19 |
Correct |
1 ms |
300 KB |
Output is correct |
20 |
Correct |
1 ms |
300 KB |
Output is correct |
21 |
Correct |
1 ms |
212 KB |
Output is correct |
22 |
Correct |
1 ms |
212 KB |
Output is correct |
23 |
Correct |
1 ms |
212 KB |
Output is correct |
24 |
Correct |
1 ms |
212 KB |
Output is correct |
25 |
Correct |
1 ms |
212 KB |
Output is correct |
26 |
Correct |
1 ms |
292 KB |
Output is correct |
27 |
Correct |
1 ms |
212 KB |
Output is correct |
28 |
Correct |
3 ms |
340 KB |
Output is correct |
29 |
Correct |
1 ms |
212 KB |
Output is correct |
30 |
Correct |
1 ms |
212 KB |
Output is correct |
31 |
Correct |
1 ms |
212 KB |
Output is correct |
32 |
Correct |
2 ms |
340 KB |
Output is correct |
33 |
Correct |
3 ms |
428 KB |
Output is correct |
34 |
Correct |
2 ms |
304 KB |
Output is correct |
35 |
Correct |
1 ms |
340 KB |
Output is correct |
36 |
Correct |
1 ms |
304 KB |
Output is correct |
37 |
Correct |
1 ms |
320 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
212 KB |
Output is correct |
2 |
Correct |
1 ms |
300 KB |
Output is correct |
3 |
Correct |
1 ms |
212 KB |
Output is correct |
4 |
Correct |
1 ms |
212 KB |
Output is correct |
5 |
Correct |
1 ms |
212 KB |
Output is correct |
6 |
Correct |
1 ms |
296 KB |
Output is correct |
7 |
Correct |
1 ms |
300 KB |
Output is correct |
8 |
Correct |
1 ms |
212 KB |
Output is correct |
9 |
Correct |
1 ms |
212 KB |
Output is correct |
10 |
Correct |
1 ms |
304 KB |
Output is correct |
11 |
Correct |
0 ms |
212 KB |
Output is correct |
12 |
Correct |
1 ms |
212 KB |
Output is correct |
13 |
Correct |
1 ms |
252 KB |
Output is correct |
14 |
Correct |
0 ms |
212 KB |
Output is correct |
15 |
Correct |
1 ms |
212 KB |
Output is correct |
16 |
Correct |
1 ms |
212 KB |
Output is correct |
17 |
Correct |
1 ms |
212 KB |
Output is correct |
18 |
Correct |
1 ms |
212 KB |
Output is correct |
19 |
Correct |
1 ms |
300 KB |
Output is correct |
20 |
Correct |
1 ms |
300 KB |
Output is correct |
21 |
Correct |
1 ms |
212 KB |
Output is correct |
22 |
Correct |
1 ms |
212 KB |
Output is correct |
23 |
Correct |
1 ms |
212 KB |
Output is correct |
24 |
Correct |
1 ms |
212 KB |
Output is correct |
25 |
Correct |
1 ms |
212 KB |
Output is correct |
26 |
Correct |
1 ms |
292 KB |
Output is correct |
27 |
Correct |
1 ms |
212 KB |
Output is correct |
28 |
Correct |
3 ms |
340 KB |
Output is correct |
29 |
Correct |
1 ms |
212 KB |
Output is correct |
30 |
Correct |
1 ms |
212 KB |
Output is correct |
31 |
Correct |
1 ms |
212 KB |
Output is correct |
32 |
Correct |
2 ms |
340 KB |
Output is correct |
33 |
Correct |
3 ms |
428 KB |
Output is correct |
34 |
Correct |
2 ms |
304 KB |
Output is correct |
35 |
Correct |
1 ms |
340 KB |
Output is correct |
36 |
Correct |
1 ms |
304 KB |
Output is correct |
37 |
Correct |
1 ms |
320 KB |
Output is correct |
38 |
Correct |
11 ms |
1308 KB |
Output is correct |
39 |
Correct |
3 ms |
468 KB |
Output is correct |
40 |
Correct |
1 ms |
340 KB |
Output is correct |
41 |
Correct |
9 ms |
1108 KB |
Output is correct |
42 |
Correct |
2 ms |
340 KB |
Output is correct |
43 |
Correct |
17 ms |
2036 KB |
Output is correct |
44 |
Correct |
12 ms |
1364 KB |
Output is correct |
45 |
Correct |
7 ms |
896 KB |
Output is correct |
46 |
Correct |
4 ms |
596 KB |
Output is correct |
47 |
Correct |
3 ms |
468 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
15 ms |
1620 KB |
Output is correct |
2 |
Correct |
5 ms |
552 KB |
Output is correct |
3 |
Correct |
4 ms |
596 KB |
Output is correct |
4 |
Correct |
1 ms |
212 KB |
Output is correct |
5 |
Correct |
19 ms |
1568 KB |
Output is correct |
6 |
Correct |
8 ms |
856 KB |
Output is correct |
7 |
Correct |
3 ms |
468 KB |
Output is correct |
8 |
Correct |
1 ms |
212 KB |
Output is correct |
9 |
Correct |
15 ms |
1536 KB |
Output is correct |
10 |
Correct |
9 ms |
1064 KB |
Output is correct |
11 |
Correct |
5 ms |
680 KB |
Output is correct |
12 |
Correct |
5 ms |
596 KB |
Output is correct |
13 |
Correct |
3 ms |
340 KB |
Output is correct |
14 |
Correct |
1 ms |
212 KB |
Output is correct |
15 |
Correct |
18 ms |
1624 KB |
Output is correct |
16 |
Correct |
11 ms |
1064 KB |
Output is correct |
17 |
Correct |
5 ms |
596 KB |
Output is correct |
18 |
Correct |
4 ms |
596 KB |
Output is correct |
19 |
Correct |
2 ms |
340 KB |
Output is correct |
20 |
Correct |
1 ms |
296 KB |
Output is correct |
21 |
Correct |
1 ms |
212 KB |
Output is correct |
22 |
Correct |
1 ms |
212 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
296 KB |
Output is correct |
2 |
Correct |
1 ms |
292 KB |
Output is correct |
3 |
Correct |
8 ms |
944 KB |
Output is correct |
4 |
Correct |
5 ms |
724 KB |
Output is correct |
5 |
Correct |
3 ms |
424 KB |
Output is correct |
6 |
Correct |
2 ms |
340 KB |
Output is correct |
7 |
Correct |
1 ms |
340 KB |
Output is correct |
8 |
Correct |
15 ms |
1492 KB |
Output is correct |
9 |
Correct |
14 ms |
1032 KB |
Output is correct |
10 |
Correct |
7 ms |
680 KB |
Output is correct |
11 |
Correct |
3 ms |
468 KB |
Output is correct |
12 |
Correct |
2 ms |
340 KB |
Output is correct |
13 |
Correct |
15 ms |
1620 KB |
Output is correct |
14 |
Correct |
8 ms |
980 KB |
Output is correct |
15 |
Correct |
4 ms |
432 KB |
Output is correct |
16 |
Correct |
1 ms |
212 KB |
Output is correct |
17 |
Correct |
15 ms |
1604 KB |
Output is correct |
18 |
Correct |
5 ms |
596 KB |
Output is correct |
19 |
Correct |
1 ms |
212 KB |
Output is correct |
20 |
Correct |
41 ms |
4240 KB |
Output is correct |
21 |
Correct |
20 ms |
2260 KB |
Output is correct |
22 |
Correct |
9 ms |
1124 KB |
Output is correct |
23 |
Correct |
5 ms |
724 KB |
Output is correct |
24 |
Correct |
41 ms |
4264 KB |
Output is correct |
25 |
Correct |
14 ms |
1620 KB |
Output is correct |
26 |
Correct |
5 ms |
680 KB |
Output is correct |
27 |
Correct |
90 ms |
7552 KB |
Output is correct |
28 |
Correct |
44 ms |
4772 KB |
Output is correct |
29 |
Correct |
24 ms |
2728 KB |
Output is correct |
30 |
Correct |
14 ms |
1476 KB |
Output is correct |
31 |
Correct |
9 ms |
1108 KB |
Output is correct |
32 |
Correct |
1 ms |
212 KB |
Output is correct |
33 |
Correct |
1 ms |
212 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
84 ms |
7508 KB |
Output is correct |
2 |
Correct |
0 ms |
212 KB |
Output is correct |
3 |
Correct |
7 ms |
924 KB |
Output is correct |
4 |
Correct |
19 ms |
1492 KB |
Output is correct |
5 |
Correct |
18 ms |
1620 KB |
Output is correct |
6 |
Correct |
16 ms |
1548 KB |
Output is correct |
7 |
Correct |
43 ms |
4228 KB |
Output is correct |
8 |
Correct |
37 ms |
4300 KB |
Output is correct |
9 |
Correct |
96 ms |
7624 KB |
Output is correct |
10 |
Correct |
1 ms |
212 KB |
Output is correct |
11 |
Correct |
1 ms |
212 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
212 KB |
Output is correct |
2 |
Correct |
1 ms |
300 KB |
Output is correct |
3 |
Correct |
1 ms |
212 KB |
Output is correct |
4 |
Correct |
1 ms |
212 KB |
Output is correct |
5 |
Correct |
1 ms |
212 KB |
Output is correct |
6 |
Correct |
1 ms |
296 KB |
Output is correct |
7 |
Correct |
1 ms |
300 KB |
Output is correct |
8 |
Correct |
1 ms |
212 KB |
Output is correct |
9 |
Correct |
1 ms |
212 KB |
Output is correct |
10 |
Correct |
1 ms |
304 KB |
Output is correct |
11 |
Correct |
0 ms |
212 KB |
Output is correct |
12 |
Correct |
1 ms |
212 KB |
Output is correct |
13 |
Correct |
1 ms |
252 KB |
Output is correct |
14 |
Correct |
0 ms |
212 KB |
Output is correct |
15 |
Correct |
1 ms |
212 KB |
Output is correct |
16 |
Correct |
1 ms |
212 KB |
Output is correct |
17 |
Correct |
1 ms |
212 KB |
Output is correct |
18 |
Correct |
1 ms |
212 KB |
Output is correct |
19 |
Correct |
1 ms |
300 KB |
Output is correct |
20 |
Correct |
1 ms |
300 KB |
Output is correct |
21 |
Correct |
1 ms |
212 KB |
Output is correct |
22 |
Correct |
1 ms |
212 KB |
Output is correct |
23 |
Correct |
1 ms |
212 KB |
Output is correct |
24 |
Correct |
1 ms |
212 KB |
Output is correct |
25 |
Correct |
1 ms |
212 KB |
Output is correct |
26 |
Correct |
1 ms |
292 KB |
Output is correct |
27 |
Correct |
1 ms |
212 KB |
Output is correct |
28 |
Correct |
3 ms |
340 KB |
Output is correct |
29 |
Correct |
1 ms |
212 KB |
Output is correct |
30 |
Correct |
1 ms |
212 KB |
Output is correct |
31 |
Correct |
1 ms |
212 KB |
Output is correct |
32 |
Correct |
2 ms |
340 KB |
Output is correct |
33 |
Correct |
3 ms |
428 KB |
Output is correct |
34 |
Correct |
2 ms |
304 KB |
Output is correct |
35 |
Correct |
1 ms |
340 KB |
Output is correct |
36 |
Correct |
1 ms |
304 KB |
Output is correct |
37 |
Correct |
1 ms |
320 KB |
Output is correct |
38 |
Correct |
11 ms |
1308 KB |
Output is correct |
39 |
Correct |
3 ms |
468 KB |
Output is correct |
40 |
Correct |
1 ms |
340 KB |
Output is correct |
41 |
Correct |
9 ms |
1108 KB |
Output is correct |
42 |
Correct |
2 ms |
340 KB |
Output is correct |
43 |
Correct |
17 ms |
2036 KB |
Output is correct |
44 |
Correct |
12 ms |
1364 KB |
Output is correct |
45 |
Correct |
7 ms |
896 KB |
Output is correct |
46 |
Correct |
4 ms |
596 KB |
Output is correct |
47 |
Correct |
3 ms |
468 KB |
Output is correct |
48 |
Correct |
15 ms |
1620 KB |
Output is correct |
49 |
Correct |
5 ms |
552 KB |
Output is correct |
50 |
Correct |
4 ms |
596 KB |
Output is correct |
51 |
Correct |
1 ms |
212 KB |
Output is correct |
52 |
Correct |
19 ms |
1568 KB |
Output is correct |
53 |
Correct |
8 ms |
856 KB |
Output is correct |
54 |
Correct |
3 ms |
468 KB |
Output is correct |
55 |
Correct |
1 ms |
212 KB |
Output is correct |
56 |
Correct |
15 ms |
1536 KB |
Output is correct |
57 |
Correct |
9 ms |
1064 KB |
Output is correct |
58 |
Correct |
5 ms |
680 KB |
Output is correct |
59 |
Correct |
5 ms |
596 KB |
Output is correct |
60 |
Correct |
3 ms |
340 KB |
Output is correct |
61 |
Correct |
1 ms |
212 KB |
Output is correct |
62 |
Correct |
18 ms |
1624 KB |
Output is correct |
63 |
Correct |
11 ms |
1064 KB |
Output is correct |
64 |
Correct |
5 ms |
596 KB |
Output is correct |
65 |
Correct |
4 ms |
596 KB |
Output is correct |
66 |
Correct |
2 ms |
340 KB |
Output is correct |
67 |
Correct |
1 ms |
296 KB |
Output is correct |
68 |
Correct |
1 ms |
212 KB |
Output is correct |
69 |
Correct |
1 ms |
212 KB |
Output is correct |
70 |
Correct |
1 ms |
296 KB |
Output is correct |
71 |
Correct |
1 ms |
292 KB |
Output is correct |
72 |
Correct |
8 ms |
944 KB |
Output is correct |
73 |
Correct |
5 ms |
724 KB |
Output is correct |
74 |
Correct |
3 ms |
424 KB |
Output is correct |
75 |
Correct |
2 ms |
340 KB |
Output is correct |
76 |
Correct |
1 ms |
340 KB |
Output is correct |
77 |
Correct |
15 ms |
1492 KB |
Output is correct |
78 |
Correct |
14 ms |
1032 KB |
Output is correct |
79 |
Correct |
7 ms |
680 KB |
Output is correct |
80 |
Correct |
3 ms |
468 KB |
Output is correct |
81 |
Correct |
2 ms |
340 KB |
Output is correct |
82 |
Correct |
15 ms |
1620 KB |
Output is correct |
83 |
Correct |
8 ms |
980 KB |
Output is correct |
84 |
Correct |
4 ms |
432 KB |
Output is correct |
85 |
Correct |
1 ms |
212 KB |
Output is correct |
86 |
Correct |
15 ms |
1604 KB |
Output is correct |
87 |
Correct |
5 ms |
596 KB |
Output is correct |
88 |
Correct |
1 ms |
212 KB |
Output is correct |
89 |
Correct |
41 ms |
4240 KB |
Output is correct |
90 |
Correct |
20 ms |
2260 KB |
Output is correct |
91 |
Correct |
9 ms |
1124 KB |
Output is correct |
92 |
Correct |
5 ms |
724 KB |
Output is correct |
93 |
Correct |
41 ms |
4264 KB |
Output is correct |
94 |
Correct |
14 ms |
1620 KB |
Output is correct |
95 |
Correct |
5 ms |
680 KB |
Output is correct |
96 |
Correct |
90 ms |
7552 KB |
Output is correct |
97 |
Correct |
44 ms |
4772 KB |
Output is correct |
98 |
Correct |
24 ms |
2728 KB |
Output is correct |
99 |
Correct |
14 ms |
1476 KB |
Output is correct |
100 |
Correct |
9 ms |
1108 KB |
Output is correct |
101 |
Correct |
1 ms |
212 KB |
Output is correct |
102 |
Correct |
1 ms |
212 KB |
Output is correct |
103 |
Correct |
84 ms |
7508 KB |
Output is correct |
104 |
Correct |
0 ms |
212 KB |
Output is correct |
105 |
Correct |
7 ms |
924 KB |
Output is correct |
106 |
Correct |
19 ms |
1492 KB |
Output is correct |
107 |
Correct |
18 ms |
1620 KB |
Output is correct |
108 |
Correct |
16 ms |
1548 KB |
Output is correct |
109 |
Correct |
43 ms |
4228 KB |
Output is correct |
110 |
Correct |
37 ms |
4300 KB |
Output is correct |
111 |
Correct |
96 ms |
7624 KB |
Output is correct |
112 |
Correct |
1 ms |
212 KB |
Output is correct |
113 |
Correct |
1 ms |
212 KB |
Output is correct |
114 |
Correct |
43 ms |
4732 KB |
Output is correct |
115 |
Correct |
1 ms |
300 KB |
Output is correct |
116 |
Correct |
19 ms |
1576 KB |
Output is correct |
117 |
Correct |
6 ms |
824 KB |
Output is correct |
118 |
Correct |
34 ms |
3196 KB |
Output is correct |
119 |
Correct |
23 ms |
2728 KB |
Output is correct |
120 |
Correct |
24 ms |
2624 KB |
Output is correct |
121 |
Correct |
23 ms |
2772 KB |
Output is correct |
122 |
Correct |
25 ms |
2680 KB |
Output is correct |
123 |
Correct |
67 ms |
7484 KB |
Output is correct |
124 |
Correct |
44 ms |
4684 KB |
Output is correct |
125 |
Correct |
25 ms |
2764 KB |
Output is correct |
126 |
Correct |
23 ms |
2660 KB |
Output is correct |
127 |
Correct |
12 ms |
1444 KB |
Output is correct |
128 |
Correct |
10 ms |
1064 KB |
Output is correct |