#994445 (C++17) No.2809 Sort Query

提出ソース

結果

問題	No.2809 Sort Query
ユーザー	fuppy_kyopro
提出日時	2024-07-12 22:37:35
言語	C++17 (gcc 12.3.0 + boost 1.83.0)
結果	TLE
実行時間	-
コード長	12,158 bytes
コンパイル時間	4,280 ms
コンパイル使用メモリ	255,704 KB
実行使用メモリ	75,168 KB
最終ジャッジ日時	2024-07-12 22:38:00
合計ジャッジ時間	14,377 ms
ジャッジサーバーID （参考情報）	judge6 / judge3

このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	2 ms 13,760 KB
testcase_01	TLE	-
testcase_02	--	-
testcase_03	--	-
testcase_04	--	-
testcase_05	--	-
testcase_06	--	-
testcase_07	--	-
testcase_08	--	-
testcase_09	--	-
testcase_10	--	-
testcase_11	--	-
testcase_12	--	-
testcase_13	--	-
testcase_14	--	-
testcase_15	--	-
testcase_16	--	-
testcase_17	--	-
testcase_18	--	-
testcase_19	--	-
testcase_20	--	-
testcase_21	--	-
testcase_22	--	-
testcase_23	--	-
testcase_24	--	-
testcase_25	--	-
testcase_26	--	-
testcase_27	--	-
testcase_28	--	-
testcase_29	--	-
testcase_30	--	-
testcase_31	--	-
testcase_32	--	-
testcase_33	--	-
testcase_34	--	-
testcase_35	--	-
testcase_36	--	-
testcase_37	--	-
testcase_38	--	-
testcase_39	--	-
testcase_40	--	-
testcase_41	--	-
testcase_42	--	-
testcase_43	--	-
testcase_44	--	-
testcase_45	--	-
testcase_46	--	-
testcase_47	--	-
testcase_48	--	-
testcase_49	--	-
testcase_50	--	-
testcase_51	--	-
testcase_52	--	-
testcase_53	--	-
testcase_54	--	-
testcase_55	--	-
testcase_56	--	-
testcase_57	--	-
testcase_58	--	-
testcase_59	--	-
testcase_60	--	-
testcase_61	--	-
testcase_62	--	-
testcase_63	--	-
testcase_64	--	-
testcase_65	--	-
testcase_66	--	-
testcase_67	--	-
testcase_68	--	-
testcase_69	--	-
testcase_70	--	-

権限があれば一括ダウンロードができます

ソースコード

raw source code

//*
#pragma GCC target("avx2")
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")
//*/

// #include <atcoder/all>
#include <bits/stdc++.h>

using namespace std;
// using namespace atcoder;

// #define _GLIBCXX_DEBUG

#define DEBUG(x) cerr << #x << ": " << x << endl;
#define DEBUG_VEC(v)                                        \
    cerr << #v << ":";                                      \
    for (int iiiiiiii = 0; iiiiiiii < v.size(); iiiiiiii++) \
        cerr << " " << v[iiiiiiii];                         \
    cerr << endl;
#define DEBUG_MAT(v)                                \
    cerr << #v << endl;                             \
    for (int iv = 0; iv < v.size(); iv++) {         \
        for (int jv = 0; jv < v[iv].size(); jv++) { \
            cerr << v[iv][jv] << " ";               \
        }                                           \
        cerr << endl;                               \
    }
typedef long long ll;
// #define int ll

