結果

問題 No.1768 The frog in the well knows the great ocean.
ユーザー Plan8Plan8
提出日時 2021-12-30 20:29:30
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 2,849 bytes
コンパイル時間 2,830 ms
コンパイル使用メモリ 214,984 KB
実行使用メモリ 17,124 KB
最終ジャッジ日時 2024-04-16 05:50:38
合計ジャッジ時間 18,519 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,816 KB
testcase_01 AC 18 ms
6,944 KB
testcase_02 AC 17 ms
6,940 KB
testcase_03 AC 18 ms
6,940 KB
testcase_04 AC 17 ms
6,944 KB
testcase_05 AC 17 ms
6,944 KB
testcase_06 AC 793 ms
6,940 KB
testcase_07 AC 697 ms
9,048 KB
testcase_08 AC 607 ms
8,320 KB
testcase_09 AC 629 ms
6,940 KB
testcase_10 AC 653 ms
9,416 KB
testcase_11 AC 757 ms
9,648 KB
testcase_12 AC 750 ms
9,600 KB
testcase_13 AC 748 ms
9,704 KB
testcase_14 AC 747 ms
9,832 KB
testcase_15 AC 751 ms
9,600 KB
testcase_16 AC 853 ms
15,940 KB
testcase_17 AC 848 ms
15,804 KB
testcase_18 AC 847 ms
15,892 KB
testcase_19 AC 836 ms
16,120 KB
testcase_20 AC 831 ms
15,920 KB
testcase_21 AC 3 ms
6,940 KB
testcase_22 AC 2 ms
6,944 KB
testcase_23 WA -
testcase_24 WA -
testcase_25 AC 866 ms
17,124 KB
testcase_26 AC 855 ms
16,992 KB
testcase_27 AC 2 ms
6,940 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;

typedef long long ll;
typedef vector<int> VI;
typedef vector<VI> VVI;
typedef vector<long long> VL;
typedef vector<vector<long long>> VVL;
typedef pair<int,int> Pair;
typedef tuple<int,int,int> tpl;

#define ALL(a)  (a).begin(),(a).end()
#define SORT(c) sort((c).begin(),(c).end())
#define REVERSE(c) reverse((c).begin(),(c).end())
#define EXIST(m,v) (m).find((v)) != (m).end()
#define LB(a,x) lower_bound((a).begin(), (a).end(), x) - (a).begin()
#define UB(a,x) upper_bound((a).begin(), (a).end(), x) - (a).begin()

#define FOR(i,a,b) for(int i=(a);i<(b);++i)
#define REP(i,n)  FOR(i,0,n)
#define RFOR(i,a,b) for(int i=(a)-1;i>=(b);--i)
#define RREP(i,n) RFOR(i,n,0)

#define en "\n"

constexpr double EPS = 1e-9;
constexpr double PI  = 3.1415926535897932;
constexpr int INF = 2147483647;
constexpr long long LINF = 1LL<<60;
constexpr long long MOD =  998244353; // 1000000007;

template<class T> inline bool chmax(T& a, T b){if(a<b){a=b;return true;}return false;}
template<class T> inline bool chmin(T& a, T b){if(a>b){a=b;return true;}return false;}

#include <atcoder/lazysegtree>
#include <atcoder/segtree>

using S1 = bool;
S1 op1(S1 a, S1 b){return a or b;}
S1 e1(){return false;}

using S = int;
using F = int;
S op(S a, S b){return max(a,b);}
S e(){return -1;}
F id(){return -1;}
S mapping(F a, S b){return max(a,b);}
F composition(F a, F b){return max(a,b);}

void Main(){
    int N; cin >> N;
    VI A(N); REP(i,N) cin >> A[i], A[i]--;
    VI B(N); REP(i,N) cin >> B[i], B[i]--;

    VI p(N); REP(i,N) p[i] = i;
    sort(ALL(p), [&](int i, int j){return A[i]<A[j];});
    VVI b(N); REP(i,N) b[B[i]].push_back(i);

    atcoder::segtree<S1,op1,e1> st(vector<S1>(N,false));
    atcoder::lazy_segtree<S,op,e,F,mapping,composition,id> lst(A);

    auto min_left = [&](int r){
        int ng = -1, ok = r;
        while(ok-ng>1){
            int pos = (ok+ng)/2;
            if(!st.prod(pos, r)) ok = pos;
            else ng = pos;
        }
        return ok;
    };
    auto max_right = [&](int l){
        int ok = l, ng = N+1;
        while(ng-ok>1){
            int pos = (ok+ng)/2;
            if(!st.prod(l, pos)) ok = pos;
            else ng = pos;
        }
        return ok;
    };


    REP(i,N){
        int pos = p[i], prev = i == 0 ? 0 : A[p[i-1]];
        FOR(j, prev, A[pos]){
            for(int x : b[j]) st.set(x, true);
        }

        int l = min_left(pos+1), r = max_right(pos);
        if(l < r){
            lst.apply(l, r, A[pos]);
        }
    }

    REP(i,N){
        if(lst.get(i) != B[i]){
            cout << "No" << en;
            return;
        }
    }
    cout << "Yes" << en;
    return;
}

int main(void){
    cin.tie(0);cout.tie(0);ios_base::sync_with_stdio(0);cout<<fixed<<setprecision(15);
    int t=1; cin>>t;
    while(t--) Main();
    return 0;
}
0