Submission #725080

# Submission time Handle Problem Language Result Execution time Memory
725080 2023-04-16T20:13:45 Z piOOE Ancient Machine (JOI21_ancient_machine) C++17
100 / 100
63 ms 8484 KB
#include "Anna.h"
#include <bits/stdc++.h>

using namespace std;

namespace {
    constexpr int k2 = 79;
    constexpr int fib = 113;
    constexpr int LOG = 17;
    using i128 = __int128;
//    using i128 = long long;

    i128 fibonacci[fib + 1];

    void initFib() {
        fibonacci[0] = 1;
        fibonacci[1] = 2;
        for (int x = 2; x <= fib; ++x) {
            fibonacci[x] = fibonacci[x - 1] + fibonacci[x - 2];
        }
    }

    i128 toBase2(vector<int> s) {
        i128 x = 0;
        reverse(s.begin(), s.end());
        for (int c : s) {
            x = x * 2 + c;
        }
        return x;
    }

    i128 toFib(vector<int> x) {
        i128 res = 0;
        int n = x.size();
        assert(n == fib);
        for (int i = 0; i < n; ++i) {
            res += x[i] * fibonacci[n - i - 1];
        }
        return res;
    }

    vector<int> toVectorFromBase2(i128 x) {
        vector<int> res(k2);
        for (int i = 0; i < k2; ++i) {
            res[i] += x >> i & i128(1);
        }
        return res;
    }

    vector<int> toVectorFromFib(i128 x) {
        vector<int> a(fib);
        for (int i = 0; i < fib; ++i) {
            if (x >= fibonacci[fib - i - 1]) {
                a[i] = 1;
            }
            x -= a[i] * fibonacci[fib - i - 1];
        }
        assert(x == 0);
        return a;
    }
}

void Anna(int n, std::vector<char> s) {
    initFib();
    int x = find(s.begin(), s.end(), 'X') - s.begin();
    int z = n - (find(s.rbegin(), s.rend(), 'Z') - s.rbegin()) - 1;

    if (x > z) {
        return;
    }

    vector<int> a(n);

    for (int i = x + 1; i < n; ++i) {
        if (s[i] == 'Z' && (i + 1 == n || s[i + 1] != 'Z')) {
            a[i] = 1;
        }
    }

//    for (int x : a) cout << x;
//    cout << endl;

    for (int i = 0; i < LOG; ++i) {
        Send(x >> i & 1);
    }

    while (a.size() % fib) {
        a.push_back(0);
    }

    for (int i = 0; i < a.size(); i += fib) {
        auto f = toFib(vector(a.begin() + i, a.begin() + i + fib));
        auto res = toVectorFromBase2(f);
//        cout << "f:" << f << endl;
        for (int j = 0; j < k2; ++j) {
            Send(res[j]);
        }
    }
}
#include "Bruno.h"
#include <bits/stdc++.h>

using namespace std;

namespace {
    constexpr int k2 = 79;
    constexpr int fib = 113;
    constexpr int LOG = 17;
    using i128 = __int128;
//    using i128 = long long;
    i128 fibonacci[fib + 1];

    void initFib() {
        fibonacci[0] = 1;
        fibonacci[1] = 2;
        for (int x = 2; x <= fib; ++x) {
            fibonacci[x] = fibonacci[x - 1] + fibonacci[x - 2];
        }
    }

    i128 toBase2(vector<int> s) {
        i128 x = 0;
        reverse(s.begin(), s.end());
        for (int c : s) {
            x = x * 2 + c;
        }
        return x;
    }

    i128 toFib(vector<int> x) {
        i128 res = 0;
        int n = x.size();
        assert(n == fib);
        for (int i = 0; i < n; ++i) {
            res += x[i] * fibonacci[n - i - 1];
        }
        return res;
    }

    vector<int> toVectorFromBase2(i128 x) {
        vector<int> res(k2);
        for (int i = 0; i < k2; ++i) {
            res[i] += x >> i & i128(1);
        }
        return res;
    }

    vector<int> toVectorFromFib(i128 x) {
        vector<int> a(fib);
        for (int i = 0; i < fib; ++i) {
            if (x >= fibonacci[fib - i - 1]) {
                a[i] = 1;
            }
            x -= a[i] * fibonacci[fib - i - 1];
        }
        assert(x == 0);
        return a;
    }
}

