結果
問題 | No.1074 増殖 |
ユーザー |
![]() |
提出日時 | 2020-11-03 14:35:24 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 432 ms / 2,000 ms |
コード長 | 24,600 bytes |
コンパイル時間 | 3,214 ms |
コンパイル使用メモリ | 212,524 KB |
最終ジャッジ日時 | 2025-01-15 19:18:57 |
ジャッジサーバーID (参考情報) |
judge1 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 12 |
ソースコード
/* #region Head */// #define _GLIBCXX_DEBUG#include <bits/stdc++.h>using namespace std;using ll = long long;using ull = unsigned long long;using ld = long double;using pll = pair<ll, ll>;template <class T> using vc = vector<T>;template <class T> using vvc = vc<vc<T>>;using vll = vc<ll>;using vvll = vvc<ll>;using vld = vc<ld>;using vvld = vvc<ld>;using vs = vc<string>;using vvs = vvc<string>;template <class T, class U> using um = unordered_map<T, U>;template <class T> using pq = priority_queue<T>;template <class T> using pqa = priority_queue<T, vc<T>, greater<T>>;template <class T> using us = unordered_set<T>;#define REP(i, m, n) for (ll i = (m), i##_len = (ll)(n); i < i##_len; ++(i))#define REPM(i, m, n) for (ll i = (m), i##_max = (ll)(n); i <= i##_max; ++(i))#define REPR(i, m, n) for (ll i = (m), i##_min = (ll)(n); i >= i##_min; --(i))#define REPD(i, m, n, d) for (ll i = (m), i##_len = (ll)(n); i < i##_len; i += (d))#define REPMD(i, m, n, d) for (ll i = (m), i##_max = (ll)(n); i <= i##_max; i += (d))#define REPI(itr, ds) for (auto itr = ds.begin(); itr != ds.end(); itr++)#define ALL(x) begin(x), end(x)#define SIZE(x) ((ll)(x).size())#define PERM(c) \sort(ALL(c)); \for (bool c##p = 1; c##p; c##p = next_permutation(ALL(c)))#define UNIQ(v) v.erase(unique(ALL(v)), v.end());#define CEIL(a, b) (((a) + (b)-1) / (b))#define endl '\n'#define sqrt sqrtl#define floor floorl#define log2 log2lconstexpr ll INF = 1'010'000'000'000'000'017LL;constexpr int IINF = 1'000'000'007LL;constexpr ll MOD = 1'000'000'007LL; // 1e9 + 7// constexpr ll MOD = 998244353;constexpr ld EPS = 1e-12;constexpr ld PI = 3.14159265358979323846;template <typename T> istream &operator>>(istream &is, vc<T> &vec) { // vector 入力for (T &x : vec) is >> x;return is;}template <typename T> ostream &operator<<(ostream &os, vc<T> &vec) { // vector 出力 (for dump)os << "{";REP(i, 0, SIZE(vec)) os << vec[i] << (i == i_len - 1 ? "" : ", ");os << "}";return os;}template <typename T> ostream &operator>>(ostream &os, vc<T> &vec) { // vector 出力 (inline)REP(i, 0, SIZE(vec)) os << vec[i] << (i == i_len - 1 ? "\n" : " ");return os;}template <typename T, typename U> istream &operator>>(istream &is, pair<T, U> &pair_var) { // pair 入力is >> pair_var.first >> pair_var.second;return is;}template <typename T, typename U> ostream &operator<<(ostream &os, pair<T, U> &pair_var) { // pair 出力os << "(" << pair_var.first << ", " << pair_var.second << ")";return os;}// map, um, set, us 出力template <class T> ostream &out_iter(ostream &os, T &map_var) {os << "{";REPI(itr, map_var) {os << *itr;auto itrcp = itr;if (++itrcp != map_var.end()) os << ", ";}return os << "}";}template <typename T, typename U> ostream &operator<<(ostream &os, map<T, U> &map_var) { return out_iter(os, map_var); }template <typename T, typename U> ostream &operator<<(ostream &os, um<T, U> &map_var) {os << "{";REPI(itr, map_var) {auto [key, value] = *itr;os << "(" << key << ", " << value << ")";auto itrcp = itr;if (++itrcp != map_var.end()) os << ", ";}os << "}";return os;}template <typename T> ostream &operator<<(ostream &os, set<T> &set_var) { return out_iter(os, set_var); }template <typename T> ostream &operator<<(ostream &os, us<T> &set_var) { return out_iter(os, set_var); }template <typename T> ostream &operator<<(ostream &os, pq<T> &pq_var) {pq<T> pq_cp(pq_var);os << "{";if (!pq_cp.empty()) {os << pq_cp.top(), pq_cp.pop();while (!pq_cp.empty()) os << ", " << pq_cp.top(), pq_cp.pop();}return os << "}";}void pprint() { cout << endl; }template <class Head, class... Tail> void pprint(Head &&head, Tail &&... tail) {cout << head;if (sizeof...(Tail) > 0) cout << ' ';pprint(move(tail)...);}// dump#define DUMPOUT cerrvoid dump_func() { DUMPOUT << endl; }template <class Head, class... Tail> void dump_func(Head &&head, Tail &&... tail) {DUMPOUT << head;if (sizeof...(Tail) > 0) DUMPOUT << ", ";dump_func(move(tail)...);}// chmax (更新「される」かもしれない値が前)template <typename T, typename U, typename Comp = less<>> bool chmax(T &xmax, const U &x, Comp comp = {}) {if (comp(xmax, x)) {xmax = x;return true;}return false;}// chmin (更新「される」かもしれない値が前)template <typename T, typename U, typename Comp = less<>> bool chmin(T &xmin, const U &x, Comp comp = {}) {if (comp(x, xmin)) {xmin = x;return true;}return false;}// ローカル用#define DEBUG_#ifdef DEBUG_#define DEB#define dump(...) \DUMPOUT << " " << string(#__VA_ARGS__) << ": " \<< "[" << to_string(__LINE__) << ":" << __FUNCTION__ << "]" << endl \<< " ", \dump_func(__VA_ARGS__)#else#define DEB if (false)#define dump(...)#endif#define VAR(type, ...) \type __VA_ARGS__; \cin >> __VA_ARGS__;template <typename T> istream &operator,(istream &is, T &rhs) { return is >> rhs; }template <typename T> ostream &operator,(ostream &os, const T &rhs) { return os << ' ' << rhs; }struct AtCoderInitialize {static constexpr int IOS_PREC = 15;static constexpr bool AUTOFLUSH = false;AtCoderInitialize() {ios_base::sync_with_stdio(false), cin.tie(nullptr), cout.tie(nullptr);cout << fixed << setprecision(IOS_PREC);if (AUTOFLUSH) cout << unitbuf;}} ATCODER_INITIALIZE;void Yn(bool p) { cout << (p ? "Yes" : "No") << endl; }void YN(bool p) { cout << (p ? "YES" : "NO") << endl; }/* #endregion */// #include <atcoder/all>// using namespace atcoder;/* #region SegmentTreeBeats */template <class T> class SegmentTreeBeats {T inf, zero;size_t nn; // 外から見たサイズsize_t length; // 葉ノードの個数(2べきになるようにパディング)vc<T> node_max_first; // ノードに対応する区間の最大値vc<T> node_max_second; // ノードに対応する区間の二番目の最大値,区間内が最大値のみのときは -infvc<int> count_max_first; // ノードに対応する区間の最大値の個数vc<T> node_min_first; // ノードに対応する区間の最小値vc<T> node_min_second; // ノードに対応する区間の二番目の最小値,区間内が最大値のみのときは infvc<int> count_min_first; // ノードに対応する区間の最小値の個数vc<T> node_sum; // ノードに対応する区間の総和vc<T> lazy_add, lazy_update; // ノードに対応する遅延配列vc<pair<int, int>> range; // ノードに対応する区間の左端・右端(半開区間)stack<int> down, up; // クエリを処理するためのスタック.インスタンスを使い回すためにここに置く.// 木のノード k に対する区間 chmin 更新に応じて,区間最大値を更新する(区間和も更新)// 区間に含まれる x より大きい要素は,最大値の要素のみである前提// 更新前後の差分(負数)を返すinline T internal_chmax(const int k, const T x) noexcept {T delta = (x - node_max_first[k]) * count_max_first[k];node_sum[k] += delta; // これから減る分を反映if (node_max_first[k] == node_min_first[k]) // 区間内の値が全て同じ値である(つまり x より大きい)ときnode_max_first[k] = node_min_first[k] = x; // 新しい最大値・最小値が x になるelse if (node_max_first[k] == node_min_second[k]) // 区間内の値が 2 種類である(大きい方は x より大きい)ときnode_max_first[k] = node_min_second[k] = x; // 2種類のうち大きい方の値が x になるelse // 区間内の値が 3 種類以上あるときnode_max_first[k] = x; // 最大値のみが x になる// 必要に応じて,遅延配列にも chmin をかけるif (lazy_update[k] != inf && x < lazy_update[k]) {delta += (x - lazy_update[k]);lazy_update[k] = x;}// assert(lazy_add[k] == zero); // 加算については先に伝播処理が終わっている前提return delta;}// 木のノード k に対する区間 chmax 更新に応じて,区間最小値を更新する(区間和も更新)// 区間に含まれる x 未満の要素は,最小値の要素のみである前提inline T internal_chmin(const int k, const T x) noexcept {T delta = (x - node_min_first[k]) * count_min_first[k];node_sum[k] += delta; // これから増える分を反映if (node_max_first[k] == node_min_first[k]) // 区間内の値が全て同じ値(つまり x 未満)のときnode_max_first[k] = node_min_first[k] = x; // 新しい最大値・最小値が x になるelse if (node_max_second[k] == node_min_first[k]) // 区間内の値が 2 種類(小さい方は x 未満)のときnode_min_first[k] = node_max_second[k] = x; // 2種類のうち小さい方の値が x になるelse // 区間内の値が 3 種類以上あるときnode_min_first[k] = x; // 最小値のみが x になる// 必要に応じて,遅延配列にも chmax をかけるif (lazy_update[k] != inf && lazy_update[k] < x) {delta += (x - lazy_update[k]);lazy_update[k] = x;}// assert(lazy_add[k] == zero); // 加算については先に伝播処理が終わっている前提return delta;}// 木のノード k に対する加算処理(と区間和の更新)inline void internal_add(const int k, const T x) noexcept {node_max_first[k] += x;if (node_max_second[k] != -inf) node_max_second[k] += x;node_min_first[k] += x;if (node_min_second[k] != inf) node_min_second[k] += x;node_sum[k] += x * (range[k].second - range[k].first);(lazy_update[k] != inf ? lazy_update[k] : lazy_add[k]) += x;}// 木のノード k の値の更新(と区間和の更新)inline T internal_update(const int k, const T x) noexcept {int cnt = (range[k].second - range[k].first);T delta = x * cnt - node_sum[k];node_max_first[k] = x;node_max_second[k] = -inf;node_min_first[k] = x;node_min_second[k] = inf;count_max_first[k] = count_min_first[k] = cnt;node_sum[k] = x * cnt;lazy_update[k] = x;lazy_add[k] = zero;return delta;}// 木のノード k に関して,子ノードへの伝播処理を行うinline void propagate(const int k) noexcept {if ((int)length - 1 <= k) return;if (lazy_update[k] != inf) {internal_update((k << 1) | 0, lazy_update[k]);internal_update((k << 1) | 1, lazy_update[k]);lazy_update[k] = inf;return;}if (lazy_add[k] != zero) {internal_add((k << 1) | 0, lazy_add[k]);internal_add((k << 1) | 1, lazy_add[k]);lazy_add[k] = zero;}if (node_max_first[k] < node_max_first[(k << 1) | 0]) {internal_chmax((k << 1) | 0, node_max_first[k]);}if (node_min_first[(k << 1) | 0] < node_min_first[k]) {internal_chmin((k << 1) | 0, node_min_first[k]);}if (node_max_first[k] < node_max_first[(k << 1) | 1]) {internal_chmax((k << 1) | 1, node_max_first[k]);}if (node_min_first[(k << 1) | 1] < node_min_first[k]) {internal_chmin((k << 1) | 1, node_min_first[k]);}}// ノード k について,子ノードの情報をマージするinline void merge(const int k) noexcept {// 和の更新node_sum[k] = node_sum[(k << 1) | 0] + node_sum[(k << 1) | 1];// 最大値の更新if (node_max_first[(k << 1) | 0] < node_max_first[(k << 1) | 1]) {// 右側の方が大きいnode_max_first[k] = node_max_first[(k << 1) | 1];count_max_first[k] = count_max_first[(k << 1) | 1];node_max_second[k] = max(node_max_first[(k << 1) | 0], node_max_second[(k << 1) | 1]);} else if (node_max_first[(k << 1) | 0] > node_max_first[(k << 1) | 1]) {// 左側の方が大きいnode_max_first[k] = node_max_first[(k << 1) | 0];count_max_first[k] = count_max_first[(k << 1) | 0];node_max_second[k] = max(node_max_second[(k << 1) | 0], node_max_first[(k << 1) | 1]);} else {// 大きさが同じnode_max_first[k] = node_max_first[(k << 1) | 0];count_max_first[k] = count_max_first[(k << 1) | 0] + count_max_first[(k << 1) | 1];node_max_second[k] = max(node_max_second[(k << 1) | 0], node_max_second[(k << 1) | 1]);}// 最小値の更新if (node_min_first[(k << 1) | 0] < node_min_first[(k << 1) | 1]) {// 左側の方が小さいnode_min_first[k] = node_min_first[(k << 1) | 0];count_min_first[k] = count_min_first[(k << 1) | 0];node_min_second[k] = min(node_min_second[(k << 1) | 0], node_min_first[(k << 1) | 1]);} else if (node_min_first[(k << 1) | 0] > node_min_first[(k << 1) | 1]) {// 右側の方が小さいnode_min_first[k] = node_min_first[(k << 1) | 1];count_min_first[k] = count_min_first[(k << 1) | 1];node_min_second[k] = min(node_min_first[(k << 1) | 0], node_min_second[(k << 1) | 1]);} else {// 小ささが同じnode_min_first[k] = node_min_first[(k << 1) | 0];count_min_first[k] = count_min_first[(k << 1) | 0] + count_min_first[(k << 1) | 1];node_min_second[k] = min(node_min_second[(k << 1) | 0], node_min_second[(k << 1) | 1]);}}// up スタックに記録された木のノードに順番にマージ処理をかける// up スタックからは木の葉側から順にノードが取り出される前提inline void up_merge() noexcept {while (!up.empty()) {merge(up.top());up.pop();}}// 木のノード k に伝播処理をかけて,子ノードを処理対象に追加する// 伝播が必要な場合のみ呼ばれるので,子ノードは必ず存在する前提inline void down_propagate(const int k) noexcept {propagate(k);down.push((k << 1) | 0);down.push((k << 1) | 1);}public:// コンストラクタSegmentTreeBeats(const int n_, const T inf = INF, const T zero = 0) noexcept : inf(inf), zero(zero) { init(n_); }// コンストラクタSegmentTreeBeats(const vector<T> &a, const T inf = INF, const T zero = 0) noexcept : inf(inf), zero(zero) {build(a);}// 指定要素数で初期化void init(const size_t n_) noexcept {nn = n_;length = 1;while (length <= n_) length <<= 1;node_max_first.resize(2 * length);node_max_second.resize(2 * length);count_max_first.resize(2 * length);node_min_first.resize(2 * length);node_min_second.resize(2 * length);count_min_first.resize(2 * length);node_sum.assign(2 * length, zero);lazy_add.assign(2 * length, zero);lazy_update.resize(2 * length, inf);range.resize(2 * length);REP(i, 0, length) range[i + length] = {i, i + 1};REPR(i, length - 1, 0) range[i] = {range[(i << 1) + 0].first, range[(i << 1) + 1].second};// 実際に要素がある区間REP(i, 0, n_) {node_max_first[length + i] = node_min_first[length + i] = zero;node_max_second[length + i] = -inf;node_min_second[length + i] = inf;count_max_first[length + i] = count_min_first[length + i] = 1;}// 2冪にするためにパディングした区間REP(i, n_, length) {node_max_first[length + i] = node_max_second[length + i] = -inf;node_min_first[length + i] = node_min_second[length + i] = inf;count_max_first[length + i] = count_min_first[length + i] = 0;}// 上へ順にマージREPR(i, length - 1, 1) merge(i);}// 指定ベクトルで初期化void build(const vector<T> &a) noexcept {init(a.size());// 実際に要素がある区間だけ更新REP(i, 0, nn) node_max_first[length + i] = node_min_first[length + i] = node_sum[length + i] = a[i];// 上へ順にマージREPR(i, length - 1, 1) merge(i);}// 区間 chmin,半開区間// x より大きい要素を x に置き換えるinline T range_chmin(const int a, const int b, const T x) noexcept {T delta = zero;down.push(1);while (!down.empty()) {int k = down.top();down.pop();// 区間が被っていないか,更新が不要な場合(x 以下の値しか区間に含まれない場合)は飛ばすif (b <= range[k].first || range[k].second <= a || node_max_first[k] <= x) continue;if (a <= range[k].first && range[k].second <= b && node_max_second[k] < x) {// ノード k の区間がクエリ区間に内包されていて,最大値以外は x よりも小さい場合delta += internal_chmax(k, x);} else {// 区間をさらに分割して処理する必要がある場合down_propagate(k);up.push(k);}}up_merge();return delta;}// 区間 chmax,半開区間// x 未満の要素を x に置き換えるinline T range_chmax(const int a, const int b, const T x) noexcept {T delta = zero;down.push(1);while (!down.empty()) {int k = down.top();down.pop();// 区間が被っていないか,更新が不要な場合(x 以上の値しか区間に含まれない場合)は飛ばすif (b <= range[k].first || range[k].second <= a || x <= node_min_first[k]) continue;if (a <= range[k].first && range[k].second <= b && x < node_min_second[k]) {// ノード k の区間がクエリ区間に内包されていて,最小値以外は x よりも大きい場合delta += internal_chmin(k, x);} else {// 区間をさらに分割して処理する必要がある場合down_propagate(k);up.push(k);}}up_merge();return delta;}// 区間 add,半開区間inline void range_add(const int a, const int b, const T x) noexcept {down.push(1);while (!down.empty()) {int k = down.top();down.pop();// 区間が被っていない場合は飛ばすif (b <= range[k].first || range[k].second <= a) continue;if (a <= range[k].first && range[k].second <= b) {// ノード k の区間がクエリ区間に内包されている場合internal_add(k, x);} else {// 区間をさらに分割して処理する必要がある場合down_propagate(k);up.push(k);}}up_merge();}// 区間 update,半開区間inline void range_update(const int a, const int b, const T x) noexcept {T delta = zero;down.push(1);while (!down.empty()) {int k = down.top();down.pop();// 区間が被っていない場合は飛ばすif (b <= range[k].first || range[k].second <= a) continue;if (a <= range[k].first && range[k].second <= b) {// ノード k の区間がクエリ区間に内包されている場合delta += internal_update(k, x);} else {// 区間をさらに分割して処理する必要がある場合down_propagate(k);up.push(k);}}up_merge();return delta;}// 区間最大値取得,半開区間inline T get_max(const int a, const int b) noexcept {down.push(1);T v = -inf;while (!down.empty()) {int k = down.top();down.pop();// 区間が被っていない場合は飛ばすif (b <= range[k].first || range[k].second <= a) continue;if (a <= range[k].first && range[k].second <= b) {// ノード k の区間がクエリ区間に内包されている場合v = max(v, node_max_first[k]);} else {// 区間をさらに分割して処理する必要がある場合down_propagate(k);}}return v;}// 区間最小値取得,半開区間inline T get_min(const int a, const int b) noexcept {down.push(1);T v = inf;while (!down.empty()) {int k = down.top();down.pop();// 区間が被っていない場合は飛ばすif (b <= range[k].first || range[k].second <= a) continue;if (a <= range[k].first && range[k].second <= b) {// ノード k の区間がクエリ区間に内包されている場合v = min(v, node_min_first[k]);} else {// 区間をさらに分割して処理する必要がある場合down_propagate(k);}}return v;}// 区間和取得,半開区間inline T get_sum(const int a, const int b) noexcept {down.push(1);T v = zero;while (!down.empty()) {int k = down.top();down.pop();// 区間が被っていない場合は飛ばすif (b <= range[k].first || range[k].second <= a) continue;if (a <= range[k].first && range[k].second <= b) {// ノード k の区間がクエリ区間に内包されている場合v += node_sum[k];} else {// 区間をさらに分割して処理する必要がある場合down_propagate(k);}}return v;}};/* #endregion */// Problemvoid solve() {// vll dat = {1, 23, 4, 5, 6};// SegmentTreeBeats<ll> seg(dat);// dump(seg.get_max(0, 1));// dump(seg.get_max(0, 2));// dump(seg.get_max(0, 5));// dump(seg.get_min(0, 5));// dump(seg.get_min(1, 5));// seg.range_chmin(0, 2, 15);// dump(seg.get_max(0, 2));int offset = 200'001;SegmentTreeBeats<ll> seg_pos(offset * 2), seg_neg(offset * 2);VAR(ll, n);REP(i, 0, n) {VAR(ll, x0, y0, x1, y1); //x0 += offset, x1 += offset;ll delta = seg_pos.range_chmax(x0, x1, y1) + seg_neg.range_chmax(x0, x1, -y0);cout << delta << endl;}}// entry pointint main() {solve();return 0;}