#include "vision.h"
#include <bits/stdc++.h>
using namespace std;
const int maxn = 202;
int H, W, K;
int one, zero;
int cell(int i, int j) {
return i * W + j;
}
vector<int> binary_addition(vector<int> A, vector<int> B) {
int carry = zero;
vector<int> ret;
int len = max(A.size(), B.size()) + 1;
while(A.size() < len) A.emplace_back(zero);
while(B.size() < len) B.emplace_back(zero);
for(int i = 0; i < len - 1; i++) {
ret.emplace_back(add_xor({carry, A[i], B[i]}));
int ab = add_and({carry, A[i]});
int bc = add_and({A[i], B[i]});
int ca = add_and({carry, B[i]});
carry = add_or({ab, bc, ca});
} ret.emplace_back(carry);
return ret;
}
void construct_network(int _H, int _W, int _K) {
H = _H, W = _W, K = _K;
if(H * W == 2) {
one = 0;
zero = add_not(one);
} else {
zero = add_and({0, 1, 2});
one = add_not(zero);
}
vector<int> R_prefix, C_prefix;
{
vector<int> tmp;
for(int i = 0; i < H - 1; i++) {
for(int j = 0; j < W; j++) {
tmp.emplace_back(cell(i, j));
}
assert(tmp.size());
R_prefix.emplace_back(add_xor(tmp));
}
R_prefix.emplace_back(zero);
}
{
vector<int> tmp;
for(int j = 0; j < W - 1; j++) {
for(int i = 0; i < H; i++) {
tmp.emplace_back(cell(i, j));
}
assert(tmp.size());
C_prefix.emplace_back(add_xor(tmp));
}
C_prefix.emplace_back(zero);
}
vector<int> R_sum;
for(int i = 0; i < H; i++) {
vector<int> tmp;
int carry = R_prefix[i];
for(int j = 0; j < R_sum.size(); j++) {
tmp.emplace_back(add_xor({carry, R_sum[j]}));
carry = add_and({carry, R_sum[j]});
}
if(tmp.size() < 32 - __builtin_popcount(i + 1)) {
tmp.emplace_back(carry);
}
R_sum = tmp;
}
vector<int> C_sum;
for(int i = 0; i < W; i++) {
vector<int> tmp;
int carry = C_prefix[i];
for(int j = 0; j < C_sum.size(); j++) {
tmp.emplace_back(add_xor({carry, C_sum[j]}));
carry = add_and({carry, C_sum[j]});
}
if(tmp.size() < 32 - __builtin_popcount(i + 1)) {
tmp.emplace_back(carry);
}
C_sum = tmp;
}
vector<int> allzero, allone;
for(int i = 0; i < tot.size(); i++) {
if(K & (1 << i)) {
allzero.emplace_back(add_xor({one, tot[i]}));
} else {
allzero.emplace_back(add_xor({zero, tot[i]}));
}
}
for(int i = 0; i < allzero.size(); i++) {
allone.emplace_back(add_not(allzero[i]));
}
add_and(allone);
}
Compilation message
vision.cpp: In function 'std::vector<int> binary_addition(std::vector<int>, std::vector<int>)':
vision.cpp:18:17: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
while(A.size() < len) A.emplace_back(zero);
~~~~~~~~~^~~~~
vision.cpp:19:17: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
while(B.size() < len) B.emplace_back(zero);
~~~~~~~~~^~~~~
vision.cpp: In function 'void construct_network(int, int, int)':
vision.cpp:66:20: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
for(int j = 0; j < R_sum.size(); j++) {
~~^~~~~~~~~~~~~~
vision.cpp:70:17: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
if(tmp.size() < 32 - __builtin_popcount(i + 1)) {
~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
vision.cpp:79:20: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
for(int j = 0; j < C_sum.size(); j++) {
~~^~~~~~~~~~~~~~
vision.cpp:83:17: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
if(tmp.size() < 32 - __builtin_popcount(i + 1)) {
~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
vision.cpp:90:21: error: 'tot' was not declared in this scope
for(int i = 0; i < tot.size(); i++) {
^~~
vision.cpp:90:21: note: suggested alternative: 'atol'
for(int i = 0; i < tot.size(); i++) {
^~~
atol
vision.cpp:92:46: error: could not convert '{one, <expression error>}' from '<brace-enclosed initializer list>' to 'std::vector<int>'
allzero.emplace_back(add_xor({one, tot[i]}));
^
vision.cpp:94:47: error: could not convert '{zero, <expression error>}' from '<brace-enclosed initializer list>' to 'std::vector<int>'
allzero.emplace_back(add_xor({zero, tot[i]}));
^
vision.cpp:97:19: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
for(int i = 0; i < allzero.size(); i++) {
~~^~~~~~~~~~~~~~~~
