#include "vision.h" #include <bits/stdc++.h> using namespace std; void construct_network(int H, int W, int K) { vector<int> Ns; int base = H * W, qidx = base, hdb = base + 1; for (int i = 0; i < H; i++) { Ns.clear(); for (int j = 0; j < W; j++) { Ns.push_back(i * W + j); } if (i == 0) { add_xor(Ns), qidx++; add_not(qidx - 1), qidx++; } else { add_or(Ns), qidx++; } } int wdb = qidx + 1; for (int j = 0; j < W; j++) { Ns.clear(); for (int i = 0; i < H; i++) { Ns.push_back(i * W + j); } if (j == 0) { add_xor(Ns), qidx++; add_not(qidx - 1), qidx++; } else { add_or(Ns), qidx++; } } base = qidx; for (int i = 0; i < H; i++) { int j = K - i; if (j >= 0 && j < W) { add_and({hdb + i, wdb + j}), qidx++; } } Ns.clear(); for (int i = base; i < qidx; i++) { Ns.push_back(i); } add_or(Ns), qidx++; }