#include "vision.h"
#include <bits/stdc++.h>
void construct_network(int h, int w, int k) {
add_not(0);
std::vector<std::vector<int> > r0(h + w - 1);
std::vector<std::vector<int> > r1(h + w - 1);
for (int i = 0; i < h; i++) for (int j = 0; j < w; j++) {
r0[i + j].push_back(w * i + j);
r1[i - j + (w - 1)].push_back(w * i + j);
}
int base_raw0 = h * w + 1;
for (auto &i : r0) add_or(i);
int base_raw1 = base_raw0 + (h + w - 1);
for (auto &i : r1) add_or(i);
int forward0 = base_raw1 + (h + w - 1);
add_and({0, h * w});
for (int i = 0; i < h + w - 1; i++) add_or({forward0 + i, base_raw0 + i});
int back0 = forward0 + h + w;
add_and({0, h * w});
for (int i = 0; i < h + w - 1; i++) add_or({back0 + i, base_raw0 + (h + w - 2) - i});
int forward1 = back0 + h + w;
add_and({0, h * w});
for (int i = 0; i < h + w - 1; i++) add_or({forward1 + i, base_raw1 + i});
int back1 = forward1 + h + w;
add_and({0, h * w});
for (int i = 0; i < h + w - 1; i++) add_or({back1 + i, base_raw1 + (h + w - 2) - i});
int prev = back1 + h + w;
add_and({0, h * w});
int band = h + w - k - 1;
for (int i = 0; i <= band; i++) {
add_and({forward0 + i, back0 + (band - i)});
add_or({prev, prev + 1});
add_and({forward1 + i, back1 + (band - i)});
add_or({prev + 2, prev + 3});
prev += 4;
}
// if (prev) -> return false
add_and({0, h * w});
int oring = prev + 1;
for (int i = 0; i + k < h + w - 1; i++) {
add_and({base_raw0 + i, base_raw0 + i + k});
add_or({oring, oring + 1});
add_and({base_raw1 + i, base_raw1 + i + k});
add_or({oring + 2, oring + 3});
oring += 4;
}
// oring && !prev
add_not(prev);
add_and({oring, oring + 1});
}
/*
int main() {
return 0;
}*/
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
256 KB |
Output is correct |
2 |
Correct |
1 ms |
256 KB |
Output is correct |
3 |
Correct |
1 ms |
384 KB |
Output is correct |
4 |
Correct |
1 ms |
256 KB |
Output is correct |
5 |
Correct |
1 ms |
256 KB |
Output is correct |
6 |
Correct |
1 ms |
360 KB |
Output is correct |
7 |
Correct |
1 ms |
256 KB |
Output is correct |
8 |
Correct |
1 ms |
256 KB |
Output is correct |
9 |
Correct |
1 ms |
288 KB |
Output is correct |
10 |
Correct |
1 ms |
360 KB |
Output is correct |
11 |
Correct |
1 ms |
256 KB |
Output is correct |
12 |
Correct |
1 ms |
256 KB |
Output is correct |
13 |
Correct |
1 ms |
256 KB |
Output is correct |
14 |
Correct |
1 ms |
256 KB |
Output is correct |
15 |
Correct |
1 ms |
256 KB |
Output is correct |
16 |
Correct |
1 ms |
256 KB |
Output is correct |
17 |
Correct |
1 ms |
256 KB |
Output is correct |
18 |
Correct |
1 ms |
256 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
256 KB |
Output is correct |
2 |
Correct |
1 ms |
256 KB |
Output is correct |
3 |
Correct |
1 ms |
384 KB |
Output is correct |
4 |
Correct |
1 ms |
256 KB |
Output is correct |
5 |
Correct |
1 ms |
256 KB |
Output is correct |
6 |
Correct |
1 ms |
360 KB |
Output is correct |
7 |
Correct |
1 ms |
256 KB |
Output is correct |
8 |
Correct |
1 ms |
256 KB |
Output is correct |
9 |
Correct |
1 ms |
288 KB |
Output is correct |
10 |
Correct |
1 ms |
360 KB |
Output is correct |
11 |
Correct |
1 ms |
256 KB |
Output is correct |
12 |
Correct |
1 ms |
256 KB |
Output is correct |
13 |
Correct |
1 ms |
256 KB |
Output is correct |
14 |
Correct |
1 ms |
256 KB |
Output is correct |
15 |
Correct |
1 ms |
256 KB |
Output is correct |
16 |
Correct |
1 ms |
256 KB |
Output is correct |
17 |
Correct |
1 ms |
256 KB |
Output is correct |
18 |
Correct |
1 ms |
256 KB |
Output is correct |
19 |
Correct |
1 ms |
256 KB |
Output is correct |
20 |
Correct |
1 ms |
256 KB |
Output is correct |
21 |
Correct |
1 ms |
384 KB |
Output is correct |
22 |
Correct |
1 ms |
256 KB |
Output is correct |
23 |
Correct |
1 ms |
384 KB |
Output is correct |
24 |
Correct |
1 ms |
384 KB |
Output is correct |
25 |
Correct |
1 ms |
384 KB |
Output is correct |
26 |
Correct |
1 ms |
384 KB |
Output is correct |
27 |
Correct |
1 ms |
384 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
256 KB |
Output is correct |
2 |
Correct |
1 ms |
256 KB |
Output is correct |
3 |
Correct |
1 ms |
384 KB |
Output is correct |
4 |
Correct |
1 ms |
256 KB |
Output is correct |
5 |
Correct |
1 ms |
256 KB |
Output is correct |
6 |
Correct |
1 ms |
360 KB |
Output is correct |
7 |
Correct |
1 ms |
256 KB |
Output is correct |
8 |
Correct |
1 ms |
256 KB |
Output is correct |
9 |
Correct |
1 ms |
288 KB |
Output is correct |
10 |
Correct |
1 ms |
360 KB |
Output is correct |
11 |
Correct |
1 ms |
256 KB |
Output is correct |
12 |
Correct |
1 ms |
256 KB |
Output is correct |
13 |
Correct |
1 ms |
256 KB |
Output is correct |
14 |
Correct |
1 ms |
256 KB |
Output is correct |
15 |
Correct |
1 ms |
256 KB |
Output is correct |
16 |
Correct |
1 ms |
256 KB |
Output is correct |
17 |
Correct |
1 ms |
256 KB |
Output is correct |
18 |
Correct |
1 ms |
256 KB |
Output is correct |
19 |
Correct |
1 ms |
256 KB |
Output is correct |
20 |
Correct |
1 ms |
256 KB |
Output is correct |
21 |
Correct |
1 ms |
384 KB |
Output is correct |
22 |
Correct |
1 ms |
256 KB |
Output is correct |
23 |
Correct |
1 ms |
384 KB |
Output is correct |
24 |
Correct |
1 ms |
384 KB |
Output is correct |
25 |
Correct |
1 ms |
384 KB |
Output is correct |
26 |
Correct |
1 ms |
384 KB |
Output is correct |
27 |
Correct |
1 ms |
384 KB |
Output is correct |
28 |
Correct |
1 ms |
384 KB |
Output is correct |
29 |
Correct |
1 ms |
384 KB |
Output is correct |
30 |
Correct |
1 ms |
384 KB |
Output is correct |
31 |
Correct |
1 ms |
384 KB |
Output is correct |
32 |
Correct |
1 ms |
384 KB |
Output is correct |
33 |
Correct |
2 ms |
512 KB |
Output is correct |
34 |
Correct |
1 ms |
384 KB |
Output is correct |
35 |
Correct |
2 ms |
384 KB |
Output is correct |
36 |
Correct |
1 ms |
384 KB |
Output is correct |
37 |
Correct |
1 ms |
384 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
256 KB |
Output is correct |
2 |
Correct |
1 ms |
256 KB |
Output is correct |
3 |
Correct |
1 ms |
384 KB |
Output is correct |
4 |
Correct |
1 ms |
256 KB |
Output is correct |
5 |
Correct |
1 ms |
256 KB |
Output is correct |
6 |
Correct |
1 ms |
360 KB |
Output is correct |
7 |
Correct |
1 ms |
256 KB |
Output is correct |
8 |
Correct |
1 ms |
256 KB |
Output is correct |
9 |
Correct |
1 ms |
288 KB |
Output is correct |
10 |
Correct |
1 ms |
360 KB |
Output is correct |
11 |
Correct |
1 ms |
256 KB |
Output is correct |
12 |
Correct |
1 ms |
256 KB |
Output is correct |
13 |
Correct |
1 ms |
256 KB |
Output is correct |
14 |
Correct |
1 ms |
256 KB |
Output is correct |
15 |
Correct |
1 ms |
256 KB |
Output is correct |
16 |
Correct |
1 ms |
256 KB |
Output is correct |
17 |
Correct |
1 ms |
256 KB |
Output is correct |
18 |
Correct |
1 ms |
256 KB |
Output is correct |
19 |
Correct |
1 ms |
256 KB |
Output is correct |
20 |
Correct |
1 ms |
256 KB |
Output is correct |
21 |
Correct |
1 ms |
384 KB |
Output is correct |
22 |
Correct |
1 ms |
256 KB |
Output is correct |
23 |
Correct |
1 ms |
384 KB |
Output is correct |
24 |
Correct |
1 ms |
384 KB |
Output is correct |
25 |
Correct |
1 ms |
384 KB |
Output is correct |
26 |
Correct |
1 ms |
384 KB |
Output is correct |
27 |
Correct |
1 ms |
384 KB |
Output is correct |
28 |
Correct |
1 ms |
384 KB |
Output is correct |
29 |
Correct |
1 ms |
384 KB |
Output is correct |
30 |
Correct |
1 ms |
384 KB |
Output is correct |
31 |
Correct |
1 ms |
384 KB |
Output is correct |
32 |
Correct |
1 ms |
384 KB |
Output is correct |
33 |
Correct |
2 ms |
512 KB |
Output is correct |
34 |
Correct |
1 ms |
384 KB |
Output is correct |
35 |
Correct |
2 ms |
384 KB |
Output is correct |
36 |
Correct |
1 ms |
384 KB |
Output is correct |
37 |
Correct |
1 ms |
384 KB |
Output is correct |
38 |
Correct |
5 ms |
896 KB |
Output is correct |
39 |
Correct |
1 ms |
384 KB |
Output is correct |
40 |
Correct |
1 ms |
384 KB |
Output is correct |
41 |
Correct |
3 ms |
640 KB |
Output is correct |
42 |
Correct |
2 ms |
512 KB |
Output is correct |
43 |
Correct |
5 ms |
896 KB |
Output is correct |
44 |
Correct |
6 ms |
896 KB |
Output is correct |
45 |
Correct |
4 ms |
768 KB |
Output is correct |
46 |
Correct |
4 ms |
768 KB |
Output is correct |
47 |
Correct |
4 ms |
768 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
2 ms |
640 KB |
Output is correct |
2 |
Correct |
2 ms |
512 KB |
Output is correct |
3 |
Correct |
2 ms |
512 KB |
Output is correct |
4 |
Correct |
1 ms |
512 KB |
Output is correct |
5 |
Correct |
2 ms |
640 KB |
Output is correct |
6 |
Correct |
2 ms |
512 KB |
Output is correct |
7 |
Correct |
2 ms |
512 KB |
Output is correct |
8 |
Correct |
1 ms |
512 KB |
Output is correct |
9 |
Correct |
2 ms |
768 KB |
Output is correct |
10 |
Correct |
2 ms |
640 KB |
Output is correct |
11 |
Correct |
2 ms |
512 KB |
Output is correct |
12 |
Correct |
2 ms |
512 KB |
Output is correct |
13 |
Correct |
2 ms |
544 KB |
Output is correct |
14 |
Correct |
1 ms |
512 KB |
Output is correct |
15 |
Correct |
3 ms |
640 KB |
Output is correct |
16 |
Correct |
2 ms |
512 KB |
Output is correct |
17 |
Correct |
2 ms |
512 KB |
Output is correct |
18 |
Correct |
2 ms |
512 KB |
Output is correct |
19 |
Correct |
2 ms |
512 KB |
Output is correct |
20 |
Correct |
1 ms |
384 KB |
Output is correct |
21 |
Correct |
1 ms |
256 KB |
Output is correct |
22 |
Correct |
1 ms |
256 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
256 KB |
Output is correct |
2 |
Correct |
1 ms |
256 KB |
Output is correct |
3 |
Correct |
2 ms |
640 KB |
Output is correct |
4 |
Correct |
2 ms |
512 KB |
Output is correct |
5 |
Correct |
2 ms |
512 KB |
Output is correct |
6 |
Correct |
2 ms |
512 KB |
Output is correct |
7 |
Correct |
3 ms |
640 KB |
Output is correct |
8 |
Correct |
4 ms |
768 KB |
Output is correct |
9 |
Correct |
3 ms |
768 KB |
Output is correct |
10 |
Correct |
3 ms |
640 KB |
Output is correct |
11 |
Correct |
3 ms |
640 KB |
Output is correct |
12 |
Correct |
3 ms |
640 KB |
Output is correct |
13 |
Correct |
3 ms |
640 KB |
Output is correct |
14 |
Correct |
2 ms |
640 KB |
Output is correct |
15 |
Correct |
2 ms |
512 KB |
Output is correct |
16 |
Correct |
1 ms |
512 KB |
Output is correct |
17 |
Correct |
2 ms |
640 KB |
Output is correct |
18 |
Correct |
2 ms |
512 KB |
Output is correct |
19 |
Correct |
1 ms |
512 KB |
Output is correct |
20 |
Correct |
8 ms |
1408 KB |
Output is correct |
21 |
Correct |
8 ms |
1152 KB |
Output is correct |
22 |
Correct |
7 ms |
1152 KB |
Output is correct |
23 |
Correct |
7 ms |
1152 KB |
Output is correct |
24 |
Correct |
8 ms |
1404 KB |
Output is correct |
25 |
Correct |
7 ms |
1152 KB |
Output is correct |
26 |
Correct |
7 ms |
1024 KB |
Output is correct |
27 |
Correct |
14 ms |
2044 KB |
Output is correct |
28 |
Correct |
14 ms |
2076 KB |
Output is correct |
29 |
Correct |
13 ms |
1920 KB |
Output is correct |
30 |
Correct |
13 ms |
1792 KB |
Output is correct |
31 |
Correct |
12 ms |
1792 KB |
Output is correct |
32 |
Correct |
1 ms |
256 KB |
Output is correct |
33 |
Correct |
1 ms |
256 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
14 ms |
2044 KB |
Output is correct |
2 |
Correct |
1 ms |
256 KB |
Output is correct |
3 |
Correct |
2 ms |
512 KB |
Output is correct |
4 |
Correct |
4 ms |
768 KB |
Output is correct |
5 |
Correct |
2 ms |
640 KB |
Output is correct |
6 |
Correct |
3 ms |
640 KB |
Output is correct |
7 |
Correct |
8 ms |
1408 KB |
Output is correct |
8 |
Correct |
9 ms |
1436 KB |
Output is correct |
9 |
Correct |
20 ms |
2172 KB |
Output is correct |
10 |
Correct |
1 ms |
256 KB |
Output is correct |
11 |
Correct |
1 ms |
256 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
256 KB |
Output is correct |
2 |
Correct |
1 ms |
256 KB |
Output is correct |
3 |
Correct |
1 ms |
384 KB |
Output is correct |
4 |
Correct |
1 ms |
256 KB |
Output is correct |
5 |
Correct |
1 ms |
256 KB |
Output is correct |
6 |
Correct |
1 ms |
360 KB |
Output is correct |
7 |
Correct |
1 ms |
256 KB |
Output is correct |
8 |
Correct |
1 ms |
256 KB |
Output is correct |
9 |
Correct |
1 ms |
288 KB |
Output is correct |
10 |
Correct |
1 ms |
360 KB |
Output is correct |
11 |
Correct |
1 ms |
256 KB |
Output is correct |
12 |
Correct |
1 ms |
256 KB |
Output is correct |
13 |
Correct |
1 ms |
256 KB |
Output is correct |
14 |
Correct |
1 ms |
256 KB |
Output is correct |
15 |
Correct |
1 ms |
256 KB |
Output is correct |
16 |
Correct |
1 ms |
256 KB |
Output is correct |
17 |
Correct |
1 ms |
256 KB |
Output is correct |
18 |
Correct |
1 ms |
256 KB |
Output is correct |
19 |
Correct |
1 ms |
256 KB |
Output is correct |
20 |
Correct |
1 ms |
256 KB |
Output is correct |
21 |
Correct |
1 ms |
384 KB |
Output is correct |
22 |
Correct |
1 ms |
256 KB |
Output is correct |
23 |
Correct |
1 ms |
384 KB |
Output is correct |
24 |
Correct |
1 ms |
384 KB |
Output is correct |
25 |
Correct |
1 ms |
384 KB |
Output is correct |
26 |
Correct |
1 ms |
384 KB |
Output is correct |
27 |
Correct |
1 ms |
384 KB |
Output is correct |
28 |
Correct |
1 ms |
384 KB |
Output is correct |
29 |
Correct |
1 ms |
384 KB |
Output is correct |
30 |
Correct |
1 ms |
384 KB |
Output is correct |
31 |
Correct |
1 ms |
384 KB |
Output is correct |
32 |
Correct |
1 ms |
384 KB |
Output is correct |
33 |
Correct |
2 ms |
512 KB |
Output is correct |
34 |
Correct |
1 ms |
384 KB |
Output is correct |
35 |
Correct |
2 ms |
384 KB |
Output is correct |
36 |
Correct |
1 ms |
384 KB |
Output is correct |
37 |
Correct |
1 ms |
384 KB |
Output is correct |
38 |
Correct |
5 ms |
896 KB |
Output is correct |
39 |
Correct |
1 ms |
384 KB |
Output is correct |
40 |
Correct |
1 ms |
384 KB |
Output is correct |
41 |
Correct |
3 ms |
640 KB |
Output is correct |
42 |
Correct |
2 ms |
512 KB |
Output is correct |
43 |
Correct |
5 ms |
896 KB |
Output is correct |
44 |
Correct |
6 ms |
896 KB |
Output is correct |
45 |
Correct |
4 ms |
768 KB |
Output is correct |
46 |
Correct |
4 ms |
768 KB |
Output is correct |
47 |
Correct |
4 ms |
768 KB |
Output is correct |
48 |
Correct |
2 ms |
640 KB |
Output is correct |
49 |
Correct |
2 ms |
512 KB |
Output is correct |
50 |
Correct |
2 ms |
512 KB |
Output is correct |
51 |
Correct |
1 ms |
512 KB |
Output is correct |
52 |
Correct |
2 ms |
640 KB |
Output is correct |
53 |
Correct |
2 ms |
512 KB |
Output is correct |
54 |
Correct |
2 ms |
512 KB |
Output is correct |
55 |
Correct |
1 ms |
512 KB |
Output is correct |
56 |
Correct |
2 ms |
768 KB |
Output is correct |
57 |
Correct |
2 ms |
640 KB |
Output is correct |
58 |
Correct |
2 ms |
512 KB |
Output is correct |
59 |
Correct |
2 ms |
512 KB |
Output is correct |
60 |
Correct |
2 ms |
544 KB |
Output is correct |
61 |
Correct |
1 ms |
512 KB |
Output is correct |
62 |
Correct |
3 ms |
640 KB |
Output is correct |
63 |
Correct |
2 ms |
512 KB |
Output is correct |
64 |
Correct |
2 ms |
512 KB |
Output is correct |
65 |
Correct |
2 ms |
512 KB |
Output is correct |
66 |
Correct |
2 ms |
512 KB |
Output is correct |
67 |
Correct |
1 ms |
384 KB |
Output is correct |
68 |
Correct |
1 ms |
256 KB |
Output is correct |
69 |
Correct |
1 ms |
256 KB |
Output is correct |
70 |
Correct |
1 ms |
256 KB |
Output is correct |
71 |
Correct |
1 ms |
256 KB |
Output is correct |
72 |
Correct |
2 ms |
640 KB |
Output is correct |
73 |
Correct |
2 ms |
512 KB |
Output is correct |
74 |
Correct |
2 ms |
512 KB |
Output is correct |
75 |
Correct |
2 ms |
512 KB |
Output is correct |
76 |
Correct |
3 ms |
640 KB |
Output is correct |
77 |
Correct |
4 ms |
768 KB |
Output is correct |
78 |
Correct |
3 ms |
768 KB |
Output is correct |
79 |
Correct |
3 ms |
640 KB |
Output is correct |
80 |
Correct |
3 ms |
640 KB |
Output is correct |
81 |
Correct |
3 ms |
640 KB |
Output is correct |
82 |
Correct |
3 ms |
640 KB |
Output is correct |
83 |
Correct |
2 ms |
640 KB |
Output is correct |
84 |
Correct |
2 ms |
512 KB |
Output is correct |
85 |
Correct |
1 ms |
512 KB |
Output is correct |
86 |
Correct |
2 ms |
640 KB |
Output is correct |
87 |
Correct |
2 ms |
512 KB |
Output is correct |
88 |
Correct |
1 ms |
512 KB |
Output is correct |
89 |
Correct |
8 ms |
1408 KB |
Output is correct |
90 |
Correct |
8 ms |
1152 KB |
Output is correct |
91 |
Correct |
7 ms |
1152 KB |
Output is correct |
92 |
Correct |
7 ms |
1152 KB |
Output is correct |
93 |
Correct |
8 ms |
1404 KB |
Output is correct |
94 |
Correct |
7 ms |
1152 KB |
Output is correct |
95 |
Correct |
7 ms |
1024 KB |
Output is correct |
96 |
Correct |
14 ms |
2044 KB |
Output is correct |
97 |
Correct |
14 ms |
2076 KB |
Output is correct |
98 |
Correct |
13 ms |
1920 KB |
Output is correct |
99 |
Correct |
13 ms |
1792 KB |
Output is correct |
100 |
Correct |
12 ms |
1792 KB |
Output is correct |
101 |
Correct |
1 ms |
256 KB |
Output is correct |
102 |
Correct |
1 ms |
256 KB |
Output is correct |
103 |
Correct |
14 ms |
2044 KB |
Output is correct |
104 |
Correct |
1 ms |
256 KB |
Output is correct |
105 |
Correct |
2 ms |
512 KB |
Output is correct |
106 |
Correct |
4 ms |
768 KB |
Output is correct |
107 |
Correct |
2 ms |
640 KB |
Output is correct |
108 |
Correct |
3 ms |
640 KB |
Output is correct |
109 |
Correct |
8 ms |
1408 KB |
Output is correct |
110 |
Correct |
9 ms |
1436 KB |
Output is correct |
111 |
Correct |
20 ms |
2172 KB |
Output is correct |
112 |
Correct |
1 ms |
256 KB |
Output is correct |
113 |
Correct |
1 ms |
256 KB |
Output is correct |
114 |
Correct |
14 ms |
2044 KB |
Output is correct |
115 |
Correct |
1 ms |
384 KB |
Output is correct |
116 |
Correct |
3 ms |
640 KB |
Output is correct |
117 |
Correct |
7 ms |
1152 KB |
Output is correct |
118 |
Correct |
10 ms |
1280 KB |
Output is correct |
119 |
Correct |
16 ms |
1920 KB |
Output is correct |
120 |
Correct |
19 ms |
1920 KB |
Output is correct |
121 |
Correct |
13 ms |
1920 KB |
Output is correct |
122 |
Correct |
13 ms |
1920 KB |
Output is correct |
123 |
Correct |
18 ms |
2044 KB |
Output is correct |
124 |
Correct |
14 ms |
2044 KB |
Output is correct |
125 |
Correct |
13 ms |
1920 KB |
Output is correct |
126 |
Correct |
13 ms |
1920 KB |
Output is correct |
127 |
Correct |
15 ms |
1824 KB |
Output is correct |
128 |
Correct |
12 ms |
1792 KB |
Output is correct |