結果
問題 | No.1000 Point Add and Array Add |
ユーザー |
|
提出日時 | 2025-05-09 18:04:56 |
言語 | C++23 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 133 ms / 2,000 ms |
コード長 | 8,490 bytes |
コンパイル時間 | 4,429 ms |
コンパイル使用メモリ | 312,972 KB |
実行使用メモリ | 12,116 KB |
最終ジャッジ日時 | 2025-05-09 18:05:04 |
合計ジャッジ時間 | 7,234 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 2 |
other | AC * 22 |
ソースコード
// competitive-verifier: PROBLEM #include <bit> #include <cassert> #include <vector> #include <algorithm> #include <limits> #include <numeric> #include <utility> template <class T> struct Add { using value_type = T; static constexpr T id() { return T(); } static constexpr T op(const T &lhs, const T &rhs) { return lhs + rhs; } template <class U> static constexpr U f(T lhs, U rhs) { return lhs + rhs; } }; template <class T> struct Mul { using value_type = T; static constexpr T id() { return T(1); } static constexpr T op(const T &lhs, const T &rhs) { return lhs * rhs; } template <class U> static constexpr U f(T lhs, U rhs) { return lhs * rhs; } }; template <class T> struct And { using value_type = T; static constexpr T id() { return std::numeric_limits<T>::max(); } static constexpr T op(const T &lhs, const T &rhs) { return lhs & rhs; } template <class U> static constexpr U f(T lhs, U rhs) { return lhs & rhs; } }; template <class T> struct Or { using value_type = T; static constexpr T id() { return T(); } static constexpr T op(const T &lhs, const T &rhs) { return lhs | rhs; } template <class U> static constexpr U f(T lhs, U rhs) { return lhs | rhs; } }; template <class T> struct Xor { using value_type = T; static constexpr T id() { return T(); } static constexpr T op(const T &lhs, const T &rhs) { return lhs ^ rhs; } template <class U> static constexpr U f(T lhs, U rhs) { return lhs ^ rhs; } }; template <class T> struct Min { using value_type = T; static constexpr T id() { return std::numeric_limits<T>::max(); } static constexpr T op(const T &lhs, const T &rhs) { return std::min(lhs, rhs); } template <class U> static constexpr U f(T lhs, U rhs) { return std::min((U)lhs, rhs); } }; template <class T> struct Max { using value_type = T; static constexpr T id() { return std::numeric_limits<T>::lowest(); } static constexpr T op(const T &lhs, const T &rhs) { return std::max(lhs, rhs); } template <class U> static constexpr U f(T lhs, U rhs) { return std::max((U)lhs, rhs); } }; template <class T> struct Gcd { using value_type = T; static constexpr T id() { return std::numeric_limits<T>::max(); } static constexpr T op(const T &lhs, const T &rhs) { return lhs == Gcd::id() ? rhs : (rhs == Gcd::id() ? lhs : std::gcd(lhs, rhs)); } }; template <class T> struct Lcm { using value_type = T; static constexpr T id() { return std::numeric_limits<T>::max(); } static constexpr T op(const T &lhs, const T &rhs) { return lhs == Lcm::id() ? rhs : (rhs == Lcm::id() ? lhs : std::lcm(lhs, rhs)); } }; template <class T> struct Update { using value_type = T; static constexpr T id() { return std::numeric_limits<T>::max(); } static constexpr T op(const T &lhs, const T &rhs) { return lhs == Update::id() ? rhs : lhs; } template <class U> static constexpr U f(T lhs, U rhs) { return lhs == Update::id() ? rhs : lhs; } }; template <class T> struct Affine { using P = std::pair<T, T>; using value_type = P; static constexpr P id() { return P(1, 0); } static constexpr P op(P lhs, P rhs) { return {lhs.first * rhs.first, lhs.first * rhs.second + lhs.second}; } }; template <class M> struct Rev { using T = typename M::value_type; using value_type = T; static constexpr T id() { return M::id(); } static constexpr T op(T lhs, T rhs) { return M::op(rhs, lhs); } }; /// @brief 双対セグメント木 template <class M> struct dual_segment_tree { private: using T = typename M::value_type; public: dual_segment_tree() : dual_segment_tree(0) {} explicit dual_segment_tree(int n, T e = M::id()) : dual_segment_tree(std::vector<T>(n, e)) {} template <class U> explicit dual_segment_tree(const std::vector<U> &v) : _n(v.size()) { _size = std::bit_ceil<unsigned>(_n); _log = std::countr_zero<unsigned>(_size); data = std::vector<T>(_size << 1, M::id()); for (int i = 0; i < _n; ++i) data[_size + i] = T(v[i]); } T at(int k) { return get(k); } T get(int k) { assert(0 <= k && k < _n); k += _size; for (int i = _log; i >= 1; --i) push(k >> i); return data[k]; } void apply(int a, T val) { apply(a, a + 1, val); } void apply(int a, int b, T val) { assert(0 <= a && a <= _n); assert(0 <= b && b <= _n); a += _size, b += _size; for (int i = _log; i >= 1; --i) { if (((a >> i) << i) != a) push(a >> i); if (((b >> i) << i) != b) push((b - 1) >> i); } for (; a < b; a >>= 1, b >>= 1) { if (a & 1) all_apply(a++, val); if (b & 1) all_apply(--b, val); } } private: int _n, _size, _log; std::vector<T> data; void all_apply(int k, T val) { data[k] = M::op(val, data[k]); } void push(int k) { all_apply(2 * k, data[k]); all_apply(2 * k + 1, data[k]); data[k] = M::id(); } }; #ifdef ATCODER #pragma GCC target("sse4.2,avx512f,avx512dq,avx512ifma,avx512cd,avx512bw,avx512vl,bmi2") #endif #pragma GCC optimize("Ofast,fast-math,unroll-all-loops") #include <bits/stdc++.h> #ifndef ATCODER #pragma GCC target("sse4.2,avx2,bmi2") #endif template <class T, class U> constexpr bool chmax(T &a, const U &b) { return a < (T)b ? a = (T)b, true : false; } template <class T, class U> constexpr bool chmin(T &a, const U &b) { return (T)b < a ? a = (T)b, true : false; } constexpr std::int64_t INF = 1000000000000000003; constexpr int Inf = 1000000003; constexpr double EPS = 1e-7; constexpr double PI = 3.14159265358979323846; #define FOR(i, m, n) for (int i = (m); i < int(n); ++i) #define FORR(i, m, n) for (int i = (m)-1; i >= int(n); --i) #define FORL(i, m, n) for (int64_t i = (m); i < int64_t(n); ++i) #define rep(i, n) FOR (i, 0, n) #define repn(i, n) FOR (i, 1, n + 1) #define repr(i, n) FORR (i, n, 0) #define repnr(i, n) FORR (i, n + 1, 1) #define all(s) (s).begin(), (s).end() struct Sonic { Sonic() { std::ios::sync_with_stdio(false); std::cin.tie(nullptr); std::cout << std::fixed << std::setprecision(20); } constexpr void operator()() const {} } sonic; using namespace std; using ll = std::int64_t; using ld = long double; template <class T, class U> std::istream &operator>>(std::istream &is, std::pair<T, U> &p) { return is >> p.first >> p.second; } template <class T> std::istream &operator>>(std::istream &is, std::vector<T> &v) { for (T &i : v) is >> i; return is; } template <class T, class U> std::ostream &operator<<(std::ostream &os, const std::pair<T, U> &p) { return os << '(' << p.first << ',' << p.second << ')'; } template <class T> std::ostream &operator<<(std::ostream &os, const std::vector<T> &v) { for (auto it = v.begin(); it != v.end(); ++it) os << (it == v.begin() ? "" : " ") << *it; return os; } template <class Head, class... Tail> void co(Head &&head, Tail &&...tail) { if constexpr (sizeof...(tail) == 0) std::cout << head << '\n'; else std::cout << head << ' ', co(std::forward<Tail>(tail)...); } template <class Head, class... Tail> void ce(Head &&head, Tail &&...tail) { if constexpr (sizeof...(tail) == 0) std::cerr << head << '\n'; else std::cerr << head << ' ', ce(std::forward<Tail>(tail)...); } void Yes(bool is_correct = true) { std::cout << (is_correct ? "Yes\n" : "No\n"); } void No(bool is_not_correct = true) { Yes(!is_not_correct); } void YES(bool is_correct = true) { std::cout << (is_correct ? "YES\n" : "NO\n"); } void NO(bool is_not_correct = true) { YES(!is_not_correct); } void Takahashi(bool is_correct = true) { std::cout << (is_correct ? "Takahashi" : "Aoki") << '\n'; } void Aoki(bool is_not_correct = true) { Takahashi(!is_not_correct); } int main(void) { int n, q; cin >> n >> q; vector<int> a(n); cin >> a; vector<ll> ans(n); dual_segment_tree<Add<ll>> seg(n); vector<tuple<char, int, int>> v(q); for (auto &[c, x, y] : v) cin >> c >> x >> y; repr (i, q) { auto [c, x, y] = v[i]; if (c == 'A') { ans[x - 1] += seg.at(x - 1) * y; } else { seg.apply(x - 1, y, 1); } } rep (i, n) { ans[i] += seg.at(i) * a[i]; } co(ans); return 0; }