void Bruno(int N, int L, std::vector<int> A) {
    initFib();
    if (L == 0) {
        for (int i = 0; i < N; ++i) {
            Remove(i);
        }
        return;
    }

    int fi = 0;

    for (int i = 0; i < LOG; ++i) {
        if (A[i]) {
            fi |= 1 << i;
        }
    }

    assert((L - LOG) % k2 == 0);

    int n = N + (fib - N % fib) % fib;

    vector<int> a(n);

    for (int i = LOG, j = 0; i < L; i += k2, j += fib) {
        auto f = toBase2(vector(A.begin() + i, A.begin() + i + k2));
//        cout << "my f:" << f << endl;
        auto res = toVectorFromFib(f);
        for (int k = j; k < j + fib; ++k) {
            assert(k < n);
            a[k] = res[k - j];
        }
    }

//    for (int x : a) {
//        cout << x;
//    }
//    cout << endl;

    for (int i = 0; i < fi; ++i) {
        Remove(i);
    }

    vector<int> stk{fi};

    for (int i = fi + 1; i < N; ++i) {
        if (a[i]) {
            while (stk.size() > 1) {
                Remove(stk.back());
                stk.pop_back();
            }
            Remove(i);
        } else {
            stk.push_back(i);
        }
    }

    for (int x : stk) {
        Remove(x);
    }
}

Compilation message

Anna.cpp: In function 'void Anna(int, std::vector<char>)':
Anna.cpp:91:23: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
   91 |     for (int i = 0; i < a.size(); i += fib) {
      |                     ~~^~~~~~~~~~
Anna.cpp: At global scope:
Anna.cpp:50:17: warning: 'std::vector<int> {anonymous}::toVectorFromFib({anonymous}::i128)' defined but not used [-Wunused-function]
   50 |     vector<int> toVectorFromFib(i128 x) {
      |                 ^~~~~~~~~~~~~~~
Anna.cpp:23:10: warning: '{anonymous}::i128 {anonymous}::toBase2(std::vector<int>)' defined but not used [-Wunused-function]
   23 |     i128 toBase2(vector<int> s) {
      |          ^~~~~~~

Bruno.cpp:41:17: warning: 'std::vector<int> {anonymous}::toVectorFromBase2({anonymous}::i128)' defined but not used [-Wunused-function]
   41 |     vector<int> toVectorFromBase2(i128 x) {
      |                 ^~~~~~~~~~~~~~~~~
Bruno.cpp:31:10: warning: '{anonymous}::i128 {anonymous}::toFib(std::vector<int>)' defined but not used [-Wunused-function]
   31 |     i128 toFib(vector<int> x) {
      |          ^~~~~
# Verdict Execution time Memory Grader output
1 Correct 1 ms 508 KB Output is correct
2 Correct 1 ms 556 KB Output is correct
3 Correct 1 ms 516 KB Output is correct
4 Correct 0 ms 504 KB Output is correct
5 Correct 0 ms 508 KB Output is correct
6 Correct 1 ms 516 KB Output is correct
7 Correct 0 ms 508 KB Output is correct
8 Correct 0 ms 516 KB Output is correct
9 Correct 1 ms 508 KB Output is correct
10 Correct 1 ms 512 KB Output is correct
11 Correct 1 ms 508 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 51 ms 8060 KB Output is correct
2 Correct 51 ms 7984 KB Output is correct
3 Correct 60 ms 8004 KB Output is correct
4 Correct 49 ms 8032 KB Output is correct
5 Correct 48 ms 8116 KB Output is correct
6 Correct 47 ms 8020 KB Output is correct
7 Correct 61 ms 8080 KB Output is correct
8 Correct 49 ms 8108 KB Output is correct
9 Correct 56 ms 7976 KB Output is correct
10 Correct 52 ms 8080 KB Output is correct
11 Correct 60 ms 8112 KB Output is correct
12 Correct 52 ms 8084 KB Output is correct
13 Correct 59 ms 8484 KB Output is correct
14 Correct 56 ms 8040 KB Output is correct
15 Correct 63 ms 7980 KB Output is correct
16 Correct 51 ms 8080 KB Output is correct
17 Correct 46 ms 6436 KB Output is correct
18 Correct 47 ms 6456 KB Output is correct
19 Correct 46 ms 6372 KB Output is correct
20 Correct 47 ms 8084 KB Output is correct
21 Correct 47 ms 8036 KB Output is correct
22 Correct 59 ms 8404 KB Output is correct
23 Correct 48 ms 8048 KB Output is correct
24 Correct 51 ms 8020 KB Output is correct
25 Correct 48 ms 6368 KB Output is correct
26 Correct 46 ms 6380 KB Output is correct
27 Correct 47 ms 6356 KB Output is correct
28 Correct 53 ms 6364 KB Output is correct
29 Correct 47 ms 6348 KB Output is correct
30 Correct 47 ms 6352 KB Output is correct
31 Correct 43 ms 6420 KB Output is correct
32 Correct 49 ms 8032 KB Output is correct
33 Correct 59 ms 8088 KB Output is correct