Hashiryo's Library

This documentation is automatically generated by competitive-verifier/competitive-verifier

View the Project on GitHub hashiryo/Library

:heavy_check_mark: test/aoj/2842.Seg2D.test.cpp

Depends on

Code

// competitive-verifier: PROBLEM https://onlinejudge.u-aizu.ac.jp/challenges/sources/VPC/HUPC/2842
// competitive-verifier: TLE 1
// competitive-verifier: MLE 64
#include <iostream>
#include <set>
#include <vector>
#include <algorithm>
#include <array>
#include "src/DataStructure/SegmentTree_2D.hpp"
using namespace std;
struct RSQ {
 using T= pair<int, int>;
 static T ti() { return {0, 0}; }
 static T op(const T &l, const T &r) { return {l.first + r.first, l.second + r.second}; }
};
signed main() {
 cin.tie(0);
 ios::sync_with_stdio(false);
 int H, W, T, Q;
 cin >> H >> W >> T >> Q;
 set<array<int, 2>> xy;
 vector<array<int, 6>> query;
 for (int i= 0; i < Q; i++) {
  int t, c, h1, w1, h2, w2;
  cin >> t >> c >> h1 >> w1;
  if (c == 2) cin >> h2 >> w2;
  else if (c == 0) query.push_back({t + T, -1, h1, w1, h2, w2});
  if (c != 2) xy.insert({h1, w1});
  query.push_back({t, c, h1, w1, h2, w2});
 }
 SegmentTree_2D<int, RSQ> seg(xy);
 sort(query.begin(), query.end());
 for (auto [t, c, h1, w1, h2, w2]: query) {
  if (c == 0) {
   seg.set(h1, w1, {1, 0});
  } else if (c == 1) {
   if (seg.get(h1, w1).second) seg.set(h1, w1, {0, 0});
  } else if (c == 2) {
   auto [x, y]= seg.prod(h1, h2 + 1, w1, w2 + 1);
   cout << y << " " << x << '\n';
  } else {
   seg.set(h1, w1, {0, 1});
  }
 }
 return 0;
}
#line 1 "test/aoj/2842.Seg2D.test.cpp"
// competitive-verifier: PROBLEM https://onlinejudge.u-aizu.ac.jp/challenges/sources/VPC/HUPC/2842
// competitive-verifier: TLE 1
// competitive-verifier: MLE 64
#include <iostream>
#include <set>
#include <vector>
#include <algorithm>
#include <array>
#line 4 "src/DataStructure/SegmentTree_2D.hpp"
#include <numeric>
#include <map>
#line 7 "src/DataStructure/SegmentTree_2D.hpp"
#include <cassert>
#line 2 "src/Internal/tuple_traits.hpp"
#include <tuple>
#line 4 "src/Internal/tuple_traits.hpp"
#include <type_traits>
#include <cstddef>
template <class T> static constexpr bool tuple_like_v= false;
template <class... Args> static constexpr bool tuple_like_v<std::tuple<Args...>> = true;
template <class T, class U> static constexpr bool tuple_like_v<std::pair<T, U>> = true;
template <class T, size_t K> static constexpr bool tuple_like_v<std::array<T, K>> = true;
template <class T> auto to_tuple(const T &t) {
 if constexpr (tuple_like_v<T>) return std::apply([](auto &&...x) { return std::make_tuple(x...); }, t);
}
template <class T> auto forward_tuple(const T &t) {
 if constexpr (tuple_like_v<T>) return std::apply([](auto &&...x) { return std::forward_as_tuple(x...); }, t);
}
template <class T> static constexpr bool array_like_v= false;
template <class T, size_t K> static constexpr bool array_like_v<std::array<T, K>> = true;
template <class T, class U> static constexpr bool array_like_v<std::pair<T, U>> = std::is_convertible_v<T, U>;
template <class T> static constexpr bool array_like_v<std::tuple<T>> = true;
template <class T, class U, class... Args> static constexpr bool array_like_v<std::tuple<T, U, Args...>> = array_like_v<std::tuple<T, Args...>> && std::is_convertible_v<U, T>;
template <class T> auto to_array(const T &t) {
 if constexpr (array_like_v<T>) return std::apply([](auto &&...x) { return std::array{x...}; }, t);
}
template <class T> using to_tuple_t= decltype(to_tuple(T()));
template <class T> using to_array_t= decltype(to_array(T()));
#line 9 "src/DataStructure/SegmentTree_2D.hpp"
template <class pos_t, class M> class SegmentTree_2D {
 using T= typename M::T;
 using Pos= std::array<pos_t, 2>;
 std::vector<pos_t> xs;
 std::vector<Pos> yxs;
 std::vector<int> id, tol;
 std::vector<T> val;
 template <class P> using canbe_Pos= std::is_convertible<to_tuple_t<P>, std::tuple<pos_t, pos_t>>;
 template <class P> using canbe_PosV= std::is_convertible<to_tuple_t<P>, std::tuple<pos_t, pos_t, T>>;
 template <class P, class U> static constexpr bool canbe_Pos_and_T_v= std::conjunction_v<canbe_Pos<P>, std::is_convertible<U, T>>;
 int sz;
 inline int x2i(pos_t x) const { return std::lower_bound(xs.begin(), xs.end(), x) - xs.begin(); }
 inline int y2i(pos_t y) const {
  return std::lower_bound(yxs.begin(), yxs.end(), Pos{y, 0}, [](const Pos &a, const Pos &b) { return a[0] < b[0]; }) - yxs.begin();
 }
 inline int xy2i(pos_t x, pos_t y) const {
  Pos p{y, x};
  auto it= std::lower_bound(yxs.begin(), yxs.end(), p);
  return assert(p == *it), it - yxs.begin();
 }
 template <bool z, size_t k, class P> inline auto get_(const P &p) {
  if constexpr (z) return std::get<k>(p);
  else return std::get<k>(p.first);
 }
 template <bool z, class XYW> inline void build(const XYW *xyw, int n, const T &v= M::ti()) {
  xs.resize(n);
  for (int i= n; i--;) xs[i]= get_<z, 0>(xyw[i]);
  std::sort(xs.begin(), xs.end()), xs.erase(std::unique(xs.begin(), xs.end()), xs.end()), id.resize((sz= 1 << (32 - __builtin_clz(xs.size()))) + xs.size() + 1);
  std::vector<int> ord(n);
  for (int j= n; j--;)
   for (int i= x2i(get_<z, 0>(xyw[j])) + sz; i; i>>= 1) ++id[i + 1];
  for (int i= 1, e= sz + xs.size(); i < e; ++i) id[i + 1]+= id[i];
  val.assign(id.back() * 2, M::ti()), tol.resize(id[sz] + 1), std::iota(ord.begin(), ord.end(), 0), std::sort(ord.begin(), ord.end(), [&](int i, int j) { return get_<z, 1>(xyw[i]) == get_<z, 1>(xyw[j]) ? get_<z, 0>(xyw[i]) < get_<z, 0>(xyw[j]) : get_<z, 1>(xyw[i]) < get_<z, 1>(xyw[j]); });
  {
   std::vector<int> ptr= id;
   for (int r: ord)
    for (int i= x2i(get_<z, 0>(xyw[r])) + sz, j= -1; i; j= i, i>>= 1) {
     int p= ptr[i]++;
     if constexpr (z) {
      if constexpr (std::tuple_size_v<XYW> == 3) val[id[i + 1] + p]= std::get<2>(xyw[r]);
      else val[id[i + 1] + p]= v;
     } else val[id[i + 1] + p]= xyw[r].second;
     if (j != -1) tol[p + 1]= !(j & 1);
    }
   for (int i= 1, e= id[sz]; i < e; ++i) tol[i + 1]+= tol[i];
   for (int i= 0, e= sz + xs.size(); i < e; ++i) {
    auto dat= val.begin() + id[i] * 2;
    for (int j= id[i + 1] - id[i]; --j > 0;) dat[j]= M::op(dat[j * 2], dat[j * 2 + 1]);
   }
  }
  yxs.resize(n);
  for (int i= n; i--;) yxs[i]= {get_<z, 1>(xyw[ord[i]]), get_<z, 0>(xyw[ord[i]])};
 }
 inline T prdi(int i, int a, int b) const {
  int n= id[i + 1] - id[i];
  T ret= M::ti();
  auto dat= val.begin() + id[i] * 2;
  for (a+= n, b+= n; a < b; a>>= 1, b>>= 1) {
   if (a & 1) ret= M::op(ret, dat[a++]);
   if (b & 1) ret= M::op(dat[--b], ret);
  }
  return ret;
 }
 template <bool z> inline void seti(int i, int j, T v) {
  auto dat= val.begin() + id[i] * 2;
  j+= id[i + 1] - id[i];
  if constexpr (z) dat[j]= v;
  else dat[j]= M::op(dat[j], v);
  for (; j;) j>>= 1, dat[j]= M::op(dat[2 * j], dat[2 * j + 1]);
 }
 template <bool z> inline void set_(pos_t x, pos_t y, T v) {
  for (int i= 1, p= xy2i(x, y);;) {
   if (seti<z>(i, p - id[i], v); i >= sz) break;
   if (int lc= tol[p] - tol[id[i]], rc= (p - id[i]) - lc; tol[p + 1] - tol[p]) p= id[2 * i] + lc, i= 2 * i;
   else p= id[2 * i + 1] + rc, i= 2 * i + 1;
  }
 }
public:
 template <class P, typename= std::enable_if_t<std::disjunction_v<canbe_Pos<P>, canbe_PosV<P>>>> SegmentTree_2D(const P *p, size_t n) { build<1>(p, n); }
 template <class P, typename= std::enable_if_t<std::disjunction_v<canbe_Pos<P>, canbe_PosV<P>>>> SegmentTree_2D(const std::vector<P> &p): SegmentTree_2D(p.data(), p.size()) {}
 template <class P, typename= std::enable_if_t<canbe_Pos<P>::value>> SegmentTree_2D(const std::set<P> &p): SegmentTree_2D(std::vector(p.begin(), p.end())) {}
 template <class P, class U, typename= std::enable_if_t<canbe_Pos_and_T_v<P, U>>> SegmentTree_2D(const P *p, size_t n, const U &v) { build<1>(p, n, v); }
 template <class P, class U, typename= std::enable_if_t<canbe_Pos_and_T_v<P, U>>> SegmentTree_2D(const std::vector<P> &p, const U &v): SegmentTree_2D(p.data(), p.size(), v) {}
 template <class P, class U, typename= std::enable_if_t<canbe_Pos_and_T_v<P, U>>> SegmentTree_2D(const std::set<P> &p, const U &v): SegmentTree_2D(std::vector(p.begin(), p.end()), v) {}
 template <class P, class U, typename= std::enable_if_t<canbe_Pos_and_T_v<P, U>>> SegmentTree_2D(const std::pair<P, U> *p, size_t n) { build<0>(p, n); }
 template <class P, class U, typename= std::enable_if_t<canbe_Pos_and_T_v<P, U>>> SegmentTree_2D(const std::vector<std::pair<P, U>> &p): SegmentTree_2D(p.data(), p.size()) {}
 template <class P, class U, typename= std::enable_if_t<canbe_Pos_and_T_v<P, U>>> SegmentTree_2D(const std::map<P, U> &p): SegmentTree_2D(std::vector(p.begin(), p.end())) {}
 // [l,r) x [u,d)
 T prod(pos_t l, pos_t r, pos_t u, pos_t d) const {
  T ret= M::ti();
  int L= x2i(l), R= x2i(r);
  auto dfs= [&](auto &dfs, int i, int a, int b, int c, int d) -> void {
   if (c == d || R <= a || b <= L) return;
   if (L <= a && b <= R) return ret= M::op(ret, prdi(i, c, d)), void();
   int m= (a + b) / 2, ac= tol[id[i] + c] - tol[id[i]], bc= c - ac, ad= tol[id[i] + d] - tol[id[i]], bd= d - ad;
   dfs(dfs, i * 2, a, m, ac, ad), dfs(dfs, i * 2 + 1, m, b, bc, bd);
  };
  return dfs(dfs, 1, 0, sz, y2i(u), y2i(d)), ret;
 }
 void set(pos_t x, pos_t y, T v) { set_<1>(x, y, v); }
 void mul(pos_t x, pos_t y, T v) { set_<0>(x, y, v); }
 T get(pos_t x, pos_t y) const { return val[xy2i(x, y) + id[2]]; }
};
#line 10 "test/aoj/2842.Seg2D.test.cpp"
using namespace std;
struct RSQ {
 using T= pair<int, int>;
 static T ti() { return {0, 0}; }
 static T op(const T &l, const T &r) { return {l.first + r.first, l.second + r.second}; }
};
signed main() {
 cin.tie(0);
 ios::sync_with_stdio(false);
 int H, W, T, Q;
 cin >> H >> W >> T >> Q;
 set<array<int, 2>> xy;
 vector<array<int, 6>> query;
 for (int i= 0; i < Q; i++) {
  int t, c, h1, w1, h2, w2;
  cin >> t >> c >> h1 >> w1;
  if (c == 2) cin >> h2 >> w2;
  else if (c == 0) query.push_back({t + T, -1, h1, w1, h2, w2});
  if (c != 2) xy.insert({h1, w1});
  query.push_back({t, c, h1, w1, h2, w2});
 }
 SegmentTree_2D<int, RSQ> seg(xy);
 sort(query.begin(), query.end());
 for (auto [t, c, h1, w1, h2, w2]: query) {
  if (c == 0) {
   seg.set(h1, w1, {1, 0});
  } else if (c == 1) {
   if (seg.get(h1, w1).second) seg.set(h1, w1, {0, 0});
  } else if (c == 2) {
   auto [x, y]= seg.prod(h1, h2 + 1, w1, w2 + 1);
   cout << y << " " << x << '\n';
  } else {
   seg.set(h1, w1, {0, 1});
  }
 }
 return 0;
}

