Submission #749028

#	Time	Username	Problem	Language	Result	Execution time	Memory
749028		model_code	Alice, Bob, and Circuit (APIO23_abc)	C++17	28 / 100	486 ms	474320 KiB

abc

#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 (stderr)

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++)
      |                     ~~^~~~~~~~~~

• Subtask 1: 4 / 4
• Subtask 2: 0 / 4
• Subtask 3: 0 / 4
• Subtask 4: 24 / 24
• Subtask 5: 0 / 24
• Subtask 6: 0 / 6
• Subtask 7: 0 / 18
• Subtask 8: 0 / 10
• Subtask 9: 0 / 6