#579793 (C++17) No.1290 Addition and Subtraction Operation

提出ソース

結果

問題	No.1290 Addition and Subtraction Operation
ユーザー	tokusakurai
提出日時	2020-11-13 23:07:48
言語	C++17 (gcc 12.3.0 + boost 1.83.0)
結果	AC
実行時間	131 ms / 2,000 ms
コード長	6,082 bytes
コンパイル時間	2,589 ms
コンパイル使用メモリ	215,552 KB
実行使用メモリ	15,940 KB
最終ジャッジ日時	2024-07-22 22:01:24
合計ジャッジ時間	6,660 ms
ジャッジサーバーID （参考情報）	judge2 / judge3

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

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	2 ms 5,248 KB
testcase_01	AC	2 ms 5,376 KB
testcase_02	AC	2 ms 5,376 KB
testcase_03	AC	3 ms 5,376 KB
testcase_04	AC	2 ms 5,376 KB
testcase_05	AC	2 ms 5,376 KB
testcase_06	AC	2 ms 5,376 KB
testcase_07	AC	2 ms 5,376 KB
testcase_08	AC	2 ms 5,376 KB
testcase_09	AC	3 ms 5,376 KB
testcase_10	AC	2 ms 5,376 KB
testcase_11	AC	2 ms 5,376 KB
testcase_12	AC	2 ms 5,376 KB
testcase_13	AC	2 ms 5,376 KB
testcase_14	AC	2 ms 5,376 KB
testcase_15	AC	2 ms 5,376 KB
testcase_16	AC	2 ms 5,376 KB
testcase_17	AC	2 ms 5,376 KB
testcase_18	AC	2 ms 5,376 KB
testcase_19	AC	2 ms 5,376 KB
testcase_20	AC	2 ms 6,940 KB
testcase_21	AC	2 ms 6,940 KB
testcase_22	AC	2 ms 6,940 KB
testcase_23	AC	2 ms 6,940 KB
testcase_24	AC	2 ms 6,940 KB
testcase_25	AC	2 ms 6,940 KB
testcase_26	AC	2 ms 6,940 KB
testcase_27	AC	2 ms 6,940 KB
testcase_28	AC	2 ms 6,940 KB
testcase_29	AC	2 ms 6,940 KB
testcase_30	AC	2 ms 5,376 KB
testcase_31	AC	2 ms 5,376 KB
testcase_32	AC	2 ms 5,376 KB
testcase_33	AC	2 ms 5,376 KB
testcase_34	AC	2 ms 5,376 KB
testcase_35	AC	2 ms 5,376 KB
testcase_36	AC	2 ms 5,376 KB
testcase_37	AC	2 ms 5,376 KB
testcase_38	AC	2 ms 5,376 KB
testcase_39	AC	2 ms 5,376 KB
testcase_40	AC	2 ms 5,376 KB
testcase_41	AC	2 ms 5,376 KB
testcase_42	AC	22 ms 5,376 KB
testcase_43	AC	22 ms 5,376 KB
testcase_44	AC	22 ms 5,376 KB
testcase_45	AC	22 ms 5,376 KB
testcase_46	AC	22 ms 5,376 KB
testcase_47	AC	21 ms 5,376 KB
testcase_48	AC	22 ms 5,376 KB
testcase_49	AC	22 ms 5,376 KB
testcase_50	AC	22 ms 5,376 KB
testcase_51	AC	22 ms 5,376 KB
testcase_52	AC	22 ms 5,376 KB
testcase_53	AC	21 ms 5,376 KB
testcase_54	AC	22 ms 5,376 KB
testcase_55	AC	22 ms 5,376 KB
testcase_56	AC	21 ms 5,376 KB
testcase_57	AC	22 ms 13,628 KB
testcase_58	AC	26 ms 13,968 KB
testcase_59	AC	22 ms 13,504 KB
testcase_60	AC	41 ms 14,680 KB
testcase_61	AC	35 ms 14,308 KB
testcase_62	AC	39 ms 14,492 KB
testcase_63	AC	26 ms 14,068 KB
testcase_64	AC	17 ms 13,040 KB
testcase_65	AC	20 ms 13,348 KB
testcase_66	AC	30 ms 14,132 KB
testcase_67	AC	42 ms 14,684 KB
testcase_68	AC	35 ms 14,428 KB
testcase_69	AC	27 ms 14,080 KB
testcase_70	AC	25 ms 13,848 KB
testcase_71	AC	30 ms 14,112 KB
testcase_72	AC	20 ms 13,380 KB
testcase_73	AC	33 ms 14,284 KB
testcase_74	AC	16 ms 12,988 KB
testcase_75	AC	18 ms 13,228 KB
testcase_76	AC	27 ms 13,880 KB
testcase_77	AC	114 ms 14,704 KB
testcase_78	AC	99 ms 14,060 KB
testcase_79	AC	64 ms 13,664 KB
testcase_80	AC	130 ms 15,940 KB
testcase_81	AC	131 ms 15,800 KB
testcase_82	AC	33 ms 14,132 KB
testcase_83	AC	45 ms 14,632 KB
testcase_84	AC	45 ms 14,540 KB
testcase_85	AC	25 ms 13,404 KB
testcase_86	AC	20 ms 13,076 KB

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

