제출 #431561

#제출 시각아이디문제언어결과실행 시간메모리
431561pure_memVision Program (IOI19_vision)C++14
10 / 100
31 ms2772 KiB
#include "vision.h" #include <bits/stdc++.h> #define X first #define Y second #define MP make_pair #define ll long long using namespace std; const int N = 300; void build(int n, int (&arr)[N], const int (&mem)[N]){ for(int it = 0;(1 << it) < n;it++){ vector< int > fin; for(int i1 = 0;i1 + 1 < n;i1++){ vector<int> tmp; for(int i2 = i1 + 1;i2 < n;i2++){ if(((i2 - i1) >> it) & 1){ tmp.push_back(mem[i2]); } } if(tmp.empty()) continue; int v = add_xor(tmp); v = add_and({mem[i1], v}); fin.push_back(v); } arr[it] = add_or(fin); } } int prep(int len, int n, const int (&arr)[N]){ int v; if(len == 0){ vector<int> tmp; for(int i = 0;i < n;i++){ tmp.push_back(arr[i]); } v = add_xor(tmp); } else{ vector<int> tmp; for(int i = 0;(1 << i) <= len;i++){ if((len >> i) & 1) tmp.push_back(arr[i]); } v = add_and(tmp); } return v; } int isRow[N], isCol[N]; int bRow[N], bCol[N]; void construct_network(int H, int W, int K) { for(int i = 0;i < H;i++){ vector<int> tmp; for(int j = 0;j < W;j++){ tmp.push_back(W * i + j); } isRow[i] = add_or(tmp); } for(int j = 0;j < W;j++){ vector<int> tmp; for(int i = 0;i < H;i++){ tmp.push_back(W * i + j); } isCol[j] = add_or(tmp); } build(H, bRow, isRow); build(W, bCol, isCol); vector< int > fin; for(int i = 0;i < H;i++){ for(int j = 0;j < W;j++){ if(i + j == K){ if(i == 0 && j == 7) assert(0); int x = prep(i, H, i == 0 ? isRow: bRow); int y = prep(j, W, j == 0 ? isCol: bCol); fin.push_back(add_and({x, y})); } } } add_or(fin); }
#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...