結果
問題 | No.878 Range High-Element Query |
ユーザー | outline |
提出日時 | 2021-02-21 11:00:59 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 586 ms / 2,000 ms |
コード長 | 5,997 bytes |
コンパイル時間 | 1,494 ms |
コンパイル使用メモリ | 149,876 KB |
実行使用メモリ | 6,632 KB |
最終ジャッジ日時 | 2024-09-19 08:24:38 |
合計ジャッジ時間 | 6,777 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge2 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
5,248 KB |
testcase_01 | AC | 3 ms
5,376 KB |
testcase_02 | AC | 3 ms
5,376 KB |
testcase_03 | AC | 2 ms
5,376 KB |
testcase_04 | AC | 2 ms
5,376 KB |
testcase_05 | AC | 3 ms
5,376 KB |
testcase_06 | AC | 2 ms
5,376 KB |
testcase_07 | AC | 2 ms
5,376 KB |
testcase_08 | AC | 4 ms
5,376 KB |
testcase_09 | AC | 3 ms
5,376 KB |
testcase_10 | AC | 3 ms
5,376 KB |
testcase_11 | AC | 515 ms
6,424 KB |
testcase_12 | AC | 495 ms
5,824 KB |
testcase_13 | AC | 342 ms
5,596 KB |
testcase_14 | AC | 240 ms
5,376 KB |
testcase_15 | AC | 445 ms
5,792 KB |
testcase_16 | AC | 545 ms
6,492 KB |
testcase_17 | AC | 580 ms
6,632 KB |
testcase_18 | AC | 586 ms
6,628 KB |
ソースコード
#include <iostream> #include <vector> #include <algorithm> #include <cmath> #include <queue> #include <string> #include <map> #include <set> #include <stack> #include <tuple> #include <deque> #include <array> #include <numeric> #include <bitset> #include <iomanip> #include <cassert> #include <chrono> #include <random> #include <limits> #include <iterator> #include <functional> #include <sstream> #include <fstream> #include <complex> #include <cstring> #include <unordered_map> #include <unordered_set> using namespace std; using ll = long long; constexpr int INF = 1001001001; constexpr int mod = 1000000007; // constexpr int mod = 998244353; template<class T> inline bool chmax(T& x, T y){ if(x < y){ x = y; return true; } return false; } template<class T> inline bool chmin(T& x, T y){ if(x > y){ x = y; return true; } return false; } template<typename Monoid> struct SegmentTree{ using F = function<Monoid(Monoid, Monoid)>; int sz; vector<Monoid> seg; const F f; const Monoid M1; SegmentTree(const F f, const Monoid& M1) : f(f), M1(M1) {} SegmentTree(int n, const F f, const Monoid &M1) : f(f), M1(M1) { sz = 1; while(sz < n) sz <<= 1; seg.assign(2 * sz, M1); } void resize(int n){ sz = 1; while(sz < n) sz <<= 1; seg.assign(2 * sz, M1); } void set(int k, const Monoid &x){ seg[k + sz] = x; } void build(){ for(int k = sz - 1; k > 0; --k){ seg[k] = f(seg[k << 1], seg[k << 1 | 1]); } } void update(int k, const Monoid &x){ k += sz; seg[k] = x; while(k >>= 1){ seg[k] = f(seg[k << 1], seg[k << 1 | 1]); } } Monoid query(int a, int b){ Monoid L = M1, R = M1; for(a += sz, b += sz; a < b; a >>= 1, b >>= 1){ if(a & 1) L = f(L, seg[a++]); if(b & 1) R = f(seg[--b], R); } return f(L, R); } Monoid operator[](const int &k) const{ return seg[k + sz]; } // (type = true) : find_last // (type = false) : find_first template<typename C> int find_subtree(int a, const C &check, Monoid &M, bool type){ while(a < sz){ Monoid nxt = type ? f(seg[a << 1 | type], M) : f(M, seg[a << 1 | type]); if(check(nxt)) a = a << 1 | type; else M = nxt, a = 2 * a + 1 - type; } return a - sz; } template<typename C> int find_first(int a, const C &check){ Monoid L = M1; if(a <= 0){ if(check(f(L, seg[1]))) return find_subtree(1, check, L, false); return -1; } int b = sz; for(a += sz, b += sz; a < b; a >>= 1, b >>= 1){ if(a & 1){ Monoid nxt = f(L, seg[a]); if(check(nxt)) return find_subtree(a, check, L, false); L = nxt; ++a; } } return -1; } template<typename C> int find_last(int b, const C &check){ Monoid R = M1; if(b >= sz){ if(check(f(seg[1], R))) return find_subtree(1, check, R, true); return -1; } int a = sz; for(b += sz; a < b; a >>= 1, b >>= 1){ if(b & 1){ Monoid nxt = f(seg[--b], R); if(check(nxt)) return find_subtree(b, check, R, true); R = nxt; } } return -1; } }; template<typename T> struct BinaryIndexedTree{ vector<T> data; int sz; BinaryIndexedTree(int n){ sz = n + 2; data.assign(sz, 0); } void add(int i, T x){ ++i; while(i < sz){ data[i] += x; i += i & -i; } } // [0, i] の区間和 T sum(int i){ T res = 0; ++i; while(i > 0){ res += data[i]; i -= i & -i; } return res; } // [l, r) の区間和 T sum(int l, int r){ if(l > r) return 0; return sum(r - 1) - sum(l - 1); } // val 以上を満たす 0-indexed の位置を返す int lower_bound(T val){ // if(val <= 0) return -1; int res = 0; int n = 1; while(n < sz) n <<= 1; for(int k = n >> 1; k > 0; k >>= 1){ if(res + k < sz && data[res + k] < val){ val -= data[res + k]; res += k; } } return res; // 1-indexed であれば、res + 1 を返す } }; int main(){ ios::sync_with_stdio(false); cin.tie(nullptr); int N, Q, a; cin >> N >> Q; SegmentTree<int> seg(N + 1, [](int a, int b){return max(a, b);}, 0); seg.set(0, N + 3); for(int i = 1; i <= N; ++i){ cin >> a; seg.set(i, a); } seg.build(); vector<int> more_than_pos(N + 1); for(int i = 1; i <= N; ++i){ a = seg[i]; auto check = [&](int x){return x > a;}; more_than_pos[i] = seg.find_last<decltype(check)>(i, check); } using query = tuple<int, int, int>; vector<query> qs; for(int i = 0; i < Q; ++i){ int t, l, r; cin >> t >> l >> r; qs.emplace_back(l, r + 1, i); } constexpr int B = 300; sort(begin(qs), end(qs), [&](const query& a, const query& b){ if(get<0>(a) / B == get<0>(b) / B) return get<1>(a) < get<1>(b); return get<0>(a) < get<0>(b); }); vector<int> ans(Q); int l = 1, r = 1; BinaryIndexedTree<int> bit(N + 5); for(auto& [l2, r2, i] : qs){ while(r < r2) bit.add(more_than_pos[r++], 1); while(r > r2) bit.add(more_than_pos[--r], -1); while(l < l2) bit.add(more_than_pos[l++], -1); while(l > l2) bit.add(more_than_pos[--l], 1); ans[i] = r2 - l2 - bit.sum(l2, r2); } for(int i = 0; i < Q; ++i) cout << ans[i] << '\n'; return 0; }