This submission is migrated from previous version of oj.uz, which used different machine for grading. This submission may have different result if resubmitted.
#include "vision.h"
#include <bits/stdc++.h>
using namespace std;
#define pb push_back
void construct_network(int H, int W, int K) {
auto conv = [&](int r, int c) {
return r * W + c;
};
vector<int> row(H), col(W), fin_row(H), fin_col(W);
vector<vector<int> > rows(H), cols(W);
int ins = H * W;
for (int i = 0; i < H; i++) {
vector<int> cur;
for (int j = 0; j < W; j++) {
cur.pb(conv(i, j));
}
add_or(cur);
row[i] = ins++;
}
for (int i = 0; i < W; i++) {
vector<int> cur;
for (int j = 0; j < H; j++) {
cur.pb(conv(j, i));
}
add_or(cur);
col[i] = ins++;
}
for (int i = 0; i < H; i++) {
for (int j = i + 1; j < H; j++) {
add_and({row[i], row[j]});
rows[j - i].pb(ins++);
}
}
{
vector<int> tmp;
for (int i = 1; i < H; i++) {
add_or(rows[i]);
fin_row[i] = ins++;
tmp.pb(fin_row[i]);
}
if (tmp.empty()) {
tmp.resize(H * W);
iota(tmp.begin(), tmp.end(), 0);
}
add_or(tmp);
add_not({ins});
ins += 2;
fin_row[0] = ins - 1;
}
for (int i = 0; i < W; i++) {
for (int j = i + 1; j < W; j++) {
add_and({col[i], col[j]});
cols[j - i].pb(ins++);
}
}
{
vector<int> tmp;
for (int i = 1; i < W; i++) {
add_or(cols[i]);
fin_col[i] = ins++;
tmp.pb(fin_col[i]);
}
if (tmp.empty()) {
tmp.resize(H * W);
iota(tmp.begin(), tmp.end(), 0);
}
add_or(tmp);
add_not({ins});
ins += 2;
fin_col[0] = ins - 1;
}
vector<int> fin;
for (int i = 0; i <= K; i++) {
int j = K - i;
if (0 <= i && i < H && 0 <= j && j < W) {
add_and({fin_row[i], fin_col[j]});
fin.pb(ins);
ins++;
}
}
add_or(fin);
}
# | 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... |
# | 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... |