結果

問題 No.2901 Logical Sum of Substring
ユーザー vjudge1vjudge1
提出日時 2024-09-25 20:30:20
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 654 ms / 3,000 ms
コード長 2,719 bytes
コンパイル時間 747 ms
コンパイル使用メモリ 71,964 KB
実行使用メモリ 176,360 KB
最終ジャッジ日時 2024-09-25 20:30:50
合計ジャッジ時間 17,062 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 3 ms
6,812 KB
testcase_01 AC 2 ms
6,940 KB
testcase_02 AC 3 ms
6,944 KB
testcase_03 AC 3 ms
6,940 KB
testcase_04 AC 3 ms
6,944 KB
testcase_05 AC 3 ms
6,940 KB
testcase_06 AC 3 ms
6,944 KB
testcase_07 AC 3 ms
6,940 KB
testcase_08 AC 619 ms
176,352 KB
testcase_09 AC 625 ms
176,228 KB
testcase_10 AC 621 ms
176,348 KB
testcase_11 AC 630 ms
176,356 KB
testcase_12 AC 638 ms
176,228 KB
testcase_13 AC 634 ms
176,228 KB
testcase_14 AC 626 ms
176,352 KB
testcase_15 AC 654 ms
176,232 KB
testcase_16 AC 626 ms
176,348 KB
testcase_17 AC 638 ms
176,356 KB
testcase_18 AC 639 ms
176,232 KB
testcase_19 AC 639 ms
176,352 KB
testcase_20 AC 626 ms
176,356 KB
testcase_21 AC 622 ms
176,352 KB
testcase_22 AC 618 ms
176,224 KB
testcase_23 AC 620 ms
176,356 KB
testcase_24 AC 621 ms
176,352 KB
testcase_25 AC 617 ms
176,360 KB
testcase_26 AC 568 ms
176,352 KB
testcase_27 AC 602 ms
176,224 KB
testcase_28 AC 574 ms
176,352 KB
testcase_29 AC 594 ms
176,224 KB
testcase_30 AC 590 ms
176,228 KB
testcase_31 AC 592 ms
176,224 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>

using namespace std;

const int MAXN = 2e5 + 5, MAXK = 20;

struct SegTree {
  int ans, n, m, len, pre[20], suf[20], lp[20], lq[20];
} tr[MAXN * 4], I;

int T, n, k, a[MAXN];

void init(SegTree &u) {
  u = I;
}

SegTree Merge(SegTree l, SegTree r) {
  SegTree ret; init(ret);
  ret.ans = min(l.ans, r.ans);
  ret.n = l.n, ret.m = r.m;
  ret.len = l.len + r.len;
  for (int i = 1; i <= l.n; i++) {
    ret.pre[i] = l.pre[i], ret.lp[i] = l.lp[i];
  }
  for (int i = 1; i <= r.n; i++) {
    if ((ret.pre[ret.n] | r.pre[i]) != ret.pre[ret.n]) {
      ret.pre[ret.n + 1] = (ret.pre[ret.n] | r.pre[i]);
      ret.lp[++ret.n] = l.len + r.lp[i];
    }
  }
  for (int i = 1; i <= r.m; i++) {
    ret.suf[i] = r.suf[i], ret.lq[i] = r.lq[i];
  }
  for (int i = 1; i <= l.m; i++) {
    if ((ret.suf[ret.m] | l.suf[i]) != ret.suf[ret.m]) {
      ret.suf[ret.m + 1] = (ret.suf[ret.m] | l.suf[i]);
      ret.lq[++ret.m] = r.len + l.lq[i];
    }
  }
  for (int i = l.m, j = 1; i; i--) {
    for (; j <= r.n && (l.suf[i] | r.pre[j]) != k; j++);
    if (j <= r.n) ret.ans = min(ret.ans, l.lq[i] + r.lp[j]);
  }
  return ret;
}

void bulid(int i, int l, int r) {
  if (l == r) {
    init(tr[i]), tr[i].len = 1;
    return ;
  }
  int mid = (l + r) >> 1;
  bulid(i * 2, l, mid), bulid(i * 2 + 1, mid + 1, r);
}

void modify(int i, int l, int r, int x, int v) {
  if (l == r) {
    tr[i].pre[1] = tr[i].suf[1] = v;
    tr[i].n = tr[i].m = tr[i].lp[1] = tr[i].lq[1] = 1;
    tr[i].ans = (v != k) * (n + 9) + 1;
    //cout << tr[i].ans << ' ';
    return ;
  }
  int mid = (l + r) >> 1;
  x <= mid ? modify(i * 2, l, mid, x, v) : modify(i * 2 + 1, mid + 1, r, x, v);
  tr[i] = Merge(tr[i * 2], tr[i * 2 + 1]);
}

SegTree query(int i, int l, int r, int ql, int qr) {
  if (l > qr || r < ql) return I;
  if (ql <= l && r <= qr) return tr[i];
  int mid = (l + r) >> 1;
  return Merge(query(i * 2, l, mid, ql, qr), query(i * 2 + 1, mid + 1, r, ql, qr));
}

int main() {
  ios::sync_with_stdio(0), cin.tie(0);
  for (int j = 0; j < 20; j++) {
    I.pre[j] = I.suf[j] = I.lp[j] = I.lq[j] = 0;
  }
  cin >> n >> k, k = (1 << k) - 1;
  I = {n + 10, 0, 0, 0}, bulid(1, 1, n);
  for (int i = 1; i <= n; i++) {
    cin >> a[i], modify(1, 1, n, i, a[i]);
  }
  auto u = query(1, 1, n, 2, 3), v = query(1, 1, n, 4, 4);
  //cout << u.m << ' ' << u.suf[2] << ' ' << u.lq[2] << ' ' << v.n << ' ' << v.pre[1] << ' ' <<Merge(u, v).ans << ' ' << (5 | 6) << '\n';
  cin >> T;
  for (int op, u, v, l, r; T--; ) {
    cin >> op;
    if (op == 1) {
      cin >> u >> v;
      modify(1, 1, n, u, v);
    } else {
      cin >> l >> r;
      int ans = query(1, 1, n, l, r).ans;
      cout << (ans <= n ? ans : -1) << '\n';
    }
  }
  return 0;
}
0