Submission #573916

# Submission time Handle Problem Language Result Execution time Memory
573916 2022-06-07T12:03:18 Z lumibons Flight to the Ford (BOI22_communication) C++17
26.4 / 100
4809 ms 2052 KB
#include <vector>
#include <cstdlib>
#include "communication.h"

typedef long long ll;

using namespace std;

struct interval {
  ll l, r;
  interval(ll l, ll r) : l(l), r(r) {}
  bool contains(ll x) {
    return l <= x && x < r;
  }
  ll length() {
    return r - l;
  }
  interval shrink(ll o, ll s) {
    return interval(min(r, l + o), min(r, l + o + s));
  }
};

vector<interval> splitIntervals(vector<interval> c, ll o, ll s) {
  vector<interval> r;
  for (interval &it : c) {
    if (s > 0 && it.length() - o > 0)
      r.push_back(it.shrink(o, s));
    s -= max(0LL, min(s, it.length() - o));
    o -= min(o, it.length());
  }
  return r;
}

bool contains(vector<interval> c, ll x) {
  for (interval &it : c)
    if (it.contains(x))
      return true;
  return false;
}

struct state {
  ll s = 0;
  vector<interval> c;
  state() {}
  state(ll N): s(N) {
    c.emplace_back(1, N + 1);
  }
  state(vector<vector<interval>> &cs) {
    for (vector<interval> &c : cs)
      add(c);
  }
  void add(interval it) {
    s += it.length();
    c.push_back(it);
  }
  void add(vector<interval> &c) {
    for (interval &it : c)
      add(it);
  }
  vector<vector<interval>> split(int n) {
    vector<vector<interval>> r;
    ll o = 0, rs = s;
    for (int i = 0; i < n; i++) {
      ll cs = rs / (n - i);
      rs -= cs;
      r.push_back(splitIntervals(c, o, cs));
      o += cs;
    }
    return r;
  }
  ll size() {
    return s;
  }
  vector<ll> remaining() {
    vector<ll> r;
    for (interval &it : c)
      for (ll v = it.l; v < it.r; v++)
        r.push_back(v);
    return r;
  }
};

void reduce(state &s, int ps, const vector<int> &p, int X = -1) {
  // if (rand() & 1)
  //   X != -1 ? send(0) : receive();
  int rp = 0, pc = (int) p.size();
  vector<vector<interval>> c = s.split(pc);
  int sp = 0;
  while (X != -1 && !contains(c[sp], X))
    sp++;
  for (int i = 0; i < ps; i++)
    rp |= (X != -1 ? send((p[sp] >> i) & 1) : receive()) << i;
  vector<vector<interval>> nc;
  for (int i = 0; i < pc; i++)
    if (((p[i] ^ rp) & ((p[i] ^ rp) >> 1)) == 0)
      nc.push_back(c[i]);
  s = state(nc);
}

std::pair<int, int> solve(int N, int X = -1) {
  state s(N);
  srand(42);

  // for (int ps = 10; ps >= 4; ps -= 2) {
  //    vector<int> p;
  //    for (int i = 0; i < (1 << ps); i++)
  //      p.push_back(i);
  //    while (s.size() >= (int) p.size())
  //      reduce(s, ps, p, X);
  // }
  // -> 106, ok

  // int ps = 10;
  // vector<int> p;
  // for (int i = 0; i < (1 << ps); i++)
  //   p.push_back(i);
  // while (s.size() >= (int) p.size())
  //   reduce(s, ps, p, X);
  // -> 108, ok

  while (s.size() >= 6)
    reduce(s, 5, {0, 3, 12, 17, 10, 31}, X); // -> 224, ok
    // reduce(s, 4, {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15}, X); // -> 116, ok
    // reduce(s, 4, {1, 2, 4, 15}, X); // -> >250, ok
    // reduce(s, 4, {0, 7, 9, 15}, X); // -> >250, ok

  while (s.size() > 2)
    reduce(s, 4, {0, 6, 9, 15}, X);

  vector<ll> r = s.remaining();
  return {r[0], r.back()};
}

void encode(int N, int X) {
  solve(N, X);
}

std::pair<int, int> decode(int N) {
  return solve(N);
}
# Verdict Execution time Memory Grader output
1 Correct 7 ms 1728 KB Output is correct
2 Correct 11 ms 1720 KB Output is correct
3 Correct 14 ms 1720 KB Output is correct
4 Correct 11 ms 1788 KB Output is correct
5 Correct 11 ms 1668 KB Output is correct
6 Correct 27 ms 1788 KB Output is correct
7 Correct 42 ms 1656 KB Output is correct
# Verdict Execution time Memory Grader output
1 Partially correct 929 ms 1776 KB Output is partially correct
2 Partially correct 479 ms 1724 KB Output is partially correct
3 Partially correct 507 ms 1744 KB Output is partially correct
4 Partially correct 924 ms 1732 KB Output is partially correct
5 Partially correct 820 ms 1868 KB Output is partially correct
6 Partially correct 669 ms 1804 KB Output is partially correct
7 Partially correct 2691 ms 1832 KB Output is partially correct
8 Partially correct 4468 ms 2052 KB Output is partially correct
9 Partially correct 4194 ms 2008 KB Output is partially correct
10 Partially correct 4335 ms 1968 KB Output is partially correct
11 Partially correct 4809 ms 2036 KB Output is partially correct
12 Partially correct 4510 ms 1840 KB Output is partially correct
13 Partially correct 4525 ms 1984 KB Output is partially correct
14 Partially correct 4600 ms 2004 KB Output is partially correct
15 Partially correct 2366 ms 1896 KB Output is partially correct
16 Partially correct 4362 ms 1852 KB Output is partially correct
17 Partially correct 1224 ms 1844 KB Output is partially correct
18 Partially correct 1081 ms 1776 KB Output is partially correct
19 Partially correct 1349 ms 1860 KB Output is partially correct
20 Partially correct 1084 ms 1884 KB Output is partially correct
21 Partially correct 1231 ms 1892 KB Output is partially correct
22 Partially correct 1170 ms 1840 KB Output is partially correct
23 Partially correct 1835 ms 1848 KB Output is partially correct
24 Correct 13 ms 1728 KB Output is correct
25 Correct 13 ms 1800 KB Output is correct
26 Correct 14 ms 1732 KB Output is correct
27 Correct 8 ms 1672 KB Output is correct
28 Correct 16 ms 1784 KB Output is correct
29 Correct 28 ms 1648 KB Output is correct
30 Correct 40 ms 1692 KB Output is correct