#define vi vector<int>
#define vl vector<ll>
#define vii vector<vector<int>>
#define vll vector<vector<ll>>
#define pii pair<int, int>
#define pis pair<int, string>
#define psi pair<string, int>
#define pll pair<ll, ll>
template <class S, class T>
pair<S, T> operator+(const pair<S, T> &s, const pair<S, T> &t) {
    return pair<S, T>(s.first + t.first, s.second + t.second);
}
template <class S, class T>
pair<S, T> operator-(const pair<S, T> &s, const pair<S, T> &t) { return pair<S, T>(s.first - t.first, s.second - t.second); }
template <class S, class T>
ostream &operator<<(ostream &os, pair<S, T> p) {
    os << "(" << p.first << ", " << p.second << ")";
    return os;
}
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define rep1(i, n) for (int i = 1; i <= (int)(n); i++)
#define rrep(i, n) for (int i = (int)(n) - 1; i >= 0; i--)
#define rrep1(i, n) for (int i = (int)(n); i > 0; i--)
#define REP(i, a, b) for (int i = a; i < b; i++)
#define in(x, a, b) (a <= x && x < b)
#define all(c) c.begin(), c.end()
void YES(bool t = true) {
    cout << (t ? "YES" : "NO") << endl;
}
void Yes(bool t = true) { cout << (t ? "Yes" : "No") << endl; }
void yes(bool t = true) { cout << (t ? "yes" : "no") << endl; }
void NO(bool t = true) { cout << (t ? "NO" : "YES") << endl; }
void No(bool t = true) { cout << (t ? "No" : "Yes") << endl; }
void no(bool t = true) { cout << (t ? "no" : "yes") << endl; }
template <class T>
bool chmax(T &a, const T &b) {
    if (a < b) {
        a = b;
        return 1;
    }
    return 0;
}
template <class T>
bool chmin(T &a, const T &b) {
    if (a > b) {
        a = b;
        return 1;
    }
    return 0;
}
template <class T>
T ceil_div(T a, T b) {
    return (a + b - 1) / b;
}
template <class T>
T safe_mul(T a, T b) {
    if (a == 0 || b == 0) return 0;
    if (numeric_limits<T>::max() / a < b) return numeric_limits<T>::max();
    return a * b;
}
#define UNIQUE(v) v.erase(std::unique(v.begin(), v.end()), v.end());
const ll inf = 1000000001;
const ll INF = (ll)1e18 + 1;
const long double pi = 3.1415926535897932384626433832795028841971L;
int popcount(ll t) { return __builtin_popcountll(t); }
vector<int> gen_perm(int n) {
    vector<int> ret(n);
    iota(all(ret), 0);
    return ret;
}
// int dx[4] = {1, 0, -1, 0}, dy[4] = {0, 1, 0, -1};
// int dx2[8] = { 1,1,0,-1,-1,-1,0,1 }, dy2[8] = { 0,1,1,1,0,-1,-1,-1 };
vi dx = {0, 0, -1, 1}, dy = {-1, 1, 0, 0};
vi dx2 = {1, 1, 0, -1, -1, -1, 0, 1}, dy2 = {0, 1, 1, 1, 0, -1, -1, -1};
struct Setup_io {
    Setup_io() {
        ios_base::sync_with_stdio(0), cin.tie(0), cout.tie(0);
        cout << fixed << setprecision(25);
        cerr << fixed << setprecision(25);
    }
} setup_io;
// constexpr ll MOD = 1000000007;
constexpr ll MOD = 998244353;
// #define mp make_pair

struct dice {
    mt19937 mt;
    dice() : mt(chrono::steady_clock::now().time_since_epoch().count()) {}
    // [0, x)の一様乱数
    ll operator()(ll x) { return this->operator()(0, x); }
    // [x, y)の一様乱数
    ll operator()(ll x, ll y) {
        uniform_int_distribution<ll> dist(x, y - 1);
        return dist(mt);
    }
    vl operator()(int n, ll x, ll y) {
        vl res(n);
        for (int i = 0; i < n; i++)
            res[i] = this->operator()(x, y);
        return res;
    }
} rnd;

std::random_device seed_gen;
std::mt19937 engine(seed_gen());

namespace treap {
// https://www.slideshare.net/iwiwi/2-12188757
// セグ木に似た感じで、配列に関する操作を行うことができる
// 使用例: https://judge.yosupo.jp/submission/204808
constexpr int MAX_PRI = 1e8;

// モノイドの型, lazy の型
template <typename S, typename F>
struct Node {
    // 自分自身の値
    // この値は配列の値に相当するものであり、インデックスに当たるものではないことに注意
    // 子の左右の振り分けにはインデックスが使われ、この値は使われない。インデックスは陽に管理はされず、部分木のサイズで代用される
    S val;
    // 優先度
    int pri;
    // 左右の子
    Node *lch;
    Node *rch;

    // 部分木のサイズ
    int cnt;
    // 部分木の値の集約結果
    // lazy は常に dat には反映済みとする。子に lazy が伝搬された時に lazy を単位元に戻す。
    S dat;

    bool rev;
    F lazy;

    Node(S v, S s, F f, int p = rnd(MAX_PRI)) : val(v), pri(p), cnt(1), dat(s), rev(false), lazy(f) {
        lch = NULL;
        rch = NULL;
    }
};

template <typename S, typename F>
struct Treap {
    // 自分の値、左の子の集約結果、右の子の集約結果を引数に取り、自分の集約結果を返す関数
    using Op = function<S(S, S, S)>;
    // モノイドに lazy を反映する関数。最後の int は部分木のサイズ
    using Mapping = function<S(S, F, int)>;
    // 一つ目の引数が元々ある lazy, 二つ目が追加される lazy
    using Composition = function<F(F, F)>;

    using N = Node<S, F>;

    N *root;
    Op op;
    Mapping mapping;
    Composition composition;
    S e;
    F id;

    Treap(Op op, Mapping mapping, Composition composition, S e, F id) : op(op), mapping(mapping), composition(composition), e(e), id(id) {
        root = NULL;
    }

    int size() {
        return count(root);
    }

    void insert(int k, S val) {
        root = insert(root, k, val);
    }

    void erase(int k) {
        root = erase(root, k);
    }

    void reverse(int l, int r) {
        root = reverse(root, l, r);
    }

    S query(int l, int r) {
        return query(root, l, r);
    }

    void update(int l, int r, F f) {
        root = update(root, l, r, f);
    }

  private:
    int count(const N *node) {
        return node ? node->cnt : 0;
    }

    S get_dat(const N *node) {
        return node ? node->dat : e;
    }

    N *refresh(N *node) {
        if (node) {
            node->cnt = count(node->lch) + count(node->rch) + 1;
            node->dat = op(node->val, get_dat(node->lch), get_dat(node->rch));
        }
        return node;
    }

