結果

問題 No.1435 Mmm......
ユーザー snow39snow39
提出日時 2021-03-19 22:49:28
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
TLE  
実行時間 -
コード長 4,637 bytes
コンパイル時間 2,773 ms
コンパイル使用メモリ 157,772 KB
実行使用メモリ 379,516 KB
最終ジャッジ日時 2024-04-29 18:13:40
合計ジャッジ時間 12,420 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
10,624 KB
testcase_01 AC 2 ms
5,376 KB
testcase_02 AC 2 ms
5,376 KB
testcase_03 AC 2 ms
5,376 KB
testcase_04 AC 2 ms
5,376 KB
testcase_05 AC 2 ms
5,376 KB
testcase_06 AC 327 ms
23,032 KB
testcase_07 AC 390 ms
23,772 KB
testcase_08 AC 453 ms
24,356 KB
testcase_09 AC 420 ms
24,112 KB
testcase_10 AC 368 ms
23,428 KB
testcase_11 AC 359 ms
23,404 KB
testcase_12 AC 335 ms
23,160 KB
testcase_13 AC 332 ms
23,044 KB
testcase_14 AC 234 ms
14,080 KB
testcase_15 AC 467 ms
24,544 KB
testcase_16 AC 390 ms
23,768 KB
testcase_17 AC 263 ms
14,440 KB
testcase_18 AC 472 ms
24,436 KB
testcase_19 AC 356 ms
23,256 KB
testcase_20 AC 435 ms
24,172 KB
testcase_21 TLE -
testcase_22 -- -
testcase_23 -- -
testcase_24 -- -
testcase_25 -- -
testcase_26 -- -
testcase_27 -- -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#pragma GCC target("avx2")
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")
#include <iostream>
#include <algorithm>
#include <string>
#include <vector>
#include <cmath>
#include <map>
#include <queue>
#include <iomanip>
#include <set>
#include <tuple>
#define mkp make_pair
#define mkt make_tuple
#define rep(i,n) for(int i = 0; i < (n); ++i)
#define all(v) v.begin(),v.end()
using namespace std;
typedef long long ll;
const ll MOD=1e9+7;
template<class T> void chmin(T &a,const T &b){if(a>b) a=b;}
template<class T> void chmax(T &a,const T &b){if(a<b) a=b;}

#include <functional>
#include <climits>

//SegmentTree<int> seg(N,[](int a,int b){return min(a,b);},INT_MAX);
template< typename T>
class SegmentTree{
private:
  void resize(int size){
      n=1;
      while(n<size) n*=2;
      tree.resize(2*n-1,def);
  }
public:

  using F = function<T(T,T)>;

  int n;
  vector<T> tree;
  F operation;
  T def;

  SegmentTree(){}
  SegmentTree(int size,F _operation,T _def):operation(_operation),def(_def){
    resize(size);
  }

  void embody(int size,F _operation,T _def){
    operation=_operation;
    def=_def;
    resize(size);
  }

  void initialize(const vector<T> &v){
    int size=v.size();
    resize(size);

    for(int i=0;i<size;i++) tree[i+n-1]=v[i];
    for(int i=n-2;i>=0;i--) tree[i]=operation(tree[2*i+1],tree[2*i+2]);
  }

  void update(int index,T value){
    index+=n-1;

    tree[index]=value;
    while(index>0){
      index=(index-1)/2;
      tree[index]=operation(tree[2*index+1],tree[2*index+2]);
    }
  }

  T query(int a,int b,int k=0,int l=0,int r=-1){//[a,b)
    if(r<0) r=n;

    if(r<=a||b<=l) return def;
    else if(a<=l&&r<=b) return tree[k];
    else{
      T lval=query(a,b,2*k+1,l,(l+r)/2);
      T rval=query(a,b,2*k+2,(l+r)/2,r);
      return operation(lval,rval);
    }
  }

  T get(int index){
      return tree[index+n-1];
  }

