#line 1 ".lib/template.hpp" #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #define allof(obj) (obj).begin(), (obj).end() #define range(i, l, r) for(int i=l;i>1)|y_bit)) #define bit_kth(i, k) ((i >> k)&1) #define bit_highest(i) (i?63-__builtin_clzll(i):-1) #define bit_lowest(i) (i?__builtin_ctzll(i):-1) #define sleepms(t) std::this_thread::sleep_for(std::chrono::milliseconds(t)) using ll = long long; using ld = long double; using ul = uint64_t; using pi = std::pair; using pl = std::pair; using namespace std; template std::ostream &operator<<(std::ostream &dest, const std::pair &p){ dest << p.first << ' ' << p.second; return dest; } template std::ostream &operator<<(std::ostream &dest, const std::vector> &v){ int sz = v.size(); if(sz==0) return dest; for(int i=0;i std::ostream &operator<<(std::ostream &dest, const std::vector &v){ int sz = v.size(); if(sz==0) return dest; for(int i=0;i std::ostream &operator<<(std::ostream &dest, const std::array &v){ if(sz==0) return dest; for(int i=0;i std::ostream &operator<<(std::ostream &dest, const std::set &v){ for(auto itr=v.begin();itr!=v.end();){ dest << *itr; itr++; if(itr!=v.end()) dest << ' '; } return dest; } template std::ostream &operator<<(std::ostream &dest, const std::map &v){ for(auto itr=v.begin();itr!=v.end();){ dest << '(' << itr->first << ", " << itr->second << ')'; itr++; if(itr!=v.end()) dest << '\n'; } return dest; } template vector make_vec(size_t sz, T val){return std::vector(sz, val);} template auto make_vec(size_t sz, Tail ...tail){ return std::vector(tail...))>(sz, make_vec(tail...)); } template vector read_vec(size_t sz){ std::vector v(sz); for(int i=0;i<(int)sz;i++) std::cin >> v[i]; return v; } template auto read_vec(size_t sz, Tail ...tail){ auto v = std::vector(tail...))>(sz); for(int i=0;i<(int)sz;i++) v[i] = read_vec(tail...); return v; } void io_init(){ std::cin.tie(nullptr); std::ios::sync_with_stdio(false); } #line 2 "b.cpp" template struct lichao_tree{ static constexpr Val inf = std::numeric_limits::max(); Val x_low, x_high; struct line{ Val a, b, c; line(Val a, Val b, Val c): a(a), b(b), c(c){} inline Val get(Val x){return a * x * x + b * x + c;} bool operator != (const line &r){return a != r.a || b != r.b;} }; private: struct node{ line x; node *l, *r; node(const line &x) : x(x), l(nullptr), r(nullptr){} }; node *root; node *add_line(node *v, line &x, Val l, Val r, Val x_l, Val x_r){ if(!v) return new node(x); Val t_l = v->x.get(l), t_r = v->x.get(r); if(l + 1 == r){ if(x_l < t_l) v->x = x; return v; }else if(t_l <= x_l && t_r <= x_r){ return v; }else if(t_l >= x_l && t_r >= x_r){ v->x = x; return v; }else{ Val m = (l + r) / 2; Val t_m = v->x.get(m), x_m = x.get(m); if(t_m > x_m){ std::swap(v->x, x); if(x_l >= t_l) v->l = add_line(v->l, x, l, m, t_l, t_m); else v->r = add_line(v->r, x, m, r, t_m, t_r); }else{ if(t_l >= x_l) v->l = add_line(v->l, x, l, m, x_l, x_m); else v->r = add_line(v->r, x, m, r, x_m, x_r); } return v; } } node *add_segment(node *v, line &x, Val a, Val b, Val l, Val r, Val x_l, Val x_r){ if(r <= a || b <= l) return v; if(a <= l && r <= b){ line y(x); return add_line(v, y, l, r, x_l, x_r); } if(v){ Val t_l = v->x.get(l), t_r = v->x.get(r); if(t_l <= x_l && t_r <= x_r) return v; }else{ v = new node(line(0, inf)); } Val m = (l + r) / 2; Val x_m = x.get(m); v->l = add_segment(v->l, x, a, b, l, m, x_l, x_m); v->r = add_segment(v->r, x, a, b, m, r, x_m, x_r); return v; } Val min(node *v, Val l, Val r, Val x){ if(!v) return inf; if(l + 1 == r) return v->x.get(x); Val m = (l + r) / 2; if(x < m) return std::min(v->x.get(x), min(v->l, l, m, x)); else return std::min(v->x.get(x), min(v->r, m, r, x)); } line min2(node *v, Val l, Val r, Val x){ if(!v) return line(0, inf); if(l + 1 == r) return v->x; Val m = (l + r) / 2; if(x < m){ line res = min2(v->l, l, m, x); return v->x.get(x) <= res.get(x) ? v->x : res; }else{ line res = min2(v->r, m, r, x); return v->x.get(x) <= res.get(x) ? v->x : res; } } // 定数倍高速化できそうだが, addがボトルネックになりがちなのでとりあえずこれで void enumerate(node *v, Val l, Val r, std::vector &L, std::vector> &res){ L.push_back(v->x); Val m = (l + r) / 2; auto calc = [&](Val lx, Val rx)->void{ while(true){ line a = min2(lx); if(res.empty() || res.back().second != a) res.push_back({lx, a}); if(a.b == inf) return; Val intersection = rx; // min(ceil(交点)) line next_line = line(0, inf); for(int i = 0; i < L.size(); i++){ if(L[i].b == inf || L[i].a >= a.a) continue; // (a.a - L[i].a) x = L[i].b - a.b Val diff_a = a.a - L[i].a; Val ceil_x = (L[i].b - a.b + diff_a - 1) / diff_a; if(lx < ceil_x && ceil_x < intersection){ assert(lx < ceil_x); next_line = L[i]; intersection = ceil_x; } } if(intersection == rx) break; lx = intersection; } }; if(v->l && v->r){ enumerate(v->l, l, m, L, res); enumerate(v->r, m, r, L, res); }else if(!v->l && !v->r){ calc(l, r); }else if(!v->l){ calc(l, m); enumerate(v->r, m, r, L, res); }else{ enumerate(v->l, l, m, L, res); calc(m, r); } L.pop_back(); } public: lichao_tree(Val x_low, Val x_high): x_low(x_low), x_high(x_high), root(nullptr){} // 直線ax + bを追加 void add_line(Val a, Val b, Val c){ line x(a, b, c); root = add_line(root, x, x_low, x_high + 1, x.get(x_low), x.get(x_high + 1)); } // 線分ax + b, [l, r)を追加 void add_segment(Val l, Val r, Val a, Val b, Val c){ line x(a, b); root = add_segment(root, x, l, r, x_low, x_high + 1, x.get(x_low), x.get(x_high + 1)); } // f(x)の最小値 Val min(Val x){ return min(root, x_low, x_high + 1, x); } // f(x)の最小値をとる線 line min2(Val x){ return min2(root, x_low, x_high + 1, x); } // {l, f}, fはl, (次のl)において最小値を取る std::vector> enumerate(){ if(!root) return {{x_low, line(0, inf)}}; std::vector> res; std::vector L; enumerate(root, x_low, x_high + 1, L, res); return res; } }; int main(){ ll a; std::cin >> a; int q; std::cin >> q; ll inf_x = 200000000; lichao_tree<__int128_t> cht(-inf_x, inf_x); range(i, 0, q){ int _; std::cin >> _; if(_ == 1){ ll s, t; std::cin >> s >> t; cht.add_line(a, -a * (s + t), a * t * s); }else{ ll t; std::cin >> t; __int128_t ans = cht.min(t); if(ans > 0){ std::cout << 0 << '\n'; }else{ std::cout << (ll)-ans << '\n'; } } } }