#pragma GCC target ("avx") #pragma GCC optimize("Ofast") #pragma GCC optimize("unroll-loops") //#pragma GCC target("sse,sse2,sse3,ssse3,sse4,popcnt,abm,mmx,avx,tune=native") #define _USE_MATH_DEFINES #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; using ll = long long; using ld = long double; using H = pair; using P = pair; using vi = vector; #define all(a) (a).begin(),(a).end() #define fs first #define sc second #define xx first #define yy second.first #define zz second.second #define Q(i,j,k) mkp(i,mkp(j,k)) #define rng(i,s,n) for(ll i = (s) ; i < (n) ; i++) #define rep(i,n) rng(i, 0, (n)) #define mkp make_pair #define vec vector #define pb emplace_back #define siz(a) int(a.size()) #define crdcomp(b) sort(all((b)));(b).erase(unique(all((b))),(b).end()) #define getidx(b,i) (lower_bound(all(b),(i))-(b).begin()) #define ssp(i,n) (i==(ll)(n)-1?"\n":" ") #define ctoi(c) (int)(c-'0') #define itoc(c) (char)(c+'0') #define cyes printf("Yes\n") #define cno printf("No\n") #define cdf(n) for(int quetimes_=(n);quetimes_>0;quetimes_--) #define gcj printf("Case #%lld: ",qq123_+1) #define readv(a,n) a.resize(n,0);rep(i,(n)) a[i]=read() #define found(a,x) (a.find(x)!=a.end()) constexpr ll mod = (ll)1e9 + 7; constexpr ll Mod = 998244353; constexpr ld EPS = 1e-10; constexpr ll inf = (ll)3 * 1e18; constexpr int Inf = (ll)15 * 1e8; constexpr int dx[] = { -1,1,0,0 }, dy[] = { 0,0,-1,1 }; templatebool chmax(T& a, const T& b) { if (a < b) { a = b; return 1; } return 0; } templatebool chmin(T& a, const T& b) { if (b < a) { a = b; return 1; } return 0; } ll read() { ll u, k = scanf("%lld", &u); return u; } string reads() { string s; cin >> s; return s; } H readh(short g = 0) { H u; int k = scanf("%lld %lld", &u.fs, &u.sc); if (g == 1) u.fs--, u.sc--; if (g == 2) u.fs--; return u; } bool ina(H t, int h, int w) { return 0 <= t.fs && t.fs < h && 0 <= t.sc && t.sc < w; } bool ina(int t, int l, int r) { return l <= t && t < r; } ll gcd(ll i, ll j) { return j ? gcd(j, i % j) : i; } ll ppc(ll x) { int sum = 0; for (int i = 0; i < 60; i++)if ((1ll << i) & x) sum++; return sum; } template void fin(T x) { cout << x << endl; exit(0); } template class csum { vec v; public: csum(vec& a) :v(a) { build(); } csum() {} csum(int sz) { init(sz); } void init(int sz) { v = vector(sz + 1, 0); } void init(vec& a) { v = a; build(); } void build() { for (int i = 1; i < v.size(); i++) v[i] += v[i - 1]; } void add(int l, int r, T x) { v[l] += x; v[r] -= x; }//[l,r) void add(int t, T x) { v[t] += x; }//[l,r) //[l,r] T a(int l, int r) { if (r < l) return 0; return v[r] - (l == 0 ? 0 : v[l - 1]); } //[l,r) T b(int l, int r) { return a(l, r - 1); } T a(pairt) { return a(t.first, t.second); } T b(pairt) { return b(t.first, t.second); } T operator[](int x)const { return v[x]; } }; template class modint { public:ll v; modint(ll v = 0) { s(v % mod + mod); } constexpr static int fn_ = (ll)2e6 + 5; static vectorfact, comp; modint pow(ll x) const { modint b(v), c(1); while (x) { if (x & 1) c *= b; b *= b; x >>= 1; } return c; } inline modint& s(int vv) { v = vv < mod ? vv : vv - mod; return *this; } inline modint inv()const { return pow(mod - 2); } inline modint operator-()const { return modint() - *this; } inline modint& operator+=(const modint b) { return s(v + b.v); } inline modint& operator-=(const modint b) { return s(v + mod - b.v); } inline modint& operator*=(const modint b) { v = v * b.v % mod; return *this; } inline modint& operator/=(const modint b) { v = v * b.inv().v % mod; return *this; } inline modint operator+(const modint& b) const { return modint(v) += b; } inline modint operator-(const modint& b) const { return modint(v) -= b; } inline modint operator*(const modint& b) const { return modint(v) *= b; } inline modint operator/(const modint& b) const { return modint(v) /= b; } friend ostream& operator<<(ostream& os, const modint& m) { return os << m.v; } friend istream& operator>>(istream& is, modint& m) { int x; is >> x; m = modint(x); return is; } bool operator<(const modint& r)const { return v < r.v; } bool operator>(const modint& r)const { return v > r.v; } bool operator<=(const modint& r)const { return v <= r.v; } bool operator>=(const modint& r)const { return v >= r.v; } bool operator==(const modint& r)const { return v == r.v; } bool operator!=(const modint& r)const { return v != r.v; } explicit operator bool()const { return v; } explicit operator int()const { return v; } modint comb(modint k) { if (k > *this) return modint(); if (fact.empty()) combinit(); if (v >= fn_) { if (k > *this - k) k = *this - k; modint tmp(1); for (int i = v; i >= v - k.v + 1; i--) tmp *= modint(i); return tmp * comp[k.v]; } return fact[v] * comp[k.v] * comp[v - k.v]; }//nCk modint perm(modint k) { if (k > *this) return modint(); if (fact.empty()) combinit(); if (v >= fn_) { modint tmp(1); for (int i = v; i >= v - k.v + 1; i--) tmp *= modint(i); return tmp; } return fact[v] * comp[v - k.v]; }//nPk static void combinit() { fact.assign(fn_, modint()); fact[0] = 1; for (int i = 1; i < fn_; i++) fact[i] = fact[i - 1] * modint(i); comp.assign(fn_, modint()); comp[fn_ - 1] = fact[fn_ - 1].inv(); for (int i = fn_ - 2; i >= 0; i--) comp[i] = comp[i + 1] * modint(i + 1); } }; using mint = modint; template<>vec mint::fact = vec(); template<>vec mint::comp = vec(); //-------------------------------------------------------------- template class LazySegmentTree { protected: using UPF = function; using QRF = function; using F = function; using ll = long long; int n, rr; vectordat; vectorlen; LazySegmentTree() {} LazySegmentTree(int size) { init(size); } LazySegmentTree(vector& v) { init(v); } virtual ~LazySegmentTree() {} virtual void eval(const T& par, T& a, const int& al) = 0; virtual void fold(T& par, const int& pl) = 0; virtual T proc(const T& a, const int& al, const T& b, const int& bl) = 0; public: void init(int size) { n = size, rr = 1; while (rr < n) rr <<= 1; dat.assign(2 * rr - 1, T()); len.assign(2 * rr - 1, 0); for (int i = 0; i < n; i++) { len[i + rr - 1] = 1; dat[i + rr - 1] = T(); } for (int i = rr - 2; i >= 0; i--) { len[i] = len[i * 2 + 1] + len[i * 2 + 2]; dat[i] = proc(dat[i * 2 + 1], len[i * 2 + 1], dat[i * 2 + 2], len[i * 2 + 2]); } } void init(vector& v) { n = (int)v.size(), rr = 1; while (rr < n) rr <<= 1; dat.assign(2 * rr - 1, T()); len.assign(2 * rr - 1, 0); for (int i = 0; i < n; i++) { dat[i + rr - 1] = v[i]; len[i + rr - 1] = 1; } for (int i = rr - 2; i >= 0; i--) { len[i] = len[i * 2 + 1] + len[i * 2 + 2]; dat[i] = proc(dat[i * 2 + 1], len[i * 2 + 1], dat[i * 2 + 2], len[i * 2 + 2]); } } //one point update void set(int at, T x) { update(0, at, at + 1, 0, rr, [x](T& a) {a = x; }); } void upd(int a, int b, UPF func) { upd(0, a, b, 0, rr, func); } T qry(int a, int b) { return qry(0, a, b, 0, rr); } T get0() { return dat[0]; } //func([a,i))==true, func([a,i+1))==false int lb(int a, int b, F func) { T e = T(); int lgt = 0; return lb(0, a, b, 0, rr, func, e, lgt); } //func([i,b))==true, func([i-1,b))==false int ub(int a, int b, F func) { T e = T(); int lgt = 0; return ub(0, a, b, 0, rr, func, e, lgt); } private: void upd(int i, const int& a, const int& b, int l, int r, UPF& func) { if (b <= l || r <= a) return; if (a <= l && r <= b) { func(dat[i], len[i]); return; } eval(dat[i], dat[i * 2 + 1], len[i * 2 + 1]); eval(dat[i], dat[i * 2 + 2], len[i * 2 + 2]); fold(dat[i], len[i]); upd(i * 2 + 1, a, b, l, (l + r) / 2, func); upd(i * 2 + 2, a, b, (l + r) / 2, r, func); dat[i] = proc(dat[i * 2 + 1], len[i * 2 + 1], dat[i * 2 + 2], len[i * 2 + 2]); } T qry(int i, const int& a, const int& b, int l, int r) { if (b <= l || r <= a) return T(); if (a <= l && r <= b) return dat[i]; eval(dat[i], dat[i * 2 + 1], len[i * 2 + 1]); eval(dat[i], dat[i * 2 + 2], len[i * 2 + 2]); fold(dat[i], len[i]); return proc(qry(i * 2 + 1, a, b, l, (l + r) / 2), len[i * 2 + 1], qry(i * 2 + 2, a, b, (l + r) / 2, r), len[i * 2 + 2]); } int lb(int i, int a, int b, int l, int r, F& func, T& wa, int& lgt) { if (b <= l || r <= a) return b; if (a <= l && r <= b) { if (func(proc(wa, lgt, dat[i], len[i]))) { wa = proc(wa, lgt, dat[i], len[i]); lgt += len[i]; return b; } if (r - l == 1) return l; } eval(dat[i], dat[i * 2 + 1], len[i * 2 + 1]); eval(dat[i], dat[i * 2 + 2], len[i * 2 + 2]); fold(dat[i], len[i]); int tmp = lb(i * 2 + 1, a, b, l, (l + r) / 2, func, wa, lgt); if (tmp < b) return tmp; return lb(i * 2 + 2, a, b, (l + r) / 2, r, func, wa, lgt); } int ub(int i, int a, int b, int l, int r, F& func, T& wa, int& lgt) { if (b <= l || r <= a) return a; if (a <= l && r <= b) { if (func(proc(dat[i], len[i], wa, lgt))) { wa = proc(dat[i], len[i], wa, lgt); lgt += len[i]; return a; } if (r - l == 1) return r; } eval(dat[i], dat[i * 2 + 1], len[i * 2 + 1]); eval(dat[i], dat[i * 2 + 2], len[i * 2 + 2]); fold(dat[i], len[i]); int tmp = ub(i * 2 + 2, a, b, (l + r) / 2, r, func, wa, lgt); if (tmp > a) return tmp; return ub(i * 2 + 1, a, b, l, (l + r) / 2, func, wa, lgt); } }; template class BIT { int size; vectordat; public: BIT() {} BIT(vectorv) { init(v); } BIT(int n) { init(n); } void init(int n) { size = n; dat.assign(size + 1, 0); } void init(vectorv) { init(v.size()); for (int i = 1; i <= size; i++) { dat[i] += v[i - 1]; if (i + (i & -i) <= size) dat[i + (i & -i)] += dat[i]; } } void add(int i, ll x) { i++; while (i <= size) { dat[i] += x; i += i & -i; } } void change(int i, ll x) { i++; int t = x - dat[i]; while (i <= size) { int k = dat[i]; dat[i] += t; t = dat[i] - k; i += i & -i; } } //[l,r) void add(int l, int r, ll x) { add(l, x); add(r, -x); } //[0,i] T query(int i) { i++; T sum = 0; while (i > 0) { sum += dat[i]; i -= i & -i; } return sum; } //[l,r) T query(int l, int r) { return query(r - 1) - query(l - 1); } //[0,x) >= w int lower_bound(T w) { if (w <= 0) return 0; int x = 0, k = 1; while (k * 2 < size) k *= 2; for (; k > 0; k /= 2) { if (x + k <= size && dat[x + k] < w) { w -= dat[x + k]; x += k; } } return x; } };//size, 0-indexed template class Segtree :public LazySegmentTree { using Base = LazySegmentTree; public: Segtree() {} Segtree(int size) { init(size); } Segtree(vector v) { init(v); } void init(int size) { Base::init(size); } void init(vector v) { vectorr(v.size()); for (int i = 0; i < v.size(); i++) r[i] = T(v[i], 0); Base::init(r); } void update(int a, int b, ll x) { Base::upd(a, b, [&x](T& dat, const int& len) { chmin(dat.v, x); }); } void add(int a, int b, ll x) { Base::upd(a, b, [&x](T& dat, const int& len) { dat.v += x; dat.l += x; }); } ll query(int a, int b) { return Base::qry(a, b).v; } T get0() { return Base::get0(); } private: void eval(const T& par, T& a, const int& al)override { a.v += par.l; a.l += par.l; } void fold(T& par, const int& pl) override { par.l = 0; } T proc(const T& a, const int& al, const T& b, const int& bl)override { return T(min(a.v, b.v), 0); } }; struct Mn { ll v, l; //val, lazy Mn() { v = inf, l = 0; } Mn(ll a, ll b) :v(a), l(b) {} }; //-------------------------------------------------------------- vi ap[200000], sl[200000], qry[200000]; signed main() { int n, q; cin >> n >> q; vi a; readv(a, n); BIT bit(n), bit2(n); vi st(n);//どこからなら行けるか? dequedq; rep(i, n) { if (dq.empty() || a[dq.back()] < a[i]) { st[i] = 0; } else { int ok = siz(dq)-1, ng = -1, mid; while (ok - ng > 1) { mid = (ok + ng) / 2; if (a[dq[mid]] > a[i]) ok = mid; else ng = mid; } st[i] = dq[ok] + 1; } ap[st[i]].pb(i); sl[i].pb(i); while (!dq.empty() && a[dq.front()] < a[i]) dq.pop_front(); dq.push_front(i); } vecqr; rep(i, q) { int l, r; cin >> l; cin >> l >> r; l--; qr.pb(H{ l,r }); qry[l].pb(i); } vi ans(q); rep(i, n) { for (auto g : ap[i]) { bit.add(g, 1); } for (auto g : qry[i]) { ans[g] = bit.query(qr[g].fs, qr[g].sc); } for (auto g : sl[i]) { bit.add(i, -1); } } for (auto g : ans) cout << g << endl; }