This documentation is automatically generated by online-judge-tools/verification-helper
View the Project on GitHub tko919/library
#define PROBLEM "https://judge.yosupo.jp/problem/staticrmq" #include "Template/template.hpp" #include "DataStructure/segtree.hpp" int f(int a,int b){return min(a,b);} int g(int a,int b){return b;} int e(){return inf;} int main(){ int N,Q; cin>>N>>Q; vector<int> a(N); rep(i,0,N)cin>>a[i]; SegmentTree<int,int,f,g,e> seg(N); seg.run(a); while(Q--){ int L,R; cin>>L>>R; cout<<seg.query(L,R)<<'\n'; } return 0; }
#line 1 "Verify/LC_staticrmq.test.cpp" #define PROBLEM "https://judge.yosupo.jp/problem/staticrmq" #line 1 "Template/template.hpp" #include <bits/stdc++.h> using namespace std; #define rep(i, a, b) for (int i = (int)(a); i < (int)(b); i++) #define rrep(i, a, b) for (int i = (int)(b-1); i >= (int)(a); i--) #define ALL(v) (v).begin(), (v).end() #define UNIQUE(v) sort(ALL(v)), (v).erase(unique(ALL(v)), (v).end()) #define SZ(v) (int)v.size() #define MIN(v) *min_element(ALL(v)) #define MAX(v) *max_element(ALL(v)) #define LB(v, x) int(lower_bound(ALL(v), (x)) - (v).begin()) #define UB(v, x) int(upper_bound(ALL(v), (x)) - (v).begin()) using uint = unsigned int; using ll = long long int; using ull = unsigned long long; using i128 = __int128_t; using u128 = __uint128_t; const int inf = 0x3fffffff; const ll INF = 0x1fffffffffffffff; template <typename T> inline bool chmax(T &a, T b) { if (a < b) { a = b; return 1; } return 0; } template <typename T> inline bool chmin(T &a, T b) { if (a > b) { a = b; return 1; } return 0; } template <typename T, typename U> T ceil(T x, U y) { assert(y != 0); if (y < 0) x = -x, y = -y; return (x > 0 ? (x + y - 1) / y : x / y); } template <typename T, typename U> T floor(T x, U y) { assert(y != 0); if (y < 0) x = -x, y = -y; return (x > 0 ? x / y : (x - y + 1) / y); } template <typename T> int popcnt(T x) { return __builtin_popcountll(x); } template <typename T> int topbit(T x) { return (x == 0 ? -1 : 63 - __builtin_clzll(x)); } template <typename T> int lowbit(T x) { return (x == 0 ? -1 : __builtin_ctzll(x)); } #ifdef LOCAL #define show(...) _show(0, #__VA_ARGS__, __VA_ARGS__) #else #define show(...) true #endif template <typename T> void _show(int i, T name) { cerr << '\n'; } template <typename T1, typename T2, typename... T3> void _show(int i, const T1 &a, const T2 &b, const T3 &...c) { for (; a[i] != ',' && a[i] != '\0'; i++) cerr << a[i]; cerr << ":" << b << " "; _show(i + 1, a, c...); } template <class T, class U> ostream &operator<<(ostream &os, const pair<T, U> &p) { os << "P(" << p.first << ", " << p.second << ")"; return os; } template <typename T, template <class> class C> ostream &operator<<(ostream &os, const C<T> &v) { os << "["; for (auto d : v) os << d << ", "; os << "]"; return os; } #line 2 "DataStructure/segtree.hpp" template<typename M,typename N,M (*f)(M,M),M (*g)(M,N),M (*m1)()>struct SegmentTree{ int n; vector<M> data; SegmentTree(int _n=0){ n=1; while(n<_n)n<<=1; data.assign(2*n,m1()); } void run(vector<M>& v){ for(int i=0;i<(int)v.size();i++)data[i+n]=v[i]; for(int k=n-1;k>0;k--)data[k]=f(data[2*k],data[2*k+1]); } void set(int k,const M &x){ k+=n; data[k]=x; while(k>>=1)data[k]=f(data[2*k],data[2*k+1]); } void update(int k,const N &x){ k+=n; data[k]=g(data[k],x); while(k>>=1)data[k]=f(data[2*k],data[2*k+1]); } M query(int a,int b){ M L=m1(),R=m1(); for(a+=n,b+=n;a<b;a>>=1,b>>=1){ if(a&1)L=f(L,data[a++]); if(b&1)R=f(data[--b],R); } return f(L,R); } M operator[](const int &k)const{return data[k+n];} }; /** * @brief Segment Tree */ #line 5 "Verify/LC_staticrmq.test.cpp" int f(int a,int b){return min(a,b);} int g(int a,int b){return b;} int e(){return inf;} int main(){ int N,Q; cin>>N>>Q; vector<int> a(N); rep(i,0,N)cin>>a[i]; SegmentTree<int,int,f,g,e> seg(N); seg.run(a); while(Q--){ int L,R; cin>>L>>R; cout<<seg.query(L,R)<<'\n'; } return 0; }