結果

問題 No.879 Range Mod 2 Query
コンテスト
ユーザー Sukyakura
提出日時 2026-01-20 19:59:11
言語 C++23
(gcc 15.2.0 + boost 1.89.0)
結果
AC  
実行時間 329 ms / 3,000 ms
コード長 4,524 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 5,721 ms
コンパイル使用メモリ 383,028 KB
実行使用メモリ 14,408 KB
最終ジャッジ日時 2026-01-20 19:59:23
合計ジャッジ時間 10,320 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 1
other AC * 21
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

# include <bits/stdc++.h>
# include <atcoder/modint>
# include <atcoder/segtree>
# include <atcoder/lazysegtree>
# include <atcoder/dsu>
# include <atcoder/scc>
# include <atcoder/string>
# include <atcoder/twosat>
# include <atcoder/math>
# include <atcoder/convolution>
//# include <regex>

using namespace std;
typedef long long ll;
typedef long double ld;
typedef vector<int> vi;
typedef vector<vector<int>> vvi;
typedef vector<vector<vector<int>>> vvvi;
typedef vector<long long> vl;
typedef vector<vector<long long>> vvl;
typedef vector<vector<vector<long long>>> vvvl;
typedef vector<bool> vb;
typedef vector<vector<bool>> vvb;
typedef vector<vector<vector<bool>>> vvvb;
#define rep(i,n) for(int i=0;i<n;i++)
#define reps(i,m,n) for(int i=m;i<n;i++)
#define repl(i,n) for(ll i=0;i<n;i++)
#define repsl(i,m,n) for(ll i=m;i<n;i++)
#define repr(i,n) for(int i=n-1;i>=0;i--)
#define repsr(i,m,n) for(int i=n-1;i>=m;i--)
#define replr(i,n) for(ll i=n-1;i>=0;i--)
#define repslr(i,m,n) for(ll i=n-1;i>=m;i--)
#define sksort(x) sort(x.begin(), x.end())
#define sksortr(x) sort(x.rbegin(), x.rend())
#define disp(x) cout << x << endl
#define disps(x) cout << x << " "
#define dispe cout << endl
#define dispv(x) for(ll xqzj=0;xqzj<(ll)x.size();xqzj++){disps(x[xqzj]);}dispe
#define dispvv(x) for(ll xqzi=0;xqzi<(ll)x.size();xqzi++){dispv(x[xqzi]);}
#define dispvm(x) for(ll xqzj=0;xqzj<(ll)x.size();xqzj++){disps(x[xqzj].val());}dispe
#define dispvvm(x) for(ll xqzi=0;xqzi<(ll)x.size();xqzi++){dispvm(x[xqzi]);}
#define dispy cout << "Yes" << endl
#define dispn cout << "No" << endl
#define dispyn(x) if(x)dispy;else dispn
#define dispd cout << std::setprecision(20)
#define inp(x) int x;cin>>x
#define inpl(x) ll x;cin>>x
#define inps(x) string x;cin>>x
#define allv(x)  (x).begin(),(x).end()
#define allrv(x)  (x).rbegin(),(x).rend()
#define imax(x,y) x=max(x,y)
#define imin(x,y) x=min(x,y)
#define perm(x,y) vi permv(x);rep(permi,x)permv[permi]=permi;do y while(next_permutation(allv(permv)))
template <class T>
using priority_queue_asc = std::priority_queue<T,std::vector<T>,std::greater<T>>;
using mint = atcoder::modint998244353;
//using mint = atcoder::modint1000000007;

struct S {
    ll val;
    int zero;
    int one;
};

struct F {
    ll zero_add;
    ll one_add;
    ll zero_set;
    ll one_set;
    bool mod;
};

S op(S l, S r){
    return S{
        l.val+r.val,
        l.zero+r.zero,
        l.one+r.one
    };
}

S e(){
    return {0,0,0};
}

S mapping(F f, S s){
    S out=s;
    if(f.mod){
        out.val=f.zero_set*s.zero+f.one_set*s.one;
        if(f.zero_set%2==1){
            out.zero-=s.zero;
            out.one+=s.zero;
        }
        if(f.one_set%2==0){
            out.one-=s.one;
            out.zero+=s.one;
        }
    }else{
        out.val+=f.zero_add*s.zero+f.one_add*s.one;
        if(f.zero_add%2==1){
                out.zero-=s.zero;
                out.one+=s.zero;
        }
        if(f.one_add%2==1){
            out.one-=s.one;
            out.zero+=s.one;
        }
    }
    return out;
}

F composition(F f_new, F f_old){
    F out;
    if(f_new.mod){
        if(f_old.mod){
            out.zero_add=0;
            out.one_add=0;
            out.zero_set=(f_old.zero_set%2==0?f_new.zero_set:f_new.one_set);
            out.one_set=(f_old.one_set%2==1?f_new.one_set:f_new.zero_set);
        }else{
            out.zero_add=0;
            out.one_add=0;
            out.zero_set=(f_old.zero_add%2==0?f_new.zero_set:f_new.one_set);
            out.one_set=(f_old.one_add%2==0?f_new.one_set:f_new.zero_set);
        }
    }else{
        if(f_old.mod){
            out.zero_add=0;
            out.one_add=0;
            out.zero_set=f_new.zero_add+f_old.zero_set;
            out.one_set=f_new.one_add+f_old.one_set;
        }else{
            out.zero_add=f_new.zero_add+f_old.zero_add;
            out.one_add=f_new.one_add+f_old.one_add;
            out.zero_set=0;
            out.one_set=0;
        }
    }
    out.mod=f_new.mod||f_old.mod;
    return out;
}

F id(){
    return {0,0,0,0,false};
}

int main(){
    inp(n);
    inp(q);
    vi a(n);
    rep(i,n)cin>>a[i];
    vector<S> s(n);
    rep(i,n)s[i]={a[i],(int)(a[i]%2==0),(int)(a[i]%2==1)};
    atcoder::lazy_segtree<S,op,e,F,mapping,composition,id> seg(s);
    while(q--){
        inp(t);
        inp(l);
        inp(r);
        if(t==1)seg.apply(l-1,r,{0,0,0,1,true});
        else if(t==2){
            inpl(x);
            seg.apply(l-1,r,{x,x,0,0,false});
        }else disp(seg.prod(l-1,r).val);
    }
}
0