Submission #778416

#TimeUsernameProblemLanguageResultExecution timeMemory
778416EliasVision Program (IOI19_vision)C++17
0 / 100
18 ms2504 KiB
#ifdef _DEBUG #include <vector> #include <string> void construct_network(int H, int W, int K); int add_and(std::vector<int> Ns); int add_or(std::vector<int> Ns); int add_xor(std::vector<int> Ns); int add_not(int N); #endif #ifndef _DEBUG #include "vision.h" #endif #include <bits/stdc++.h> using namespace std; void construct_network(int H, int W, int K) { int nott = add_not(0); int def_zero = add_and({0, nott}); vector<int> xor_single; for (int i = 0; i < H; i++) { vector<int> indices; for (int j = 0; j < W; j++) { indices.push_back(i * W + j); } xor_single.push_back(add_xor(indices)); } for (int j = 0; j < W; j++) { vector<int> indices; for (int i = 0; i < H; i++) { indices.push_back(i * W + j); } xor_single.push_back(add_xor(indices)); } assert(xor_single.size() == W + H); vector<int> xor_prefix; vector<int> indices; for (int i = 0; i < W + H; i++) { indices.push_back(xor_single[i]); xor_prefix.push_back(add_xor(indices)); } assert(xor_prefix.size() == W + H); vector<int> bits; for (int k = 0; k <= 8; k++) { int carry = def_zero; if (K & (1 << k)) bits.push_back(add_xor(xor_prefix)); else bits.push_back(add_not(add_xor(xor_prefix))); vector<int> new_xor_prefix; for (int i = 0; i < W + H; i++) { new_xor_prefix.push_back(add_and({carry, xor_prefix[i]})); carry = add_xor({carry, xor_prefix[i]}); } xor_prefix = new_xor_prefix; } cout << "bits: "; for (int i = 0; i < bits.size(); i++) cout << bits[i] << " "; cout << "\n"; add_and(bits); } #ifdef _DEBUG static const int MAX_INSTRUCTIONS = 10000; static const int MAX_INPUTS = 1000000; static const int _AND = 0; static const int _OR = 1; static const int _XOR = 2; static const int _NOT = 3; static inline bool increasing(int a, int b, int c) { return a <= b && b <= c; } [[noreturn]] static inline void error(string message) { printf("%s\n", message.c_str()); exit(0); } class InstructionNetwork { struct Instruction { int type; vector<int> input_indexes; inline Instruction(int _type, const vector<int> &_input_indexes) : type(_type), input_indexes(_input_indexes) { } inline int apply(int a, int b) const { switch (type) { case _AND: return a & b; case _OR: return a | b; case _XOR: return a ^ b; default: return 0; } } inline int compute(const vector<int> &memory_cells) const { int r = memory_cells[input_indexes[0]]; if (type == _NOT) return 1 - r; for (int j = 1; j < (int)input_indexes.size(); j++) r = apply(r, memory_cells[input_indexes[j]]); return r; } }; int input_size; int total_inputs; vector<Instruction> instructions; public: inline void init(int _input_size) { this->input_size = _input_size; this->total_inputs = 0; this->instructions.clear(); } inline int add_instruction(int type, const vector<int> &input_indexes) { if (input_indexes.size() == 0) error("Instruction with no inputs"); if (instructions.size() + 1 > MAX_INSTRUCTIONS) error("Too many instructions"); if (total_inputs + input_indexes.size() > MAX_INPUTS) error("Too many inputs"); instructions.emplace_back(type, input_indexes); total_inputs += input_indexes.size(); int new_index = input_size + (int)instructions.size() - 1; for (int input_index : input_indexes) if (!increasing(0, input_index, new_index - 1)) error("Invalid index"); return new_index; } inline int compute(vector<int> &memory_cells) const { for (auto &instruction : instructions) memory_cells.push_back(instruction.compute(memory_cells)); return memory_cells.back(); } }; static InstructionNetwork instructionNetwork; int main() { int H, W, K; assert(3 == scanf("%d%d%d", &H, &W, &K)); FILE *log_file = fopen("log.txt", "w"); instructionNetwork.init(H * W); construct_network(H, W, K); // while (true) // { int rowA, colA, rowB, colB; for (rowA = 0; rowA < H; rowA++) for (colA = 0; colA < W; colA++) for (rowB = 0; rowB < H; rowB++) for (colB = 0; colB < W; colB++) { if (rowA == rowB && colA == colB) continue; // assert(1 == scanf("%d", &rowA)); // if (rowA == -1) // break; // assert(3 == scanf("%d%d%d", &colA, &rowB, &colB)); if ((!increasing(0, rowA, H - 1)) || (!increasing(0, colA, W - 1)) || (!increasing(0, rowB, H - 1)) || (!increasing(0, colB, W - 1)) || (rowA == rowB && colA == colB)) { printf("-1\n"); fprintf(log_file, "-1\n"); fflush(stdout); fflush(log_file); continue; } vector<int> memory_cells; for (int row = 0; row < H; row++) for (int col = 0; col < W; col++) { bool active = (row == rowA && col == colA) || (row == rowB && col == colB); memory_cells.push_back(active ? 1 : 0); } int computation_result = instructionNetwork.compute(memory_cells); cout << rowA << " " << colA << " " << rowB << " " << colB << "\n"; bool should_be = bool((abs(rowA - rowB) + abs(colA - colB)) == K); cout << computation_result << " " << should_be << "\n"; assert(computation_result == should_be); fflush(stdout); for (int i = 0; i < (int)memory_cells.size(); i++) fprintf(log_file, (i ? " %d" : "%d"), memory_cells[i]); fprintf(log_file, "\n"); fflush(log_file); } fclose(stdin); } int add_and(vector<int> Ns) { return instructionNetwork.add_instruction(_AND, Ns); } int add_or(vector<int> Ns) { return instructionNetwork.add_instruction(_OR, Ns); } int add_xor(vector<int> Ns) { return instructionNetwork.add_instruction(_XOR, Ns); } int add_not(int N) { vector<int> Ns = {N}; return instructionNetwork.add_instruction(_NOT, Ns); } #endif

Compilation message (stderr)

In file included from /usr/include/c++/10/cassert:44,
                 from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:33,
                 from vision.cpp:20:
vision.cpp: In function 'void construct_network(int, int, int)':
vision.cpp:49:27: warning: comparison of integer expressions of different signedness: 'std::vector<int>::size_type' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
   49 |  assert(xor_single.size() == W + H);
      |         ~~~~~~~~~~~~~~~~~~^~~~~~~~
vision.cpp:59:27: warning: comparison of integer expressions of different signedness: 'std::vector<int>::size_type' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
   59 |  assert(xor_prefix.size() == W + H);
      |         ~~~~~~~~~~~~~~~~~~^~~~~~~~
vision.cpp:80:20: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
   80 |  for (int i = 0; i < bits.size(); i++)
      |                  ~~^~~~~~~~~~~~~
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...