    N *push_down(N *node) {
        // node->dat と node->val に node->lazy は反映されているという前提
        if (node && node->rev) {
            swap(node->lch, node->rch);
            if (node->lch) {
                node->lch->rev ^= true;
            }
            if (node->rch) {
                node->rch->rev ^= true;
            }
            node->rev = false;
        }
        if (node && node->lazy != id) {
            if (node->lch) {
                node->lch->lazy = composition(node->lch->lazy, node->lazy);
                node->lch->dat = mapping(node->lch->dat, node->lazy, count(node->lch));
                node->lch->val = mapping(node->lch->val, node->lazy, 1);
            }
            if (node->rch) {
                node->rch->lazy = composition(node->rch->lazy, node->lazy);
                node->rch->dat = mapping(node->rch->dat, node->lazy, count(node->rch));
                node->rch->val = mapping(node->rch->val, node->lazy, 1);
            }
            node->lazy = id;
        }
        return refresh(node);
    }

    N *merge(N *l, N *r) {
        if (!l || !r) {
            return l ? l : r;
        }
        push_down(l);
        push_down(r);

        if (l->pri > r->pri) {
            l->rch = merge(l->rch, r);
            return refresh(l);
        } else {
            r->lch = merge(l, r->lch);
            return refresh(r);
        }
    }

    pair<N *, N *> split(N *t, int k) {
        // t を [0, k) と [k, size) に分解する
        if (!t) {
            return {NULL, NULL};
        }
        push_down(t);

        if (k <= count(t->lch)) {
            auto s = split(t->lch, k);
            t->lch = s.second;
            return {s.first, refresh(t)};
        } else {
            // 1 は t 自身の分
            auto s = split(t->rch, k - count(t->lch) - 1);
            t->rch = s.first;
            return {refresh(t), s.second};
        }
    }

    N *insert(N *t, int k, S val, int pri = rnd(MAX_PRI)) {
        // t が根になっている木の k 番目に値が val でモノイドが S で優先度が pri のノードを挿入
        auto [l, r] = split(t, k);
        return merge(merge(l, new N(val, val, id, pri)), r);
    }

    N *erase(N *t, int k) {
        // t が根になっている木の k 番目の要素を削除
        auto [l, mr] = split(t, k);
        auto [_, r] = split(mr, 1);
        return merge(l, r);
    }

    N *reverse(N *t, int l, int r) {
        // [l, r) の要素を反転
        if (l >= r) {
            return t;
        }
        auto [tlm, tr] = split(t, r);
        auto [tl, tm] = split(tlm, l);
        tm->rev ^= true;
        t = merge(merge(tl, tm), tr);
        return t;
    }

    S query(N *t, int l, int r) {
        if (l >= r) {
            return e;
        }
        // [l, r) のクエリ
        auto [tlm, tr] = split(t, r);
        auto [tl, tm] = split(tlm, l);
        S ret = get_dat(tm);
        t = merge(merge(tl, tm), tr);
        return ret;
    }

    N *update(N *t, int l, int r, F f) {
        if (l >= r) {
            return t;
        }
        // [l, r) のクエリ
        auto [tlm, tr] = split(t, r);
        auto [tl, tm] = split(tlm, l);
        tm->lazy = composition(tm->lazy, f);
        tm->dat = mapping(tm->dat, f, count(tm));
        tm->val = mapping(tm->val, f, 1);
        t = merge(merge(tl, tm), tr);
        return t;
    }
};
}; // namespace treap
using namespace treap;

signed main() {
    int n, q;
    cin >> n >> q;
    Treap<ll, ll> tr([](ll a, ll b, ll c) { return a + b + c; }, [](ll a, ll b, int c) { return b * c; }, [](ll a, ll b) { return b; }, 0, 0);

    set<int> changed;
    rep(i, n) {
        ll a;
        cin >> a;
        tr.insert(i, a);
        changed.insert(i);
    }

    while (q--) {
        int t;
        cin >> t;
        if (t == 1) {
            ll k, x;
            cin >> k >> x;
            k--;
            changed.insert(k);
            tr.update(k, k + 1, x);
        } else if (t == 2) {
            vl rem;
            while (changed.size()) {
                auto itr = changed.end();
                itr--;
                int k = *itr;
                changed.erase(itr);
                rem.push_back(tr.query(k, k + 1));
                tr.erase(k);
            }
            sort(all(rem));

            int prev_ok = -1;
            for (ll x : rem) {
                int ok = tr.size(), ng = prev_ok;
                while (ok - ng > 1) {
                    int mid = (ok + ng) / 2;
                    ll y = tr.query(mid, mid + 1);
                    if (x <= y) {
                        ok = mid;
                    } else {
                        ng = mid;
                    }
                }
                tr.insert(ok, x);
                prev_ok = ok;
            }
        } else {
            ll k;
            cin >> k;
            k--;
            auto ans = tr.query(k, k + 1);
            cout << ans << endl;
        }

        // rep(i, tr.size()) {
        //     cout << tr.query(i, i + 1) << " ";
        // }
        // cout << endl;
    }
}

yukicoder

結果

テストケース

ソースコード