oj.uz

Submission #980366

# Submission time Handle Problem Language Result Execution time Memory
980366 2024-05-12T06:21:26 Z Unforgettablepl Alice, Bob, and Circuit (APIO23_abc) C++17
62 / 100
 71 ms 12060 KB 
#include <bits/stdc++.h>
using namespace std;
 
// you may find the definitions useful
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_alice[]
) {
    map<string,int> hasher;
    for(int i=0;i<n;i++)hasher[names[i]];
    int curr = 0;
    for(auto&[x,y]:hasher)y=curr++;
    for(int i=0;i<n;i++){
        for(int bit=0;bit<16;bit++){
            outputs_alice[16*hasher[names[i]]+bit]=(numbers[i]>>bit)&1;
        }
    }
    int l = 16*n;
    for(int i=0;i<n;i++){
        for(int j=0;j<n;j++){
            outputs_alice[l+i*30+hasher[names[i]]]=true;
        }
    }
    return l + 30*n;
}
 
 
// Bob
int // returns lb
bob(
        /*  in */ const int m,
        /*  in */ const char senders[][5],
        /*  in */ const char recipients[][5],
        /* out */ bool outputs_bob[]
) {
    map<string,int> hasher;
    for(int i=0;i<m;i++)hasher[senders[i]]=hasher[recipients[i]];
    int curr = 0;
    for(auto&hash:hasher)hash.second=curr++;
    for(int i=0;i<m;i++)outputs_bob[hasher[recipients[i]]*30+hasher[senders[i]]]=true;
    return 900;
}
 
 
// Circuit
int // returns l
circuit(
        /*  in */ const int la,
        /*  in */ const int lb,
        /* out */ int operations[],
        /* out */ int operands[][2],
        /* out */ int outputs_circuit[][16]
) {
    int l = la+lb-1;
    int n = la/46;
    auto cal = [&](int oper,int a,int b){
        operations[++l] = oper;
        operands[l][0] = a;
        operands[l][1] = b;
        return l;
    };
    auto alloc = [&](){
        // Allocates 16 bits of zero memory
        vector<int> ans(16);
        for(int i=0;i<16;i++){
            ans[i]=cal(OP_ZERO,0,0);
        }
        return ans;
    };
    auto add = [&](vector<int> a,vector<int> b){
        vector<int> carry(16);carry[0]=cal(OP_ZERO,0,0);
        vector<int> ans(16);
        for(int bit=0;bit<16;bit++){
            ans[bit] = cal(OP_XOR,cal(OP_XOR,a[bit],b[bit]),carry[bit]);
            if(bit==15)continue;
            int temp1 = cal(OP_AND,cal(OP_AND,a[bit],b[bit]),carry[bit]);
            int temp2 = cal(OP_OR,cal(OP_OR,a[bit],b[bit]),carry[bit]);
            temp2 = cal(OP_AND,temp2,cal(OP_NOT_X0,ans[bit],ans[bit]));
            carry[bit+1] = cal(OP_OR,temp1,temp2);
        }
        return ans;
    };
    auto condicop = [&](vector<int> a,int b){
        for(int&i:a)i = cal(OP_AND,i,b);
        return a;
    };
    auto OR = [&](vector<int> a,vector<int> b){
        for(int i=0;i<a.size();i++)a[i]=cal(OP_OR,a[i],b[i]);
        return a;
    };
    vector<vector<int>> ans(n,alloc());
    vector<vector<int>> fav(n,vector<int>(16));
    for(int i=0;i<n;i++)iota(fav[i].begin(), fav[i].end(),16*i);
    for(int receiver=0; receiver<n;receiver++){
        for(int sender=0;sender<n;sender++){
            ans[receiver] = add(ans[receiver],condicop(fav[sender],la+receiver*30+sender));
        }
    }
    for(int i=0;i<n;i++){
        vector<int> myans = alloc();
        for(int j=0;j<n;j++){
            myans = OR(myans,condicop(ans[j],16*n+30*i+j));
        }
        for(int j = 0; j < 16; ++j)outputs_circuit[i][j] = myans[j];
    }
    return l+1;
}

Compilation message

abc.cpp: In lambda function:
abc.cpp:109:22: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
  109 |         for(int i=0;i<a.size();i++)a[i]=cal(OP_OR,a[i],b[i]);
      |                     ~^~~~~~~~~

Subtask #1
4.0 / 4.0

# Verdict Execution time Memory Grader output
1 Correct 2 ms 1524 KB Correct!

Subtask #2
4.0 / 4.0

# Verdict Execution time Memory Grader output
1 Correct 2 ms 1524 KB Correct!
2 Correct 3 ms 1604 KB Correct!

Subtask #3
0.0 / 4.0

# Verdict Execution time Memory Grader output
1 Correct 2 ms 1524 KB Correct!
2 Correct 3 ms 1604 KB Correct!
3 Incorrect 41 ms 5320 KB WA Your functions alice(), bob(), circuit() finished successfully, but the final output binary string is incorrect.
4 Halted 0 ms 0 KB -

Subtask #4
24.0 / 24.0

# Verdict Execution time Memory Grader output
1 Correct 11 ms 4904 KB Correct!
2 Correct 34 ms 10192 KB Correct!
3 Correct 42 ms 8488 KB Correct!

Subtask #5
24.0 / 24.0

# Verdict Execution time Memory Grader output
1 Correct 11 ms 4904 KB Correct!
2 Correct 34 ms 10192 KB Correct!
3 Correct 42 ms 8488 KB Correct!
4 Correct 45 ms 10100 KB Correct!
5 Correct 55 ms 10804 KB Correct!

Subtask #6
6.0 / 6.0

# Verdict Execution time Memory Grader output
1 Correct 11 ms 4904 KB Correct!
2 Correct 34 ms 10192 KB Correct!
3 Correct 42 ms 8488 KB Correct!
4 Correct 45 ms 10100 KB Correct!
5 Correct 55 ms 10804 KB Correct!
6 Correct 43 ms 6976 KB Correct!
7 Correct 71 ms 12060 KB Correct!

Subtask #7
0.0 / 18.0

# Verdict Execution time Memory Grader output
1 Incorrect 67 ms 1204 KB TLE alice() exceeds time limit
2 Halted 0 ms 0 KB -

Subtask #8
0.0 / 10.0

# Verdict Execution time Memory Grader output
1 Incorrect 67 ms 1204 KB TLE alice() exceeds time limit
2 Halted 0 ms 0 KB -

Subtask #9
0.0 / 6.0

# Verdict Execution time Memory Grader output
1 Correct 2 ms 1524 KB Correct!
2 Correct 3 ms 1604 KB Correct!
3 Incorrect 41 ms 5320 KB WA Your functions alice(), bob(), circuit() finished successfully, but the final output binary string is incorrect.
4 Halted 0 ms 0 KB -