  int find(int x,int k=0,int l=0,int r=-1){// a[0]+...+a[i]>=x (i:minimal)
    if(r<0) r=n;
    if(tree[k]<x) return -1;
    if(r-l==1) return k-(n-1);
    if(tree[2*k+1]>=x) return find(x,2*k+1,l,(l+r)/2);
    else return find(x-tree[2*k+1],2*k+2,(l+r)/2,r);
  }

  //right -> change vl to vr   (notice doesn't contain b. range [a,b))
  int find_left(int a,int b,T x,int k=0,int l=0,int r=-1){// max(a[a],...,a[i])>=x (i:minimal)
      if(r<0) r=n;
      if(tree[k]<x||r<=a||b<=l) return -1;
      if(r-l==1) return k-(n-1);
      int vl=find_left(a,b,x,2*k+1,l,(l+r)/2);
      if(vl>=0) return vl;
      return find_left(a,b,x,2*k+2,(l+r)/2,r);
  }
};

const ll INF=1e15;

int main(){
  cin.tie(0);
  ios::sync_with_stdio(false);

  int N;
  cin>>N;
  vector<ll> A(N);
  rep(i,N) cin>>A[i];

  typedef pair<ll,int> Pli;
  SegmentTree<Pli> maseg(N,[](Pli a,Pli b){
    if(a.first<=b.first) return b;
    return a;
  },mkp(-INF,N));
  {
    vector<Pli> init(N);
    rep(i,N) init[i]=mkp(A[i],i);
    maseg.initialize(init);
  }

  typedef pair<ll,ll> Pll;
  SegmentTree<Pll> miseg(N,[](Pll a,Pll b){
    vector<ll> p={a.first,a.second,b.first,b.second};
    sort(all(p));
    return mkp(p[0],p[1]);
  },mkp(INF,INF));
  {
    vector<Pll> init(N);
    rep(i,N) init[i]=mkp(A[i],INF);
    miseg.initialize(init);
  }

  ll ans=0;

  auto solve = [&](auto &&solve,int l,int r)->void{//[l,r)
    if(r-l<=1) return;

    auto [ma,mat] = maseg.query(l,r);

    solve(solve,l,mat);
    solve(solve,mat+1,r);

    if(mat-l<r-mat){
      ll mi1=ma;
      ll mi2=ma;
      int last=r;
      for(int i=mat;i>=l;i--){
        if(mi1>A[i]){
          mi2=mi1;
          mi1=A[i];
        }else if(mi2>A[i]){
          mi2=A[i];
        }
        if(mi1+mi2<ma) break;

        int ok=mat,ng=last;
        while(abs(ok-ng)>1){
          int mid=(ok+ng)/2;
          auto [va,vb]=miseg.query(mat,mid+1);
          vector<ll> p={mi1,mi2,va,vb};
          sort(all(p));
          if(p[0]+p[1]>=ma) ok=mid;
          else ng=mid;
        }
        if(i==mat) ans--;
        ans+=ok-mat+1;
        last=ok+1;
      }
    }else{
      ll mi1=ma;
      ll mi2=ma;
      int last=l-1;
      for(int i=mat;i<r;i++){
        if(mi1>A[i]){
          mi2=mi1;
          mi1=A[i];
        }else if(mi2>A[i]){
          mi2=A[i];
        }
        if(mi1+mi2<ma) break;

        int ok=mat,ng=last;
        while(abs(ok-ng)>1){
          int mid=(ok+ng)/2;
          auto [va,vb]=miseg.query(mid,mat+1);
          vector<ll> p={mi1,mi2,va,vb};
          sort(all(p));
          if(p[0]+p[1]>=ma) ok=mid;
          else ng=mid;
        }
        if(i==mat) ans--;
        ans+=mat-ok+1;
        last=ok-1;
      }
    }
  };

  solve(solve,0,N);

  cout<<ans<<endl;

  return 0;
}
0