답안 #601731

# 제출 시각 아이디 문제 언어 결과 실행 시간 메모리
601731 2022-07-22T09:27:58 Z 박상훈(#8471) Flight to the Ford (BOI22_communication) C++17
79 / 100
4917 ms 2252 KB
#include "communication.h"
#include <bits/stdc++.h>
//
// --- Sample implementation for the task communication ---
//
// To compile this program with the sample grader, place:
//     communication.h communication_sample.cpp sample_grader.cpp
// in a single folder, then open the terminal in this directory (right-click onto an empty spot in the directory,
// left click on "Open in terminal") and enter e.g.:
//     g++ -std=c++17 communication_sample.cpp sample_grader.cpp
// in this folder. This will create a file a.out in the current directory which you can execute from the terminal
// as ./a.out
// See task statement or sample_grader.cpp for the input specification
//

using namespace std;
typedef long long ll;
int valid[128];

int _find(const vector<pair<int, int>> &V, int S, int k, int X){
    int cur = V[0].first;
    int pt = 0;
    int ret = 0;

    int rem = S / k;
    if (S%k) rem++;

    while(true){
        int r = min(cur+rem-1, V[pt].second);
        if (X>=cur && X<=r) return ret;

        S -= r-cur+1;
        rem -= r-cur+1;
        if (rem==0){
            --k;
            assert(k);

            rem = S/k;
            if (S%k) rem++;
            ret++;
        }

        cur = r+1;
        if (cur>V[pt].second){
            ++pt;
            cur = V[pt].first;
        }
    }
    assert(0);
}

void _modify(vector<pair<int, int>> &V, int &S, int k, int val){
    vector<pair<int, int>> ret;
    int retS = 0;

    int cur = V[0].first;
    int pt = 0, idx = 0;

    int rem = S / k;
    if (S%k) rem++;

    while(true){
        int r = min(cur+rem-1, V[pt].second);
        if (valid[idx^val]){
            //printf(" %d %d\n", idx, val);
            ret.emplace_back(cur, r);
            retS += r-cur+1;
        }

        S -= r-cur+1;
        rem -= r-cur+1;
        if (rem==0){
            --k;
            if (!k) break;

            rem = S/k;
            if (S%k) rem++;
            idx++;
        }

        cur = r+1;
        if (cur>V[pt].second){
            ++pt;
            cur = V[pt].first;
        }
    }

    swap(V, ret);
    swap(S, retS);
}

vector<int> get_last(const vector<pair<int, int>> &V){
    vector<int> ret;
    for (auto &[l, r]:V){
        for (int i=l;i<=r;i++) ret.push_back(i);
    }
    assert(ret.size()==3);
    return ret;
}

void process(vector<pair<int, int>> &V, int &S, int k, int encode, int t){
    while(S>=k){
        int val = 0;
        if (encode) val = _find(V, S, k, encode);
        int rval = 0;

        if (encode){
            for (int i=0;i<t;i++){
                if (val&(1<<i)) rval |= (send(1)<<i);
                else rval |= (send(0)<<i);
            }
        }

        else{
            for (int i=0;i<t;i++){
                rval |= (receive()<<i);
            }
        }


        _modify(V, S, k, rval);

        //for (auto &[l, r]:V) printf("[%d, %d] ", l, r);
        //printf("-> %d\n", S);
    }
}

void encode(int N, int X) {

    for (int i=0;i<1024;i++){
        valid[i] = 1;
        for (int j=0;j<9;j++) if ((i&(1<<j)) && (i&(1<<(j+1)))) valid[i] = 0;
    }

    vector<pair<int, int>> V = {{1, N}};
    int S = N;

    process(V, S, 1024, X, 10);
    process(V, S, 512, X, 9);
    process(V, S, 256, X, 8);
    process(V, S, 128, X, 7);
    process(V, S, 64, X, 6);
    process(V, S, 32, X, 5);
    process(V, S, 16, X, 4);
    process(V, S, 8, X, 3);
    process(V, S, 4, X, 2);




    vector<int> last = get_last(V);
    X = find(last.begin(), last.end(), X) - last.begin() + 1;
    assert(X<=3);
    string s[4] = {"", "10", "11", "01"};

    bool flag = 0;
    for (int i=0;i<3;i++){
        if (!flag) flag = (((s[X][0]-'0')^1) != send((s[X][0]-'0') ^ 1));
        else{
            send(s[X][1]-'0');
            flag = 0;
        }
    }
}

std::pair<int, int> decode(int N) {
    for (int i=0;i<1024;i++){
        valid[i] = 1;
        for (int j=0;j<9;j++) if ((i&(1<<j)) && (i&(1<<(j+1)))) valid[i] = 0;
    }

    vector<pair<int, int>> V = {{1, N}};
    int S = N;

    process(V, S, 1024, 0, 10);
    process(V, S, 512, 0, 9);
    process(V, S, 256, 0, 8);
    process(V, S, 128, 0, 7);
    process(V, S, 64, 0, 6);
    process(V, S, 32, 0, 5);
    process(V, S, 16, 0, 4);
    process(V, S, 8, 0, 3);
    process(V, S, 4, 0, 2);

    vector<int> last = get_last(V);
    vector<int> v;
    for (int i=0;i<3;i++){
        int x = receive();
        v.push_back(x);
        if (i && v[i-1]==v[i]){
            if (v[i]==1) return {last[1], last[2]};
            else return {last[0], last[1]};
        }
    }
    return {last[0], last[2]};
}

Compilation message

communication.cpp: In function 'void encode(int, int)':
communication.cpp:131:18: warning: iteration 128 invokes undefined behavior [-Waggressive-loop-optimizations]
  131 |         valid[i] = 1;
      |         ~~~~~~~~~^~~
communication.cpp:130:19: note: within this loop
  130 |     for (int i=0;i<1024;i++){
      |                  ~^~~~~
communication.cpp: In function 'std::pair<int, int> decode(int)':
communication.cpp:168:18: warning: iteration 128 invokes undefined behavior [-Waggressive-loop-optimizations]
  168 |         valid[i] = 1;
      |         ~~~~~~~~~^~~
communication.cpp:167:19: note: within this loop
  167 |     for (int i=0;i<1024;i++){
      |                  ~^~~~~
# 결과 실행 시간 메모리 Grader output
1 Correct 16 ms 1720 KB Output is correct
2 Correct 16 ms 1812 KB Output is correct
3 Correct 22 ms 1760 KB Output is correct
4 Correct 10 ms 1856 KB Output is correct
5 Correct 18 ms 1788 KB Output is correct
6 Correct 31 ms 1692 KB Output is correct
7 Correct 57 ms 1880 KB Output is correct
# 결과 실행 시간 메모리 Grader output
1 Partially correct 885 ms 1688 KB Output is partially correct
2 Partially correct 436 ms 1728 KB Output is partially correct
3 Partially correct 651 ms 1904 KB Output is partially correct
4 Partially correct 1070 ms 2044 KB Output is partially correct
5 Partially correct 953 ms 2108 KB Output is partially correct
6 Partially correct 820 ms 1752 KB Output is partially correct
7 Partially correct 3091 ms 1924 KB Output is partially correct
8 Partially correct 4917 ms 2252 KB Output is partially correct
9 Partially correct 4244 ms 1956 KB Output is partially correct
10 Partially correct 4381 ms 2048 KB Output is partially correct
11 Partially correct 4277 ms 2072 KB Output is partially correct
12 Partially correct 4085 ms 2140 KB Output is partially correct
13 Partially correct 4471 ms 2240 KB Output is partially correct
14 Partially correct 4271 ms 2184 KB Output is partially correct
15 Partially correct 2308 ms 2008 KB Output is partially correct
16 Partially correct 4626 ms 1884 KB Output is partially correct
17 Partially correct 1145 ms 2012 KB Output is partially correct
18 Partially correct 1167 ms 2016 KB Output is partially correct
19 Partially correct 1194 ms 1932 KB Output is partially correct
20 Partially correct 1402 ms 1728 KB Output is partially correct
21 Partially correct 1243 ms 1948 KB Output is partially correct
22 Partially correct 1275 ms 1964 KB Output is partially correct
23 Partially correct 1849 ms 1976 KB Output is partially correct
24 Correct 14 ms 1956 KB Output is correct
25 Correct 18 ms 1912 KB Output is correct
26 Correct 18 ms 1812 KB Output is correct
27 Correct 13 ms 1824 KB Output is correct
28 Correct 17 ms 1936 KB Output is correct
29 Correct 39 ms 1812 KB Output is correct
30 Correct 73 ms 1704 KB Output is correct