結果
| 問題 |
No.3116 More and more teleporter
|
| ユーザー |
 Today03
|
| 提出日時 | 2025-04-18 23:03:06 |
| 言語 | C++23 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
AC
|
| 実行時間 | 93 ms / 2,000 ms |
| コード長 | 6,983 bytes |
| コンパイル時間 | 4,121 ms |
| コンパイル使用メモリ | 281,320 KB |
| 実行使用メモリ | 16,844 KB |
| 最終ジャッジ日時 | 2025-04-18 23:03:14 |
| 合計ジャッジ時間 | 6,262 ms |
|
ジャッジサーバーID （参考情報） |
judge1 / judge3 |
（要ログイン）
| ファイルパターン | 結果 |
|---|---|
| other | AC * 22 |
ソースコード
#include <bits/stdc++.h>
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<typename T> using rpriority_queue=priority_queue<T,vector<T>,greater<T>>;
using ll=long long; const int INF=1e9+10; const ll INFL=4e18; using ld=long double; using ull=uint64_t;
using VI=vector<int>; using VVI=vector<VI>; using VL=vector<ll>; using VVL=vector<VL>;
using PL=pair<ll,ll>; using VP=vector<PL>; using WG=vector<vector<pair<int,ll>>>;
/// @brief セグメント木
template<typename Monoid>
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<Type>& v){
this->n=v.size();
dat.assign(n<<1,Monoid::id());
for(int i=0; i<n; i++) dat[i+n]=v[i];
for(int i=n-1; i>0; 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<r){
if(l&1) retl=Monoid::op(retl,dat[l++]);
if(r&1) retr=Monoid::op(dat[--r],retr);
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<typename F>
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<r){
if(l&1) cand_l.push_back(l++);
if(r&1) cand_r.push_back(--r);
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<n){
i<<=1;
if(f(Monoid::op(val,dat[i]))){
val=Monoid::op(val,dat[i]);
i|=1;
}
}
return i-n;
}
}
return n;
}
/// @brief 区間 [x, r) のモノイド積が f を満たすような最小の x <= r を返す
/// @attention `f(Monoid::id())=true` が成り立つ必要がある
/// @note O(log(N))
template<typename F>
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<r){
if(l&1) cand_l.push_back(l++);
if(r&1) cand_r.push_back(--r);
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<n){
i=(i<<1)|1;
if(f(Monoid::op(dat[i],val))){
val=Monoid::op(dat[i],val);
i^=1;
}
}
return i-n+1;
}
}
return 0;
}
/// @brief i 番目の要素を返す
/// @note O(1)
Type operator[](int i){ return dat[i+n]; }
/// @brief 配列のサイズを返す
int size(){ return n; }
private:
int n;
vector<Type> dat;
vector<int> cand,cand_l,cand_r;
};
/// @file monoid.hpp
/// @brief モノイド
namespace Monoid{
/// @brief Min モノイド
/// @tparam max_value 単位元
template<typename T,T max_value=INF>
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<typename T,T min_value=-INF>
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<typename T>
struct Sum{
using Type=T;
static Type id(){return 0;}
static Type op(const Type&a,const Type&b){return a+b;}
};
/// @brief （和，区間の長さ）
template<typename T>
struct SumPair{
using Type=pair<T,int>;
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<typename T, T max_value=INF>
struct Min{ using Type=struct SegTree<Monoid::Min<T,max_value>>; };
/// @brief 1点変更 / 区間 max
template<typename T, T min_value=-INF>
struct Max{ using Type=struct SegTree<Monoid::Max<T,min_value>>; };
/// @brief 1点変更 / 区間和
template<typename T>
struct Sum{ using Type=struct SegTree<Monoid::Sum<T>>; };
}
struct Mon{
using Type=pair<ll,ll>;
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<ll,ll>;
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<Mon>(init);
auto seg2=SegTree<Mon2>(init);
while(Q--){
int t; cin>>t;
if(t==1){
int x; cin>>x; x--;
cout<<min(seg.fold(0,x+1).first,seg2.fold(x,N).first)<<'\n';
}
else{
ll x,y; cin>>x>>y; x--;
ll mn=min(seg.fold(0,x+1).first,y);
seg.set(x,{mn,1});
seg2.set(x,{mn,1});
}
}
}