#525162 (C++17) No.877 Range ReLU Query

• 問題: No.877 Range ReLU Query
• ユーザー: fura
• 提出日時: 2020-08-06 03:39:17
• 言語: C++17 (gcc 12.3.0 + boost 1.83.0)
• 結果: AC
• 実行時間: 390 ms / 2,000 ms
• コード長: 2,315 bytes
• コンパイル時間: 2,475 ms
• コンパイル使用メモリ: 211,556 KB
• 実行使用メモリ: 55,780 KB
• 最終ジャッジ日時: 2024-04-25 22:23:31
• 合計ジャッジ時間: 7,240 ms
• ジャッジサーバーID （参考情報）: judge4 / judge3

入力	結果	実行時間; 実行使用メモリ
testcase_00	AC	2 ms; 6,816 KB
testcase_01	AC	3 ms; 6,816 KB
testcase_02	AC	2 ms; 6,944 KB
testcase_03	AC	2 ms; 6,940 KB
testcase_04	AC	2 ms; 6,940 KB
testcase_05	AC	3 ms; 6,940 KB
testcase_06	AC	3 ms; 6,944 KB
testcase_07	AC	2 ms; 6,940 KB
testcase_08	AC	4 ms; 6,940 KB
testcase_09	AC	2 ms; 6,940 KB
testcase_10	AC	3 ms; 6,940 KB
testcase_11	AC	360 ms; 48,324 KB
testcase_12	AC	313 ms; 47,568 KB
testcase_13	AC	235 ms; 32,412 KB
testcase_14	AC	242 ms; 30,436 KB
testcase_15	AC	383 ms; 54,764 KB
testcase_16	AC	381 ms; 54,168 KB
testcase_17	AC	390 ms; 54,800 KB
testcase_18	AC	390 ms; 55,092 KB
testcase_19	AC	184 ms; 55,780 KB
testcase_20	AC	316 ms; 55,652 KB

ソースコード

#include <bits/stdc++.h>

#define rep(i,n) for(int i=0;i<(n);i++)

using namespace std;
using lint=long long;

template<class M>
class segment_tree{
	int sz;
	vector<M> seg;
public:
	segment_tree(){}
	segment_tree(int n){ build(n); }
	template<class T>
	segment_tree(const vector<T>& a){ build(a); }
	void build(int n){
		for(sz=1;sz<n;sz<<=1);
		seg.assign(2*sz,M());
	}
	template<class T>
	void build(const vector<T>& a){
		int n=a.size();
		build(n);
		rep(i,n) seg[sz+i]=a[i];
		for(int i=sz-1;i>0;i--){
			seg[i]=seg[2*i]*seg[2*i+1];
		}
	}
	const M& operator[](int i)const{
		return seg[sz+i];
	}
	void update(int i,const M& x){
		i+=sz;
		seg[i]=x;
		for(i>>=1;i>0;i>>=1) seg[i]=seg[2*i]*seg[2*i+1];
	}
	M get(int l,int r)const{
		M lcum,rcum;
		for(int a=l+sz,b=r+sz;a<b;a>>=1,b>>=1){
			if(a&1) lcum=lcum*seg[a++];
			if(b&1) rcum=seg[--b]*rcum;
		}
		return lcum*rcum;
	}
	template<class N,class F>
	N query(int l,int r,const F& f){
		N lcum,rcum;
		for(int a=l+sz,b=r+sz;a<b;a>>=1,b>>=1){
			if(a&1) lcum=lcum*f(seg[a++]);
			if(b&1) rcum=f(seg[--b])*rcum;
		}
		return lcum*rcum;
	}
};

template<class T>
class sequence_sum_monoid{
	vector<T> a,cum;
public:
	sequence_sum_monoid():cum(1){}
	sequence_sum_monoid(const T& val):a(1,val),cum{0,val}{}
	sequence_sum_monoid(const vector<T>& x):a(x),cum(x.size()+1){
		sort(a.begin(),a.end());
		rep(i,x.size()) cum[i+1]=cum[i]+a[i];
	}
	sequence_sum_monoid operator*(const sequence_sum_monoid& x)const{
		vector<T> res;
		merge(a.begin(),a.end(),x.a.begin(),x.a.end(),back_inserter(res));
		return sequence_sum_monoid(res);
	}
	lint f(lint t)const{
		int idx=upper_bound(a.begin(),a.end(),t)-a.begin();
		return cum.back()-cum[idx]-(a.size()-idx)*t;
	}
};

template<class T>
class add_monoid{
	T a;
public:
	add_monoid():a(){}
	add_monoid(const T& val):a(val){}
	add_monoid operator*(const add_monoid& x)const{
		return a+x.a;
	}
	T& get(){ return a; }
	const T& get()const{ return a; }
};

int main(){
	int n,q; scanf("%d%d",&n,&q);
	vector<int> a(n);
	rep(i,n) scanf("%d",&a[i]);

	segment_tree<sequence_sum_monoid<lint>> S(a);
	rep(_,q){
		int l,r,t; scanf("%*d%d%d%d",&l,&r,&t); l--;
		auto ans=S.query<add_monoid<lint>>(l,r,[&](const sequence_sum_monoid<lint>& x)->add_monoid<lint>{
			return x.f(t);
		});
		printf("%lld\n",ans.get());
	}

	return 0;
}