#include using namespace std; #define ALL(x) (x).begin(),(x).end() #define IO ios::sync_with_stdio(false),cin.tie(nullptr); #define LB(v, x) (ll)(lower_bound(ALL(v),x)-(v).begin()) #define UQ(v) sort(ALL(v)),(v).erase(unique(ALL(v)),v.end()) #define REP(i, n) for(ll i=0; i<(ll)(n); i++) #define FOR(i, a, b) for(ll i=(ll)(a); (a)<(b) ? i<(b) : i>(b); i+=((a)<(b) ? 1 : -1)) #define chmax(a, b) ((a)<(b) ? ((a)=(b), 1) : 0) #define chmin(a, b) ((a)>(b) ? ((a)=(b), 1) : 0) template using rpriority_queue=priority_queue,greater>; using ll=long long; const int INF=1e9+10; const ll INFL=4e18; using ld=long double; using ull=uint64_t; using VI=vector; using VVI=vector; using VL=vector; using VVL=vector; using PL=pair; using VP=vector; using WG=vector>>; /// @brief セグメント木 template struct SegTree{ using Type=typename Monoid::Type; SegTree()=default; /// @brief 要素数 n のセグ木を構築する SegTree(int n){ this->n=n; dat.assign(n<<1,Monoid::id()); cand.reserve(100),cand_l.reserve(100),cand_r.reserve(100); } /// @brief 配列 v からセグ木を構築する /// @note O(N) SegTree(const vector& v){ this->n=v.size(); dat.assign(n<<1,Monoid::id()); for(int i=0; i0; i--) dat[i]=Monoid::op(dat[i<<1],dat[i<<1|1]); cand.reserve(100),cand_l.reserve(100),cand_r.reserve(100); } /// @brief i 番目の要素を x に変更する /// @note O(log(N)) void set(int i, Type x){ i+=n; dat[i]=x; while(i>>=1) dat[i]=Monoid::op(dat[i<<1],dat[i<<1|1]); } /// @brief 区間 [l, r) のモノイド積を返す /// @note O(log(N)) Type fold(int l, int r){ Type retl=Monoid::id(),retr=Monoid::id(); l+=n,r+=n; while(l>=1,r>>=1; } return Monoid::op(retl,retr); } /// @brief 区間 [l, x) のモノイド積が f を満たすような最大の x >= l を返す /// @attention `f(Monoid::id())=true` が成り立つ必要がある /// @note O(log(N)) template int find_right(int l, F f){ assert(f(Monoid::id())); if(l==n) return n; l+=n; int r=n+n; cand_l.clear(),cand_r.clear(); while(l>=1,r>>=1; } cand=cand_l; reverse(cand_r.begin(),cand_r.end()); cand.insert(cand.end(),cand_r.begin(),cand_r.end()); Type val=Monoid::id(); for(int i:cand){ if(f(Monoid::op(val,dat[i]))){ val=Monoid::op(val,dat[i]); }else{ while(i int find_left(int r,F f){ assert(f(Monoid::id())); if(r==0) return 0; r+=n; int l=n; cand_l.clear(),cand_r.clear(); while(l>=1,r>>=1; } cand=cand_r; reverse(cand_l.begin(),cand_l.end()); cand.insert(cand.end(),cand_l.begin(),cand_l.end()); Type val=Monoid::id(); for(int i:cand){ if(f(Monoid::op(dat[i],val))){ val=Monoid::op(dat[i],val); }else{ while(i dat; vector cand,cand_l,cand_r; }; /// @file monoid.hpp /// @brief モノイド namespace Monoid{ /// @brief Min モノイド /// @tparam max_value 単位元 template struct Min{ using Type=T; static Type id(){return max_value;} static Type op(const Type&a,const Type&b){return min(a,b);} }; /// @brief Max モノイド /// @tparam min_value 単位元 template struct Max{ using Type=T; static Type id(){return min_value;} static Type op(const Type&a,const Type&b){return max(a,b);} }; /// @brief 和 template struct Sum{ using Type=T; static Type id(){return 0;} static Type op(const Type&a,const Type&b){return a+b;} }; /// @brief (和,区間の長さ) template struct SumPair{ using Type=pair; static Type id(){return make_pair(T(0),0);} static Type op(const Type&a,const Type&b){return{a.first+b.first,a.second+b.second};} }; } /// @brief 区間クエリ namespace RangeQuery{ /// @brief 1点変更 / 区間 min template struct Min{ using Type=struct SegTree>; }; /// @brief 1点変更 / 区間 max template struct Max{ using Type=struct SegTree>; }; /// @brief 1点変更 / 区間和 template struct Sum{ using Type=struct SegTree>; }; } struct Mon{ using Type=pair; static Type op(Type l, Type r){ return {min(r.first,l.first+r.second),l.second+r.second}; } static Type id(){ return {INF,0}; } }; struct Mon2{ using Type=pair; static Type op(Type l, Type r){ return {min(l.first,r.first+l.second),l.second+r.second}; } static Type id(){ return {INF,0}; } }; int main(){ IO; int N,Q; cin>>N>>Q; VP init(N); REP(i,N) init[i]={i,1}; auto seg=SegTree(init); auto seg2=SegTree(init); while(Q--){ int t; cin>>t; if(t==1){ int x; cin>>x; x--; cout<>x>>y; x--; ll mn=min(seg.fold(0,x+1).first,y); seg.set(x,{mn,1}); seg2.set(x,{mn,1}); } } }