/* このコード、と~おれ! Be accepted! ∧_∧  (。・ω・。)つ━☆・*。 ⊂   ノ    ・゜+.  しーJ   °。+ *´¨)          .· ´¸.·*´¨) ¸.·*¨)           (¸.·´ (¸.·'* ☆ */ #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include //#pragma GCC target("arch=skylake-avx512") //#pragma GCC target("avx2") //#pragma GCC optimize("O3") //#pragma GCC optimize("Ofast") //#pragma GCC target("sse4") //#pragma GCC optimize("unroll-loops") //#pragma GCC target("sse,sse2,sse3,ssse3,sse4,popcnt,abm,mmx,avx,tune=native") #define repeat(i, n, m) for(int i = n; i < (m); ++i) #define rep(i, n) for(int i = 0; i < (n); ++i) #define printynl(a) printf(a ? "yes\n" : "no\n") #define printyn(a) printf(a ? "Yes\n" : "No\n") #define printYN(a) printf(a ? "YES\n" : "NO\n") #define printim(a) printf(a ? "possible\n" : "imposible\n") #define printdb(a) printf("%.50lf\n", a) #define printLdb(a) printf("%.50Lf\n", a) #define printdbd(a) printf("%.16lf\n", a) #define prints(s) printf("%s\n", s.c_str()) #define all(x) (x).begin(), (x).end() #define deg_to_rad(deg) (((deg)/360.0L)*2.0L*PI) #define rad_to_deg(rad) (((rad)/2.0L/PI)*360.0L) #define Please return #define AC 0 #define manhattan_dist(a, b, c, d) (abs(a - c) + abs(b - d)) using ll = long long; using ull = unsigned long long; constexpr int INF = 1073741823; constexpr int MINF = -1073741823; constexpr ll LINF = ll(4661686018427387903); constexpr ll MOD = 1e9 + 7; constexpr ll mod = 998244353; constexpr long double eps = 1e-6; const long double PI = acosl(-1.0L); using namespace std; void scans(string& str) { char c; str = ""; scanf("%c", &c); if (c == '\n')scanf("%c", &c); while (c != '\n' && c != -1 && c != ' ') { str += c; scanf("%c", &c); } } void scanc(char& str) { char c; scanf("%c", &c); if (c == -1)return; while (c == '\n') { scanf("%c", &c); } str = c; } double acot(double x) { return PI / 2 - atan(x); } ll LSB(ll n) { return (n & (-n)); } template inline T chmin(T& a, const T& b) { if (a > b)a = b; return a; } template inline T chmax(T& a, const T& b) { if (a < b)a = b; return a; } //cpp_int #if __has_include() #include #include using namespace boost::multiprecision; #else using cpp_int = ll; #endif //atcoder library #if __has_include() #include //using namespace atcoder; #endif /* random_device seed_gen; mt19937 engine(seed_gen()); uniform_int_distribution dist(1, 100); */ /*----------------------------------------------------------------------------------*/ /* * @title segment-tree * @docs kyopro/docs/segtree.md */ //セグ木/0-indexed/非再帰/(大きさ, 単位元)で初期化 template struct segtree { //木を配列であらわしたもの vector seg; //木の1/2の大きさ int siz; //単位元 const T e; ////比較関数の型 //using F = function; //マージする関数 const F f; //n の大きさ, a (単位元) で segtree を初期化する segtree(int n, const T a, const F f) : e(a), f(f) { siz = 1; while (siz < n)siz <<= 1; seg.assign(2 * siz - 1, e); --siz; } //k (0-indexed) 番目に t を代入 void set(int k, const T& t) { seg[k + siz] = t; } //f によって木を構築 void build() { for (int i = siz - 1; i >= 0; --i) seg[i] = f(seg[i * 2 + 1], seg[i * 2 + 2]); } //i 番目の要素を返す T operator[](const int i) { return seg[i + siz]; } //k 番目の値を a に更新 void update(int k, T a) { k += siz; //必要であればここを変える seg[k] = a; while (k > 0) { k = ((k - 1) >> 1); seg[k] = f(seg[k * 2 + 1], seg[k * 2 + 2]); } } //[a, b) について f した結果を返す T query(int a, int b) { T l = e, r = e; for (a += siz, b += siz; 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); } //[start, end) について、[l, r) を調べながら k 番目が check を満たすか二分探索 最後が true なら left, false なら right fの逆演算 template int find(const int start, const int end, int l, int r, int k, const C check, T& checknum, const bool b, const FT revf) { //cerr << checknum << '\n'; //範囲外またはそこがすでに満たさないとき //cerr << k << ',' << checknum << '\n'; if (start <= l && r <= end && !check(seg[k], checknum)) { checknum = revf(checknum, seg[k]); return -1; } if ((r <= start || l >= end)) { return -1; } //既に葉 if (k >= siz) { return k - siz; } int res; if (b) { //左側を調べる res = find< C, FT >(start, end, l, ((l + r) >> 1), (k << 1) + 1, check, checknum, b, revf); //左側が適してたらそれが答え if (res != -1)return (res); return find< C, FT >(start, end, ((l + r) >> 1), r, (k << 1) + 2, check, checknum, b, revf); } else { //右側を調べる res = find< C, FT >(start, end, ((l + r) >> 1), r, (k << 1) + 2, check, checknum, b, revf); //右側が適してたらそれが答え if (res != -1)return (res); return find< C, FT >(start, end, l, ((l + r) >> 1), (k << 1) + 1, check, checknum, b, revf); } } template int find_left(int start, int end, const C check, T checknum, FT revf) { return find< C, FT >(start, end, 0, siz + 1, 0, check, checknum, true, revf); } template int find_right(int start, int end, const C check, T checknum, FT revf) { return find< C, FT >(start, end, 0, siz + 1, 0, check, checknum, false, revf); } }; template segtree get_segtree(int n, const T& e, const F& f) { return { n, e, f }; } int main() { int n, k, q; scanf("%d%d%d", &n, &k, &q); vector> query(k); vector>> ad(n + 1), rm(n + 1); rep(i, k) { auto& [a, b] = query[i]; int l, r; scanf("%d%d%d%lld", &l, &r, &a, &b); --l; ad[l].push_back({ i, b }); rm[r].push_back({ i, b }); } auto seg = get_segtree(k, 0ll, plus()); seg.build(); vector ans(q); vector>> qu(n); rep(i, q) { int l, x; scanf("%d%d", &l, &x); --l; qu[l].push_back({ i, x }); } rep(i, n) { for (const auto& [idx, a] : ad[i]) { seg.update(idx, seg[idx] + a); } for (const auto& [idx, a] : rm[i]) { seg.update(idx, seg[idx] - a); } for (const auto& [idx, num] : qu[i]) { int ng = -1, ok = k - 1; if (seg.query(0, k) < num)ans[idx] = -1; else { while (abs(ng - ok) > 1) { int mid = (ng + ok) / 2; if (seg.query(0, mid + 1) >= num)ok = mid; else ng = mid; } ans[idx] = query[ok].first; } } } for (const auto& aa : ans)printf("%d\n", aa); Please AC; }