ソースコード

raw source code

#include <bits/stdc++.h>
using namespace std;
#define rep(i, n) for(int i = 0; i < n; i++)
#define rep2(i, x, n) for(int i = x; i <= n; i++)
#define rep3(i, x, n) for(int i = x; i >= n; i--)
#define each(e, v) for(auto &e: v)
#define pb push_back
#define eb emplace_back
#define all(x) x.begin(), x.end()
#define rall(x) x.rbegin(), x.rend()
#define sz(x) (int)x.size()
using ll = long long;
using pii = pair<int, int>;
using pil = pair<int, ll>;
using pli = pair<ll, int>;
using pll = pair<ll, ll>;
#define pq(type, name) priority_queue<type> name
#define iq(type, name) priority_queue<type, vector<type>, greater<type>> name
const int inf = (1<<30)-1;
const ll INF = (1LL<<60)-1;
const double pi = acos(-1.0);
const double EPS = 1e-10;
template<typename T> bool chmax(T &x, const T &y){
    if(x < y) {x = y; return true;}
    return false;
}
template<typename T> bool chmin(T &x, const T &y){
    if(x > y) {x = y; return true;}
    return false;
}
void in() {}
template<typename Head, typename ...Tail> void in(Head &&head, Tail &&...tail){
    cin >> head;
    in(forward<Tail>(tail)...);
}
void out() {cout << '\n';}
template<typename Head, typename ...Tail> void out(Head &&head, Tail &&...tail){
    cout << head << ' ';
    out(forward<Tail>(tail)...);
}
void outn() {}
template<typename Head, typename ...Tail> void outn(Head &&head, Tail &&...tail){
    cout << head << '\n';
    outn(forward<Tail>(tail)...);
}
template<typename T, typename U> void in(pair<T, U> &p){
    cin >> p.first >> p.second;
}
template<typename T, typename U> void out(pair<T, U> p){
    cout << p.first << ' ' << p.second << '\n';
}
using vi = vector<int>;
using vll = vector<ll>;
#define vec1(type, name, ...) vector<type> name(__VA_ARGS__)
#define VEC1(type, ...) vector<type>(__VA_ARGS__)
#define vec2(type, name, a, ...) vector<vector<type>> name(a, VEC1(type, __VA_ARGS__))
#define VEC2(type, a, ...) vector<vector<type>>(a, VEC1(type, __VA_ARGS__))
#define vec3(type, name, a, b, ...) vector<vector<vector<type>>> name(a, VEC2(type, b, __VA_ARGS__))
#define VEC3(type, a, b, ...) vector<vector<vector<type>>>(a, VEC2(type, b, __VA_ARGS__))
#define vec4(type, name, a, b, c, ...) vector<vector<vector<vector<type>>>> name(a, VEC3(type, b, c, __VA_ARGS__))
#define VEC4(type, a, b, c, ...) vector<vector<vector<vector<type>>>>(a, VEC3(type, b, c, __VA_ARGS__))
#define vec5(type, name, a, b, c, d, ...) vector<vector<vector<vector<vector<type>>>>> name(a, VEC4(type, b, c, d, __VA_ARGS__))
#define VEC5(type, a, b, c, d, ...) vector<vector<vector<vector<vector<type>>>>>(a, VEC4(type, b, c, d, __VA_ARGS__))
template<typename T> void vin(vector<T> &a){
    rep(i, sz(a)) cin >> a[i];
}
template<typename T> void vout(const vector<T> &a){
    for(auto &e: a) cout << e << ' ';
    cout << '\n';
}
template<typename T> void voutn(const vector<T> &a){
    for(auto &e: a) cout << e << '\n';
}
template<typename T> void unique(vector<T> &a){
    sort(all(a)), a.erase(unique(all(a)), a.end());
}
vector<int> iota(int n){
    vector<int> ret(n);
    iota(all(ret), 0);
    return ret;
}
template<typename T> vector<int> iota(const vector<T> &a, bool greater = false){
    vector<int> ret = iota(sz(a));
    sort(all(ret), [&](int i, int j){
        return (a[i] < a[j])^greater;
    });
    return ret;
}
struct io_setup{
    io_setup(){
        ios_base::sync_with_stdio(false);
        cin.tie(NULL);
        cout << fixed << setprecision(15);
    }
} io_setup;
#define VEC(type, name, n) vector<type> name(n); vin(name)
#define INT(...) int __VA_ARGS__; in(__VA_ARGS__)
#define LL(...) ll __VA_ARGS__; in(__VA_ARGS__)
#define CHAR(...) char __VA_ARGS__; in(__VA_ARGS__)
#define STR(...) string __VA_ARGS__; in(__VA_ARGS__)
#define DBL(...) double __VA_ARGS__; in(__VA_ARGS__)
const int MOD = 1000000007;
//const int MOD = 998244353;

