#include using namespace std; #define LOCAL #pragma region Macros typedef long long ll; #define ALL(x) (x).begin(),(x).end() const long long MOD=1000000007; // const long long MOD=998244353; const int INF=1e9; const long long IINF=1e18; const int dx[4]={1,0,-1,0},dy[4]={0,1,0,-1}; const char dir[4]={'D','R','U','L'}; template istream &operator>>(istream &is,vector &v){ for (T &x:v) is >> x; return is; } template ostream &operator<<(ostream &os,const vector &v){ for (int i=0;i ostream &operator<<(ostream &os,const pair &p){ os << '(' << p.first << ',' << p.second << ')'; return os; } template ostream &operator<<(ostream &os,const map &m){ os << '{'; for (auto itr=m.begin();itr!=m.end();++itr){ os << '(' << itr->first << ',' << itr->second << ')'; if (++itr!=m.end()) os << ','; --itr; } os << '}'; return os; } template ostream &operator<<(ostream &os,const set &s){ os << '{'; for (auto itr=s.begin();itr!=s.end();++itr){ os << *itr; if (++itr!=s.end()) os << ','; --itr; } os << '}'; return os; } void debug_out(){cerr << '\n';} template void debug_out(Head&& head,Tail&&... tail){ cerr << head; if (sizeof...(Tail)>0) cerr << ", "; debug_out(move(tail)...); } #ifdef LOCAL #define debug(...) cerr << " ";\ cerr << #__VA_ARGS__ << " :[" << __LINE__ << ":" << __FUNCTION__ << "]" << '\n';\ cerr << " ";\ debug_out(__VA_ARGS__) #else #define debug(...) 42 #endif template T gcd(T x,T y){return y!=0?gcd(y,x%y):x;} template T lcm(T x,T y){return x/gcd(x,y)*y;} template inline bool chmin(T1 &a,T2 b){ if (a>b){a=b; return true;} return false; } template inline bool chmax(T1 &a,T2 b){ if (a struct LazySegmentTree{ typedef function F; typedef function G; typedef function H; int n,hi; F f; G g; H h; Monoid id0; OperatorMonoid id1; vector dat; vector laz; LazySegmentTree(int n_,F f,G g,H h,Monoid id0,OperatorMonoid id1): f(f),g(g),h(h),id0(id0),id1(id1){init(n_);} void init(int n_){ n=1,hi=0; while(n &v){ for (int i=0;i>i); } inline void recalc(int k){ while(k>>=1) dat[k]=f(reflect(k<<1|0),reflect(k<<1|1)); } void update(int a,int b,OperatorMonoid x){ if (a>=b) return; thrust(a+=n); thrust(b+=n-1); for (int l=a,r=b+1;l>=1,r>>=1){ if (l&1) laz[l]=h(laz[l],x),++l; if (r&1) --r,laz[r]=h(laz[r],x); } recalc(a); recalc(b); } void set_val(int k,Monoid x){ thrust(k+=n); dat[k]=x,laz[k]=id1; recalc(k); } Monoid query(int a,int b){ if (a>=b) return id0; thrust(a+=n); thrust(b+=n-1); Monoid vl=id0,vr=id0; for (int l=a,r=b+1;l>=1,r>>=1){ if (l&1) vl=f(vl,reflect(l++)); if (r&1) vr=f(reflect(--r),vr); } return f(vl,vr); } template int find_subtree(int k,const C &check,Monoid &M,bool type){ while(k int find_first(int a,const C &check){ Monoid L=id0; if (a<=0){ if (check(f(L,reflect(1)))) return find_subtree(1,check,L,false); return -1; } thrust(a+n); int b=n; for (int l=a+n,r=b+n;l>=1,r>>=1){ if (l&1){ Monoid nxt=f(L,reflect(l)); if (check(nxt)) return ffind_subtree(l,check,L,false); L=nxt; ++l; } } return -1; } // max i s.t. f(seg[i],...,seg[b-2],seg[b-1]) satisfy "check" template int find_last(int b,const C &check){ Monoid R=id0; if (b>=n){ if (check(f(reflect(1),R))) return find_subtree(1,check,R,true); return -1; } thrust(b+n-1); int a=n; for (int l=a,r=b+n;l>=1,r>>=1){ if (r&1){ Monoid nxt=f(reflect(--r),R); if (check(nxt)) return find_subtree(r,check,R,true); R=nxt; } } return -1; } Monoid operator[](int i){return query(i,i+1);} }; int main(){ cin.tie(0); ios::sync_with_stdio(false); int N; cin >> N; vector a(N); cin >> a; auto f=[](ll a,ll b){return min(a,b);}; auto g=[](ll a,ll b){return a+b;}; LazySegmentTree seg(N,f,g,g,IINF,0); seg.build(a); int Q; cin >> Q; for (;Q--;){ int k,l,r,c; cin >> k >> l >> r >> c; --l; if (k==1) seg.update(l,r,c); else cout << seg.query(l,r) << '\n'; } }