#include "abc.h"
#include <bits/stdc++.h>
using namespace std;
const int OP_ZERO = 0; // f(OP_ZERO, x0, x1) = 0
const int OP_NOR = 1; // f(OP_NOR, x0, x1) = !(x0 || x1)
const int OP_GREATER = 2; // f(OP_GREATER, x0, x1) = (x0 > x1)
const int OP_NOT_X1 = 3; // f(OP_NOT_X1, x0, x1) = !x1
const int OP_LESS = 4; // f(OP_LESS, x0, x1) = (x0 < x1)
const int OP_NOT_X0 = 5; // f(OP_NOT_X0, x0, x1) = !x0
const int OP_XOR = 6; // f(OP_XOR, x0, x1) = (x0 ^ x1)
const int OP_NAND = 7; // f(OP_NAND, x0, x1) = !(x0 && x1)
const int OP_AND = 8; // f(OP_AND, x0, x1) = (x0 && x1)
const int OP_EQUAL = 9; // f(OP_EQUAL, x0, x1) = (x0 == x1)
const int OP_X0 = 10; // f(OP_X0, x0, x1) = x0
const int OP_GEQ = 11; // f(OP_GEQ, x0, x1) = (x0 >= x1)
const int OP_X1 = 12; // f(OP_X1, x0, x1) = x1
const int OP_LEQ = 13; // f(OP_LEQ, x0, x1) = (x0 <= x1)
const int OP_OR = 14; // f(OP_OR, x0, x1) = (x0 || x1)
const int OP_ONE = 15; // f(OP_ONE, x0, x1) = 1
// Alice
int // returns la
alice(
/* in */ const int n,
/* in */ const char names[][5],
/* in */ const unsigned short numbers[],
/* out */ bool outputs[]
) {
for (int i = 0; i < n; i++)
for (int j = 0; j < 16; j++)
outputs[i * 16 + j] = numbers[i] >> j & 1;
return n * 16;
}
// Bob
int // returns lb
bob(
/* in */ const int m,
/* in */ const char senders[][5],
/* in */ const char recipients[][5],
/* out */ bool outputs[]
) {
static bool adj[26][26];
memset(adj, 0, sizeof(adj));
for (int i = 0; i < m; i++) {
int u = senders[i][0] - 'a';
int v = recipients[i][0] - 'a';
adj[u][v] = true;
}
memcpy(outputs, adj, sizeof(adj));
return 26 * 26;
}
static int l;
static int* operations;
static int (*operands)[2];
static int (*outputs)[16];
int makeGate(int op, int x0, int x1) {
operations[l] = op;
operands[l][0] = x0;
operands[l][1] = x1;
return l++;
}
int makeZero() {
return makeGate(OP_ZERO, 0, 0);
}
vector<int> makeZeroes(int n) {
vector<int> res;
for (int i = 0; i < n; i++)
res.push_back(makeZero());
return res;
}
vector<int> add(const vector<int>& a, const vector<int>& b) {
vector<int> res;
int carry = makeZero();
for (int i = 0; i < a.size(); i++) {
int sum = makeGate(OP_XOR, a[i], b[i]);
sum = makeGate(OP_XOR, sum, carry);
res.push_back(sum);
int ocarry = carry;
carry = makeGate(OP_AND, a[i], b[i]);
carry = makeGate(OP_OR, carry, makeGate(OP_AND, a[i], ocarry));
carry = makeGate(OP_OR, carry, makeGate(OP_AND, b[i], ocarry));
}
return res;
}
vector<int> andv(const vector<int>& a, int b) {
vector<int> res;
for (int i = 0; i < a.size(); i++)
res.push_back(makeGate(OP_AND, a[i], b));
return res;
}
// Circuit
int // returns l
circuit(
/* in */ const int la,
/* in */ const int lb,
/* out */ int operations[],
/* out */ int operands[][2],
/* out */ int outputs[][16]
) {
l = la + lb;
::operations = operations;
::operands = operands;
::outputs = outputs;
int n = la / 16;
vector<vector<int>> a;
for (int i = 0; i < n; i++) {
vector<int> number;
for (int j = 0; j < 16; j++)
number.push_back(i * 16 + j);
a.push_back(number);
}
int outl = 0;
auto addOutput = [&](const vector<int>& x) {
memcpy(outputs[outl++], x.data(), sizeof(int) * x.size());
};
for (int i = 0; i < n; i++) {
vector<int> ans = makeZeroes(16);
for (int j = 0; j < n; j++) {
vector<int> cur = andv(a[j], la + j * 26 + i);
ans = add(ans, cur);
}
addOutput(ans);
}
return l;
}
Compilation message
abc.cpp: In function 'std::vector<int> add(const std::vector<int>&, const std::vector<int>&)':
abc.cpp:81:23: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
81 | for (int i = 0; i < a.size(); i++) {
| ~~^~~~~~~~~~
abc.cpp: In function 'std::vector<int> andv(const std::vector<int>&, int)':
abc.cpp:95:23: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
95 | for (int i = 0; i < a.size(); i++)
| ~~^~~~~~~~~~
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
4 ms |
1352 KB |
Correct! |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
4 ms |
1352 KB |
Correct! |
| 2 |
Incorrect |
6 ms |
1520 KB |
WA Your functions alice(), bob(), circuit() finished successfully, but the final output binary string is incorrect. |
| 3 |
Halted |
0 ms |
0 KB |
- |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
4 ms |
1352 KB |
Correct! |
| 2 |
Incorrect |
6 ms |
1520 KB |
WA Your functions alice(), bob(), circuit() finished successfully, but the final output binary string is incorrect. |
| 3 |
Halted |
0 ms |
0 KB |
- |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
9 ms |
3396 KB |
Correct! |
| 2 |
Correct |
33 ms |
5224 KB |
Correct! |
| 3 |
Correct |
36 ms |
5932 KB |
Correct! |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
9 ms |
3396 KB |
Correct! |
| 2 |
Correct |
33 ms |
5224 KB |
Correct! |
| 3 |
Correct |
36 ms |
5932 KB |
Correct! |
| 4 |
Incorrect |
44 ms |
5352 KB |
WA Your functions alice(), bob(), circuit() finished successfully, but the final output binary string is incorrect. |
| 5 |
Halted |
0 ms |
0 KB |
- |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
9 ms |
3396 KB |
Correct! |
| 2 |
Correct |
33 ms |
5224 KB |
Correct! |
| 3 |
Correct |
36 ms |
5932 KB |
Correct! |
| 4 |
Incorrect |
44 ms |
5352 KB |
WA Your functions alice(), bob(), circuit() finished successfully, but the final output binary string is incorrect. |
| 5 |
Halted |
0 ms |
0 KB |
- |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Runtime error |
486 ms |
474320 KB |
Execution killed with signal 11 |
| 2 |
Halted |
0 ms |
0 KB |
- |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Runtime error |
486 ms |
474320 KB |
Execution killed with signal 11 |
| 2 |
Halted |
0 ms |
0 KB |
- |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
4 ms |
1352 KB |
Correct! |
| 2 |
Incorrect |
6 ms |
1520 KB |
WA Your functions alice(), bob(), circuit() finished successfully, but the final output binary string is incorrect. |
| 3 |
Halted |
0 ms |
0 KB |
- |
