結果
問題 | No.1768 The frog in the well knows the great ocean. |
ユーザー | 👑 potato167 |
提出日時 | 2021-11-27 01:39:43 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 225 ms / 3,000 ms |
コード長 | 6,053 bytes |
コンパイル時間 | 2,595 ms |
コンパイル使用メモリ | 218,956 KB |
実行使用メモリ | 23,292 KB |
最終ジャッジ日時 | 2024-06-29 19:20:37 |
合計ジャッジ時間 | 6,954 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge5 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 1 ms
5,248 KB |
testcase_01 | AC | 8 ms
5,376 KB |
testcase_02 | AC | 8 ms
5,376 KB |
testcase_03 | AC | 8 ms
5,376 KB |
testcase_04 | AC | 9 ms
5,376 KB |
testcase_05 | AC | 9 ms
5,376 KB |
testcase_06 | AC | 177 ms
8,220 KB |
testcase_07 | AC | 188 ms
11,640 KB |
testcase_08 | AC | 170 ms
10,368 KB |
testcase_09 | AC | 174 ms
8,384 KB |
testcase_10 | AC | 186 ms
12,040 KB |
testcase_11 | AC | 198 ms
12,456 KB |
testcase_12 | AC | 203 ms
12,452 KB |
testcase_13 | AC | 197 ms
12,452 KB |
testcase_14 | AC | 193 ms
12,580 KB |
testcase_15 | AC | 195 ms
12,324 KB |
testcase_16 | AC | 225 ms
21,504 KB |
testcase_17 | AC | 217 ms
21,248 KB |
testcase_18 | AC | 210 ms
21,316 KB |
testcase_19 | AC | 207 ms
21,492 KB |
testcase_20 | AC | 209 ms
21,408 KB |
testcase_21 | AC | 2 ms
5,376 KB |
testcase_22 | AC | 2 ms
5,376 KB |
testcase_23 | AC | 2 ms
5,376 KB |
testcase_24 | AC | 56 ms
5,376 KB |
testcase_25 | AC | 132 ms
23,288 KB |
testcase_26 | AC | 130 ms
23,292 KB |
testcase_27 | AC | 2 ms
5,376 KB |
ソースコード
#include <bits/stdc++.h> #pragma GCC optimize("Ofast") #define _GLIBCXX_DEBUG using namespace std; using std::cout; using std::cin; using std::endl; using ll=long long; using ld=long double; ll ILL=1167167167167167167; const int INF=2100000000; const ll mod=1e9+7; #define rep(i,a) for (int i=0;i<a;i++) template<class T> using _pq = priority_queue<T, vector<T>, greater<T>>; template<class T> ll LB(vector<T> &v,T a){return lower_bound(v.begin(),v.end(),a)-v.begin();} template<class T> ll UB(vector<T> &v,T a){return upper_bound(v.begin(),v.end(),a)-v.begin();} template<class T> bool chmin(T &a,const T &b){if(a>b){a=b;return 1;}else return 0;} template<class T> bool chmax(T &a,const T &b){if(a<b){a=b;return 1;}else return 0;} template<class T> void So(vector<T> &v) {sort(v.begin(),v.end());} template<class T> void Sore(vector<T> &v) {sort(v.begin(),v.end(),[](T x,T y){return x>y;});} void yneos(bool a){if(a) cout<<"Yes\n"; else cout<<"No\n";} namespace po167{ template <class T,T (*op)(T,T),T(*e)()> struct segment_tree{ int _n,size; std::vector<T> seg; int ceil_pow2(int a){ int b=1; while(a>b){ b<<=1; } return b; } void update(int k){seg[k]=op(seg[k*2],seg[k*2+1]);}; segment_tree(int n) :_n(n){ size=ceil_pow2(n); seg=std::vector<T>(size*2,e()); } segment_tree(std::vector<T> &p) :_n((int) p.size()){ size=ceil_pow2(_n); seg=std::vector<T>(size*2,e()); for(int i=0;i<_n;i++) seg[i+size]=p[i]; for(int i=size-1;i>0;i--) update(i); } void set(int ind,T val){ assert(0<=ind&&ind<_n); ind+=size; seg[ind]=val; while(ind!=1){ ind>>=1; update(ind); } } T get(int ind){ assert(0<=ind&&ind<_n); return seg[ind+size]; } T query(int l,int r){ assert(0<=l&&l<=r&&r<=_n); T l_val=e(); T r_val=e(); l+=size,r+=size; while(l<r){ if(l&1) l_val=op(l_val,seg[l]),l+=1; if(r&1) r-=1,r_val=op(seg[r],r_val); r>>=1; l>>=1; } return op(l_val,r_val); } template <bool (*f)(T)> int max_right(int l) { return max_right(l, [](T x) { return f(x); }); } template <class F> int max_right(int l, F f) { assert(0<=l&&l<=_n); assert(f(e())); if(f(query(l,_n))) return _n; T val=e(); l+=size; while(true){ while(l%2==0) l>>=1; if(!f(op(val,seg[l]))){ while(l<size){ l*=2; if(f(op(val,seg[l]))){ val=op(val,seg[l]); l++; } } return l-size; } val=op(val,seg[l]); l++; } } template <bool (*f)(T)> int min_left(int r) { return min_left(r, [](T x) { return f(x); }); } template <class F> int min_left(int r, F f) { assert(0 <= r && r <= _n); assert(f(e())); if (r == 0) return 0; r += size; T sm = e(); do { r--; while (r > 1 && (r % 2)) r >>= 1; if (!f(op(seg[r], sm))) { while (r < size) { r = (2 * r + 1); if (f(op(seg[r], sm))) { sm = op(seg[r], sm); r--; } } return r + 1 - size; } sm = op(seg[r], sm); } while ((r & -r) != r); return 0; } }; } using po167::segment_tree; using F= int; F op1(F a,F b){return max(a,b);} F e1(){return -1;} F op2(F a,F b){return min(a,b);} F e2(){return INF;} int target; bool f1(F x){ return (x<=target); } bool f2(F x){ return (x>=target); } namespace po167{ template<class T> struct my_set_max{ priority_queue<T> exist; priority_queue<T> absent; void op(){ while(!absent.empty()&&exist.top()==absent.top()){ exist.pop(); absent.pop(); } } size_t size(){ op(); return exist.size()-absent.size(); } T get(){ op(); return exist.top(); } void insert(T a){ exist.push(a); } void delate(T a){ absent.push(a); } }; template<class T> struct my_set_min{ priority_queue<T, vector<T>, greater<T>> exist; priority_queue<T, vector<T>, greater<T>> absent; void op(){ while(!absent.empty()&&exist.top()==absent.top()){ exist.pop(); absent.pop(); } } T get(){ op(); return exist.top(); } size_t size(){ op(); return exist.size()-absent.size(); } void insert(T a){ exist.push(a); } void delate(T a){ absent.push(a); } }; template<class T> struct my_set_med{ my_set_max<T> pq_left; my_set_min<T> pq_right; void op(){ while(pq_left.size()>pq_right.size()){ T tmp=pq_left.get(); pq_left.delate(tmp); pq_right.insert(tmp); } while(pq_left.size()<pq_right.size()){ T tmp=pq_right.get(); pq_right.delate(tmp); pq_left.insert(tmp); } } void insert(T a){ if(pq_left.size()!=0&&pq_left.get()>a) pq_left.insert(a); else pq_right.insert(a); } void delate(T a){ if(pq_left.size()!=0&&pq_left.get()>=a) pq_left.delate(a); else pq_right.delate(a); } std::pair<T,T> get(){ op(); assert(pq_left.size()!=0); if(pq_left.size()==pq_right.size()){ return {pq_left.get(),pq_right.get()}; } else return {pq_left.get(),pq_left.get()}; } size_t size(){ return pq_left.size()+pq_right.size(); } }; } using po167::my_set_max; using po167::my_set_min; using po167::my_set_med; void solve(); // rainy ~ 雨に打たれて ~ int main() { ios::sync_with_stdio(false); cin.tie(nullptr); int t=1; cin>>t; rep(i,t) solve(); } void solve(){ int N; cin>>N; vector<int> p(N),q(N),ans(N,-1); rep(i,N) cin>>p[i]; rep(i,N) cin>>q[i]; segment_tree<F,op1,e1> seg1(p); segment_tree<F,op2,e2> seg2(q); vector<int> ind(N); rep(i,N) ind[i]=i; sort(ind.begin(),ind.end(),[&](int l,int r){ return p[l]<p[r]; }); vector<vector<int>> A(N+1); my_set_max<int> s; s.insert(-1); rep(i,N){ int a=ind[i]; target=p[a]; int l=seg1.min_left<f1>(a+1); chmax(l,seg2.min_left<f2>(a+1)); int r=seg1.max_right<f1>(a); chmin(r,seg2.max_right<f2>(a)); if(l>=r) continue; A[l].push_back(p[a]); A[r].push_back(-p[a]); //cout<<l<<" "<<r<<endl; } rep(i,N){ for(auto x:A[i]){ if(x<0) s.delate(-x); else s.insert(x); } ans[i]=s.get(); } yneos(q==ans); }