Test cases

Env Name Status Elapsed Memory
g++-13 00_sample_00.in :heavy_check_mark: AC 7 ms 4 MB
g++-13 10_small_rand_00.in :heavy_check_mark: AC 6 ms 4 MB
g++-13 11_middle_rand_00.in :heavy_check_mark: AC 6 ms 4 MB
g++-13 12_large_rand_00.in :heavy_check_mark: AC 9 ms 4 MB
g++-13 13_max_rand_00.in :heavy_check_mark: AC 176 ms 28 MB
g++-13 14_spanshort_rand_00.in :heavy_check_mark: AC 202 ms 28 MB
g++-13 20_small_addonly_00.in :heavy_check_mark: AC 8 ms 4 MB
g++-13 21_middle_addonly_00.in :heavy_check_mark: AC 8 ms 4 MB
g++-13 22_large_addonly_00.in :heavy_check_mark: AC 63 ms 12 MB
g++-13 23_max_addonly_00.in :heavy_check_mark: AC 429 ms 38 MB
g++-13 24_spanshort_addonly_00.in :heavy_check_mark: AC 321 ms 38 MB
g++-13 30_small_eatonly_00.in :heavy_check_mark: AC 8 ms 4 MB
g++-13 31_middle_eatonly_00.in :heavy_check_mark: AC 7 ms 4 MB
g++-13 32_large_eatonly_00.in :heavy_check_mark: AC 54 ms 18 MB
g++-13 33_max_eatonly_00.in :heavy_check_mark: AC 114 ms 35 MB
g++-13 34_spanshort_eatonly_00.in :heavy_check_mark: AC 114 ms 36 MB
g++-13 40_small_queonly_00.in :heavy_check_mark: AC 8 ms 4 MB
g++-13 41_middle_queonly_00.in :heavy_check_mark: AC 7 ms 4 MB
g++-13 42_large_queonly_00.in :heavy_check_mark: AC 22 ms 5 MB
g++-13 43_max_queonly_00.in :heavy_check_mark: AC 48 ms 7 MB
g++-13 44_spanshort_queonly_00.in :heavy_check_mark: AC 48 ms 7 MB
g++-13 50_small_noadd_00.in :heavy_check_mark: AC 7 ms 4 MB
g++-13 51_middle_noadd_00.in :heavy_check_mark: AC 6 ms 4 MB
g++-13 52_large_noadd_00.in :heavy_check_mark: AC 19 ms 6 MB
g++-13 53_max_noadd_00.in :heavy_check_mark: AC 144 ms 21 MB
g++-13 54_spanshort_noadd_00.in :heavy_check_mark: AC 140 ms 21 MB
g++-13 60_small_noeat_00.in :heavy_check_mark: AC 8 ms 4 MB
g++-13 61_middle_noeat_00.in :heavy_check_mark: AC 8 ms 4 MB
g++-13 62_large_noeat_00.in :heavy_check_mark: AC 32 ms 6 MB
g++-13 63_max_noeat_00.in :heavy_check_mark: AC 280 ms 23 MB
g++-13 64_spanshort_noeat_00.in :heavy_check_mark: AC 233 ms 24 MB
g++-13 70_small_noque_00.in :heavy_check_mark: AC 9 ms 4 MB
g++-13 71_middle_noque_00.in :heavy_check_mark: AC 9 ms 4 MB
g++-13 72_large_noque_00.in :heavy_check_mark: AC 31 ms 8 MB
g++-13 73_max_noque_00.in :heavy_check_mark: AC 297 ms 39 MB
g++-13 74_spanshort_noque_00.in :heavy_check_mark: AC 238 ms 38 MB
g++-13 80_small_flrange_00.in :heavy_check_mark: AC 8 ms 4 MB
g++-13 81_middle_flrange_00.in :heavy_check_mark: AC 9 ms 4 MB
g++-13 82_large_flrange_00.in :heavy_check_mark: AC 12 ms 4 MB
g++-13 83_max_flrange_00.in :heavy_check_mark: AC 202 ms 28 MB
g++-13 84_spanshort_flrange_00.in :heavy_check_mark: AC 169 ms 27 MB
g++-13 90_challenge_00.in :heavy_check_mark: AC 45 ms 8 MB
g++-13 90_challenge_01.in :heavy_check_mark: AC 47 ms 7 MB
g++-13 90_challenge_02.in :heavy_check_mark: AC 47 ms 8 MB
clang++-18 00_sample_00.in :heavy_check_mark: AC 8 ms 4 MB
clang++-18 10_small_rand_00.in :heavy_check_mark: AC 7 ms 4 MB
clang++-18 11_middle_rand_00.in :heavy_check_mark: AC 6 ms 4 MB
clang++-18 12_large_rand_00.in :heavy_check_mark: AC 9 ms 4 MB
clang++-18 13_max_rand_00.in :heavy_check_mark: AC 187 ms 28 MB
clang++-18 14_spanshort_rand_00.in :heavy_check_mark: AC 198 ms 27 MB
clang++-18 20_small_addonly_00.in :heavy_check_mark: AC 7 ms 4 MB
clang++-18 21_middle_addonly_00.in :heavy_check_mark: AC 7 ms 4 MB
clang++-18 22_large_addonly_00.in :heavy_check_mark: AC 61 ms 12 MB
clang++-18 23_max_addonly_00.in :heavy_check_mark: AC 341 ms 38 MB
clang++-18 24_spanshort_addonly_00.in :heavy_check_mark: AC 290 ms 38 MB
clang++-18 30_small_eatonly_00.in :heavy_check_mark: AC 7 ms 3 MB
clang++-18 31_middle_eatonly_00.in :heavy_check_mark: AC 6 ms 4 MB
clang++-18 32_large_eatonly_00.in :heavy_check_mark: AC 51 ms 18 MB
clang++-18 33_max_eatonly_00.in :heavy_check_mark: AC 105 ms 35 MB
clang++-18 34_spanshort_eatonly_00.in :heavy_check_mark: AC 101 ms 36 MB
clang++-18 40_small_queonly_00.in :heavy_check_mark: AC 7 ms 4 MB
clang++-18 41_middle_queonly_00.in :heavy_check_mark: AC 6 ms 4 MB
clang++-18 42_large_queonly_00.in :heavy_check_mark: AC 21 ms 5 MB
clang++-18 43_max_queonly_00.in :heavy_check_mark: AC 46 ms 8 MB
clang++-18 44_spanshort_queonly_00.in :heavy_check_mark: AC 46 ms 8 MB
clang++-18 50_small_noadd_00.in :heavy_check_mark: AC 7 ms 4 MB
clang++-18 51_middle_noadd_00.in :heavy_check_mark: AC 6 ms 4 MB
clang++-18 52_large_noadd_00.in :heavy_check_mark: AC 19 ms 6 MB
clang++-18 53_max_noadd_00.in :heavy_check_mark: AC 131 ms 21 MB
clang++-18 54_spanshort_noadd_00.in :heavy_check_mark: AC 132 ms 21 MB
clang++-18 60_small_noeat_00.in :heavy_check_mark: AC 8 ms 4 MB
clang++-18 61_middle_noeat_00.in :heavy_check_mark: AC 6 ms 4 MB
clang++-18 62_large_noeat_00.in :heavy_check_mark: AC 30 ms 6 MB
clang++-18 63_max_noeat_00.in :heavy_check_mark: AC 221 ms 23 MB
clang++-18 64_spanshort_noeat_00.in :heavy_check_mark: AC 214 ms 23 MB
clang++-18 70_small_noque_00.in :heavy_check_mark: AC 8 ms 4 MB
clang++-18 71_middle_noque_00.in :heavy_check_mark: AC 7 ms 4 MB
clang++-18 72_large_noque_00.in :heavy_check_mark: AC 26 ms 8 MB
clang++-18 73_max_noque_00.in :heavy_check_mark: AC 244 ms 38 MB
clang++-18 74_spanshort_noque_00.in :heavy_check_mark: AC 211 ms 38 MB
clang++-18 80_small_flrange_00.in :heavy_check_mark: AC 8 ms 4 MB
clang++-18 81_middle_flrange_00.in :heavy_check_mark: AC 7 ms 4 MB
clang++-18 82_large_flrange_00.in :heavy_check_mark: AC 9 ms 4 MB
clang++-18 83_max_flrange_00.in :heavy_check_mark: AC 154 ms 27 MB
clang++-18 84_spanshort_flrange_00.in :heavy_check_mark: AC 144 ms 27 MB
clang++-18 90_challenge_00.in :heavy_check_mark: AC 45 ms 7 MB
clang++-18 90_challenge_01.in :heavy_check_mark: AC 43 ms 8 MB
clang++-18 90_challenge_02.in :heavy_check_mark: AC 44 ms 8 MB
Back to top page