結果

問題 No.879 Range Mod 2 Query
ユーザー 0w10w1
提出日時 2019-10-12 01:33:42
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 233 ms / 3,000 ms
コード長 2,738 bytes
コンパイル時間 2,367 ms
コンパイル使用メモリ 215,500 KB
実行使用メモリ 14,840 KB
最終ジャッジ日時 2024-11-26 02:37:44
合計ジャッジ時間 6,503 ms
ジャッジサーバーID
(参考情報)
judge3 / judge5
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 6 ms
11,404 KB
testcase_01 AC 7 ms
11,420 KB
testcase_02 AC 7 ms
11,316 KB
testcase_03 AC 7 ms
11,280 KB
testcase_04 AC 7 ms
11,408 KB
testcase_05 AC 7 ms
11,420 KB
testcase_06 AC 5 ms
11,404 KB
testcase_07 AC 7 ms
11,464 KB
testcase_08 AC 7 ms
11,456 KB
testcase_09 AC 6 ms
11,348 KB
testcase_10 AC 7 ms
11,504 KB
testcase_11 AC 217 ms
14,068 KB
testcase_12 AC 126 ms
14,104 KB
testcase_13 AC 162 ms
14,076 KB
testcase_14 AC 153 ms
14,496 KB
testcase_15 AC 155 ms
13,588 KB
testcase_16 AC 210 ms
14,596 KB
testcase_17 AC 216 ms
14,840 KB
testcase_18 AC 224 ms
14,504 KB
testcase_19 AC 230 ms
14,600 KB
testcase_20 AC 216 ms
14,776 KB
testcase_21 AC 233 ms
14,612 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
main.cpp: In lambda function:
main.cpp:76:14: warning: narrowing conversion of '((f.main()::T::mtag != 0) ? ((((int64_t)(f.main()::T::stag + t.main()::T::stag)) + t.main()::T::atag) & 1) : ((long int)t.main()::T::stag))' from 'long int' to 'int' [-Wnarrowing]
   76 |       f.mtag ? f.stag + t.stag + t.atag & 1 : t.stag,
      |       ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

ソースコード

diff #

#include <bits/stdc++.h>
using namespace std;

template<int n, typename E, typename T, typename FTE, typename FTT, typename FEE>
struct Segt {
  vector<E> dat;
  vector<T> tag;
  FTE fte;
  FTT ftt;
  FEE fee;
  E ei;
  T ti;
  Segt(FTE a, FTT b, FEE c, E ei, T ti)
      : fte(a), ftt(b), fee(c), ei(ei), ti(ti) {
    dat.assign(2 * n, ei);
    tag.assign(2 * n, ti);
  }
  void build(vector<E> a) {
    for (int i = 0; i < a.size(); ++i) dat[n + i] = a[i];
    for (int i = n - 1; i; --i) dat[i] = fee(dat[i << 1], dat[i << 1 | 1]);
  }
  void push(int k) {
    for (int c = 0; c < 2; ++c) {
      tag[k << 1 | c] = ftt(tag[k], tag[k << 1 | c]);
      dat[k << 1 | c] = fte(tag[k], dat[k << 1 | c]);
    }
    tag[k] = ti;
  }
  void update(T t, int ql, int qr, int lb = 0, int rb = n, int k = 1) {
    if (qr <= lb || rb <= ql) return;
    if (ql <= lb && rb <= qr) {
      tag[k] = ftt(t, tag[k]);
      dat[k] = fte(t, dat[k]);
      return;
    }
    push(k);
    int mb = lb + rb >> 1;
    update(t, ql, qr, lb, mb, k << 1);
    update(t, ql, qr, mb, rb, k << 1 | 1);
    dat[k] = fee(dat[k << 1], dat[k << 1 | 1]);
  }
  E query(int ql, int qr, int lb = 0, int rb = n, int k = 1) {
    if (qr <= lb || rb <= ql) return ei;
    if (ql <= lb && rb <= qr) return dat[k];
    push(k);
    int mb = lb + rb >> 1;
    return fee(query(ql, qr, lb, mb, k << 1), query(ql, qr, mb, rb, k << 1 | 1));
  }
};

int main() {
  ios::sync_with_stdio(false);

  int N, Q;
  cin >> N >> Q;

  vector<int> A(N);
  for (int i = 0; i < N; ++i) {
    cin >> A[i];
  }

  typedef struct { int mtag, stag; int64_t atag; } T;
  typedef struct { int64_t vsum; int cnt0, cnt1; } E;
  function<E(T, E)> fte = [](T f, E e) {
    if (f.mtag) {
      if (f.stag) swap(e.cnt0, e.cnt1);
      e.vsum = e.cnt1;
    }
    if (f.atag & 1) swap(e.cnt0, e.cnt1);
    e.vsum += f.atag * (e.cnt0 + e.cnt1);
    return e;
  };
  function<T(T, T)> ftt = [](T f, T t) {
    return T({
      f.mtag | t.mtag,
      f.mtag ? f.stag + t.stag + t.atag & 1 : t.stag,
      f.mtag ? f.atag : f.atag + t.atag
    });
  };
  function<E(E, E)> fee = [](E l, E r) { return E({ l.vsum + r.vsum, l.cnt0 + r.cnt0, l.cnt1 + r.cnt1 }); };
  Segt<(1 << 17), E, T, decltype(fte), decltype(ftt), decltype(fee)> tree(fte, ftt, fee, E({0,0,0}), T({0,0,0}));

  vector<E> ea(N);
  transform(A.begin(), A.end(), ea.begin(), [&](int v) { return E({ v, ~v & 1, v & 1 }); });
  tree.build(ea);

  while (Q--) {
    int P, L, R;
    cin >> P >> L >> R;
    --L;
    if (P == 1) {
      tree.update(T({ 1, 0, 0 }), L, R);
    } else if (P == 2) {
      int X;
      cin >> X;
      tree.update(T({ 0, 0, X }), L, R);
    } else {
      cout << tree.query(L, R).vsum << '\n';
    }
  }

  return 0;
}
0