結果

問題 No.871 かえるのうた
ユーザー HaarHaar
提出日時 2019-08-30 21:50:24
言語 C++17
(gcc 13.2.0 + boost 1.83.0)
結果
AC  
実行時間 133 ms / 2,000 ms
コード長 2,769 bytes
コンパイル時間 2,752 ms
コンパイル使用メモリ 210,400 KB
実行使用メモリ 39,732 KB
最終ジャッジ日時 2023-08-20 09:17:44
合計ジャッジ時間 6,602 ms
ジャッジサーバーID
(参考情報)
judge14 / judge13
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,380 KB
testcase_01 AC 2 ms
4,380 KB
testcase_02 AC 2 ms
4,384 KB
testcase_03 AC 2 ms
4,380 KB
testcase_04 AC 2 ms
4,384 KB
testcase_05 AC 2 ms
4,384 KB
testcase_06 AC 1 ms
4,384 KB
testcase_07 AC 2 ms
4,384 KB
testcase_08 AC 4 ms
4,384 KB
testcase_09 AC 4 ms
4,440 KB
testcase_10 AC 2 ms
4,380 KB
testcase_11 AC 2 ms
4,380 KB
testcase_12 AC 17 ms
9,920 KB
testcase_13 AC 5 ms
4,384 KB
testcase_14 AC 126 ms
39,620 KB
testcase_15 AC 133 ms
39,672 KB
testcase_16 AC 133 ms
39,644 KB
testcase_17 AC 111 ms
37,504 KB
testcase_18 AC 19 ms
10,056 KB
testcase_19 AC 123 ms
39,612 KB
testcase_20 AC 9 ms
6,020 KB
testcase_21 AC 41 ms
16,496 KB
testcase_22 AC 2 ms
4,388 KB
testcase_23 AC 2 ms
4,384 KB
testcase_24 AC 2 ms
4,380 KB
testcase_25 AC 3 ms
4,384 KB
testcase_26 AC 10 ms
6,656 KB
testcase_27 AC 14 ms
8,232 KB
testcase_28 AC 1 ms
4,384 KB
testcase_29 AC 70 ms
26,720 KB
testcase_30 AC 83 ms
30,164 KB
testcase_31 AC 4 ms
4,384 KB
testcase_32 AC 77 ms
27,276 KB
testcase_33 AC 121 ms
39,732 KB
testcase_34 AC 24 ms
12,276 KB
testcase_35 AC 68 ms
25,376 KB
testcase_36 AC 104 ms
33,380 KB
testcase_37 AC 46 ms
18,092 KB
testcase_38 AC 113 ms
36,992 KB
testcase_39 AC 115 ms
35,756 KB
testcase_40 AC 73 ms
28,116 KB
testcase_41 AC 1 ms
4,380 KB
testcase_42 AC 70 ms
27,792 KB
testcase_43 AC 2 ms
4,380 KB
testcase_44 AC 1 ms
4,384 KB
testcase_45 AC 2 ms
4,380 KB
testcase_46 AC 2 ms
4,384 KB
testcase_47 AC 2 ms
4,380 KB
testcase_48 AC 1 ms
4,380 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

#include <bits/stdc++.h>
#define LLI long long int
#define FOR(v, a, b) for(LLI v = (a); v < (b); ++v)
#define FORE(v, a, b) for(LLI v = (a); v <= (b); ++v)
#define REP(v, n) FOR(v, 0, n)
#define REPE(v, n) FORE(v, 0, n)
#define REV(v, a, b) for(LLI v = (a); v >= (b); --v)
#define ALL(x) (x).begin(), (x).end()
#define RALL(x) (x).rbegin(), (x).rend()
#define ITR(it, c) for(auto it = (c).begin(); it != (c).end(); ++it)
#define RITR(it, c) for(auto it = (c).rbegin(); it != (c).rend(); ++it)
#define EXIST(c,x) ((c).find(x) != (c).end())
#define fst first
#define snd second
#define popcount __builtin_popcount
#define UNIQ(v) (v).erase(unique(ALL(v)), (v).end())
#define bit(i) (1LL<<(i))

#ifdef DEBUG
#include <misc/C++/Debug.cpp>
#else
#define dump(...) ((void)0)
#endif

#define gcd __gcd

using namespace std;
template <class T> constexpr T lcm(T m, T n){return m/gcd(m,n)*n;}

template <typename I> void join(ostream &ost, I s, I t, string d=" "){for(auto i=s; i!=t; ++i){if(i!=s)ost<<d; ost<<*i;}ost<<endl;}
template <typename T> istream& operator>>(istream &is, vector<T> &v){for(auto &a : v) is >> a; return is;}

template <typename T, typename U> bool chmin(T &a, const U &b){return (a>b ? a=b, true : false);}
template <typename T, typename U> bool chmax(T &a, const U &b){return (a<b ? a=b, true : false);}
template <typename T, size_t N, typename U> void fill_array(T (&a)[N], const U &v){fill((U*)a, (U*)(a+N), v);}

struct Init{
  Init(){
    cin.tie(0);
    ios::sync_with_stdio(false);
  }
}init;

template <typename T> class SparseTable{
  using Op = function<T(T,T)>;
  Op f;
  vector<vector<T>> a;
  vector<int> log_table;
public:
  SparseTable(const vector<T> &v, const Op &f): f(f){
    int n = v.size();
    int logn = 0;
    while((1<<logn) <= n) ++logn;
    
    a = vector<vector<T>>(n, vector<T>(logn));
    REP(i,n) a[i][0] = v[i];
    FOR(j,1,logn) REP(i,n) a[i][j] = f(a[i][j-1], a[min<int>(n-1, i+(1<<(j-1)))][j-1]);

    log_table = vector<int>(n+1);
    FOR(i,2,n+1) log_table[i] = log_table[i>>1] + 1;
  }
  
  T get(int s, int t){ // [s,t)
    int k = log_table[t-s];
    return f(a[s][k], a[t-(1<<k)][k]);
  }
};


int main(){
  int N,k;
  while(cin >> N >> k){
    vector<LLI> X(N), A(N); cin >> X >> A;

    vector<LLI> left(N), right(N);
    REP(i,N){
      left[i] = X[i] - A[i];
      right[i] = X[i] + A[i];
    }

    SparseTable<LLI> sp_min(left, [](auto a, auto b){return min(a,b);}), sp_max(right, [](auto a, auto b){return max(a,b);});


    int l = k-1, r = k-1;

    REP(i,N){
      LLI a = sp_min.get(l,r+1);
      LLI b = sp_max.get(l,r+1);

      l = lower_bound(ALL(X), a) - X.begin();
      r = upper_bound(ALL(X), b) - X.begin() - 1;
    }
    
    int ans = r-l+1;
    cout << ans << endl;
  }


  return 0;
}
0