template<typename T, typename Operator_Monoid>
struct Dual_Segment_Tree{
    using G = function<T(T, Operator_Monoid)>;
    using H = function<Operator_Monoid(Operator_Monoid, Operator_Monoid)>;
    int n, height;
    vector<T> seg;
    vector<Operator_Monoid> lazy;
    const G g;
    const H h;
    const Operator_Monoid e2;

    Dual_Segment_Tree(const vector<T> &v, const G &g, const H &h, const Operator_Monoid &e2) : g(g), h(h), e2(e2){
        int m = sz(v);
        n = 1, height = 0;
        while(n < m) n <<= 1, height++;
        lazy.assign(2*n, e2);
        seg = v;
    }

    inline void eval(int i){
        if(i < n && lazy[i] != e2){
            lazy[2*i] = h(lazy[2*i], lazy[i]);
            lazy[2*i+1] = h(lazy[2*i+1], lazy[i]);
            lazy[i] = e2;
        }
    }

    inline void thrust(int i){
        for(int j = height; j > 0; j--) eval(i>>j);
    }

    void apply(int l, int r, const Operator_Monoid &x){
        if(l >= r) return;
        l += n, r += n;
        thrust(l), thrust(r-1);
        while(l < r){
            if(l&1) lazy[l] = h(lazy[l], x), l++;
            if(r&1) r--, lazy[r] = h(lazy[r], x);
            l >>= 1, r >>= 1;
        }
    }

    T get(int i){
        thrust(i+n);
        return g(seg[i], lazy[i+n]);
    }

    T operator [] (int i) {return get(i);}
};

int main(){
    INT(N, M);
    VEC(ll, B, N);
    vector<int> rs[N];
    rep(i, M){
        INT(L, R);
        L--;
        rs[L].eb(R);
    }
    auto g = [](ll a, ll b) {return a+b;};
    Dual_Segment_Tree<ll, ll> seg1(vector<ll>(N, 0), g, g, 0), seg2(vector<ll>(N, 0), g, g, 0);
    rep(i, N){
        if(rs[i].empty()){
            ll x = (i&1? seg2 : seg1)[i];
            if(x != B[i]) out("NO"), exit(0);
        }
        else{
            unique(rs[i]);
            int n = sz(rs[i]);
            rep(j, n-1){
                int l = rs[i][j], r = rs[i][j+1];
                rs[l].pb(r);
            }
            ll x = B[i]-(i&1? seg2 : seg1)[i];
            if(i&1){
                seg2.apply(i, rs[i][0], x);
                seg1.apply(i, rs[i][0], -x);
            }
            else{
                seg1.apply(i, rs[i][0], x);
                seg2.apply(i, rs[i][0], -x);
            }
        }
    }
    out("YES");
}

yukicoder

結果

テストケース

ソースコード