結果

問題 No.789 範囲の合計
ユーザー PachicobuePachicobue
提出日時 2019-02-19 17:17:35
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
MLE  
実行時間 -
コード長 9,433 bytes
コンパイル時間 3,171 ms
コンパイル使用メモリ 210,400 KB
実行使用メモリ 149,496 KB
最終ジャッジ日時 2023-08-02 14:17:27
合計ジャッジ時間 8,310 ms
ジャッジサーバーID
(参考情報)
judge15 / judge13
このコードへのチャレンジ(β)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,380 KB
testcase_01 AC 1 ms
4,380 KB
testcase_02 AC 540 ms
121,392 KB
testcase_03 AC 189 ms
4,380 KB
testcase_04 MLE -
testcase_05 AC 459 ms
115,960 KB
testcase_06 AC 473 ms
121,360 KB
testcase_07 AC 199 ms
4,376 KB
testcase_08 MLE -
testcase_09 MLE -
testcase_10 AC 411 ms
81,476 KB
testcase_11 AC 387 ms
118,304 KB
testcase_12 AC 369 ms
118,028 KB
testcase_13 AC 1 ms
4,380 KB
testcase_14 AC 1 ms
4,380 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

#include <bits/stdc++.h>
//!===========================================================!//
//!  dP     dP                          dP                    !//
//!  88     88                          88                    !//
//!  88aaaaa88a .d8888b. .d8888b. .d888b88 .d8888b. 88d888b.  !//
//!  88     88  88ooood8 88'  `88 88'  `88 88ooood8 88'  `88  !//
//!  88     88  88.  ... 88.  .88 88.  .88 88.  ... 88        !//
//!  dP     dP  `88888P' `88888P8 `88888P8 `88888P' dP        !//
//!===========================================================!//
using ld = long double;
using ll = long long;
std::mt19937 mt{std::random_device{}()};
template <typename F>
constexpr F PI() { return 3.1415926535897932385; }
template <typename T, std::size_t N>
std::ostream& operator<<(std::ostream& os, const std::array<T, N>& v)
{
    os << "[";
    for (const auto& e : v) { os << e << ","; }
    return (os << "]" << std::endl);
}
template <typename T, typename A>
std::ostream& operator<<(std::ostream& os, const std::deque<T, A>& v)
{
    os << "[";
    for (const auto& e : v) { os << e << ","; }
    return (os << "]" << std::endl);
}
template <typename K, typename T, typename C, typename A>
std::ostream& operator<<(std::ostream& os, const std::multimap<K, T, C, A>& v)
{
    os << "[";
    for (const auto& e : v) { os << "<" << e.first << ": " << e.second << ">,"; }
    return (os << "]" << std::endl);
}
template <typename T, typename C, typename A>
std::ostream& operator<<(std::ostream& os, const std::multiset<T, C, A>& v)
{
    os << "[";
    for (const auto& e : v) { os << e << ","; }
    return (os << "]" << std::endl);
}
template <typename K, typename T, typename C, typename A>
std::ostream& operator<<(std::ostream& os, const std::map<K, T, C, A>& v)
{
    os << "[";
    for (const auto& e : v) { os << "<" << e.first << ": " << e.second << ">,"; }
    return (os << "]" << std::endl);
}
template <typename T1, typename T2>
std::ostream& operator<<(std::ostream& os, const std::pair<T1, T2>& v) { return (os << "<" << v.first << "," << v.second << ">"); }
template <typename T, typename C, typename A>
std::ostream& operator<<(std::ostream& os, const std::set<T, C, A>& v)
{
    os << "[";
    for (const auto& e : v) { os << e << ","; }
    return (os << "]" << std::endl);
}
template <typename K, typename T, typename H, typename P, typename A>
std::ostream& operator<<(std::ostream& os, const std::unordered_multimap<K, T, H, P, A>& v)
{
    os << "[";
    for (const auto& e : v) { os << "<" << e.first << ": " << e.second << ">,"; }
    return (os << "]" << std::endl);
}
template <typename T, typename H, typename P, typename A>
std::ostream& operator<<(std::ostream& os, const std::unordered_multiset<T, H, P, A>& v)
{
    os << "[";
    for (const auto& e : v) { os << e << ","; }
    return (os << "]" << std::endl);
}
template <typename K, typename T, typename H, typename P, typename A>
std::ostream& operator<<(std::ostream& os, const std::unordered_map<K, T, H, P, A>& v)
{
    os << "[";
    for (const auto& e : v) { os << "<" << e.first << ": " << e.second << ">,"; }
    return (os << "]" << std::endl);
}
template <typename T, typename H, typename P, typename A>
std::ostream& operator<<(std::ostream& os, const std::unordered_set<T, H, P, A>& v)
{
    os << "[";
    for (const auto& e : v) { os << e << ","; }
    return (os << "]" << std::endl);
}
template <typename T, typename A>
std::ostream& operator<<(std::ostream& os, const std::vector<T, A>& v)
{
    os << "[";
    for (const auto& e : v) { os << e << ","; }
    return (os << "]" << std::endl);
}
#define show(x) std::cerr << #x << " = " << (x) << std::endl
//!====================================================================================================!//
//!  888888ba                      dP                                     .d88888b                     !//
//!  88    `8b                     88                                     88.    "'                    !//
//!  88     88 dP    dP 88d888b.   88        .d8888b. d888888b dP    dP   `Y88888b. .d8888b. .d8888b.  !//
//!  88     88 88    88 88'  `88   88        88'  `88    .d8P' 88    88         `8b 88ooood8 88'  `88  !//
//!  88    .8P 88.  .88 88    88   88        88.  .88  .Y8P    88.  .88   d8'   .8P 88.  ... 88.  .88  !//
//!  8888888P  `8888P88 dP    dP   88888888P `88888P8 d888888P `8888P88    Y88888P  `88888P' `8888P88  !//
//!                 .88                                             .88                           .88  !//
//!             d8888P                                          d8888P                        d8888P   !//
//!====================================================================================================!//
template <typename Base, std::size_t SUPBIT = 30, typename Ind = std::size_t>
class DynamicLazySeg
{
public:
    static constexpr std::size_t INDSUP = 1UL << 30;
    using BaseAlgebra = Base;
    using ValMonoid = typename BaseAlgebra::ValMonoid;
    using OpMonoid = typename BaseAlgebra::OpMonoid;
    using T = typename BaseAlgebra::VT;
    using F = typename BaseAlgebra::OT;
    DynamicLazySeg() : root{std::make_shared<Node>()} {}
    T get(const std::size_t a) const { return accumulate(a, a + 1); }
    void set(std::size_t a, const T& val)
    {
        modify(a, a + 1, OpMonoid::id());
        auto rec = [&](auto&& self, const Ptr p, Ind L, Ind R) -> void {
            if (L == a and R == a + 1) {
                p->V = val;
            } else {
                if (not p->left) { p->bear(); }
                const Ind M = (L + R) / 2;
                Ptr next = (a < M ? p->left : p->right);
                (a < M ? R : L) = M, self(self, next, L, R);
                up(p);
            }
        };
        rec(rec, root, 0, INDSUP);
    }
    T accumulate(const std::size_t L, const std::size_t R) const
    {
        auto rec = [&](auto&& self, const Ptr p, const std::size_t l, const std::size_t r) -> T {
            if (L <= l and r <= R) {
                return p->V;
            } else if (r <= L or R <= l) {
                return ValMonoid::id();
            } else {
                if (not p->left) { return p->V; }
                const std::size_t mid = (l + r) / 2;
                const T vl = self(self, p->left, l, mid), vr = self(self, p->right, mid, r), v = acc(vl, vr);
                return act(p->A, v);
            }
        };
        return rec(rec, root, 0, INDSUP);
    }
    void modify(const std::size_t L, const std::size_t R, const F& f)
    {
        auto rec = [&](auto&& self, Ptr p, const std::size_t l, const std::size_t r) -> void {
            if (L <= l and r <= R) {
                update(p, f);
            } else if (r <= L or R <= l) {
            } else {
                if (not p->left) { p->bear(); }
                update(p->left, p->A), this->update(p->right, p->A);
                const std::size_t mid = (l + r) / 2;
                self(self, p->left, l, mid), self(self, p->right, mid, r);
                up(p), p->A = OpMonoid::id();
            }
        };
        rec(rec, root, 0, INDSUP);
    }

private:
    const ValMonoid acc{};
    const OpMonoid compose{};
    const BaseAlgebra act{};
    struct Node
    {
        Node() : V{ValMonoid::id()}, A{OpMonoid::id()} {}
        void bear() { left = std::make_shared<Node>(), right = std::make_shared<Node>(); }
        using Ptr = std::shared_ptr<Node>;
        T V;
        F A;
        Ptr left, right;
    };
    using Ptr = typename Node::Ptr;
    void up(Ptr p) { p->V = acc(p->left->V, p->right->V); }
    void update(Ptr p, const F& f) { p->V = act(f, p->V), p->A = compose(f, p->A); }
    Ptr root;
};
//!==========================================================================!//
//!  .d88888b                                888888ba  dP                    !//
//!  88.    "'                               88    `8b 88                    !//
//!  `Y88888b. dP    dP 88d8b.d8b.          a88aaaa8P' 88 dP    dP .d8888b.  !//
//!        `8b 88    88 88'`88'`88 88888888  88        88 88    88 Y8ooooo.  !//
//!  d8'   .8P 88.  .88 88  88  88           88        88 88.  .88       88  !//
//!   Y88888P  `88888P' dP  dP  dP           dP        dP `88888P' `88888P'  !//
//!==========================================================================!//
template <typename VX = ll, typename OX = ll>
struct Sum_Plus
{
    using VT = std::pair<VX, VX>;
    struct ValMonoid
    {
        VT operator()(const VT& a, const VT& b) const { return {a.first + b.first, a.second + b.second}; }
        static constexpr VT id() { return {0, 0}; }
    };
    using OT = OX;
    struct OpMonoid
    {
        OT operator()(const OT& f1, const OT& f2) const { return f1 + f2; }
        static constexpr OT id() { return 0; }
    };
    VT operator()(const OT& f, const VT& x) const { return {x.first + x.second * f, x.second}; }
};
int main()
{
    DynamicLazySeg<Sum_Plus<ll, ll>, 40> dseg;
    int Q;
    std::cin >> Q;
    ll ans = 0;
    for (int q = 0; q < Q; q++) {
        int t;
        std::cin >> t;
        if (t == 0) {
            int x;
            ll y;
            std::cin >> x >> y;
            const auto p = dseg.get(x);
            dseg.set(x, {p.first + y, p.second});
        } else {
            int l, r;
            std::cin >> l >> r, r++;
            ans += dseg.accumulate(l, r).first;
        }
    }
    std::cout << ans << std::endl;
    return 0;
}
0