| # | 제출 시각 | 아이디 | 문제 | 언어 | 결과 | 실행 시간 | 메모리 |
|---|---|---|---|---|---|---|---|
| 1246803 | eradax | Vision Program (IOI19_vision) | C++20 | 0 ms | 0 KiB |
for (int j = 0; j < W; j++) {
vpi checks;
for (int k = i; k < H; k++) {
for (int w = 0; w < W; w++) {
if (abs(i - k) + abs(j - w) == K)
checks.emplace_back(k, w);
}
}
if (checks.empty())
continue;
vi check_trans;
for (auto [x, y] : checks)
check_trans.push_back(x * W + y);
add_or(check_trans);
inst++;
add_and({i * W + j, inst - 1});
inst++;
imp.push_back(inst - 1);
}
}
add_or(imp);
inst++;
}
