#line 1 "code.cpp" #define PROBLEM "https://yukicoder.me/problems/no/1435" #line 2 "library/template/template.hpp" #include #line 3 "library/template/macro.hpp" #define SELECT4(a,b,c,d,e,...) e #define SELECT3(a,b,c,d,...) d #define REP1(a) for(ll i=0;i<(ll)(a);++i) #define REP2(i,a) for(ll i=0;i<(ll)(a);++i) #define REP3(i,a,b) for(ll i=(ll)(a);i<(ll)(b);++i) #define REP4(i,a,b,c) for(ll i=(ll)(a);i<(ll)(b);i+=(ll)(c)) #define rep(...) SELECT4(__VA_ARGS__,REP4,REP3,REP2,REP1)(__VA_ARGS__) #define RREP1(a) for(ll i=(ll)(a)-1;i>=0;--i) #define RREP2(i,a) for(ll i=(ll)(a)-1;i>=0;--i) #define RREP3(i,a,b) for(ll i=(ll)(b)-1;i>=(ll)(a);--i) #define rrep(...) SELECT3(__VA_ARGS__,RREP3,RREP2,RREP1)(__VA_ARGS__) #define all(v) std::begin(v),std::end(v) #define rall(v) std::rbegin(v),std::rend(v) #define INT(...) int __VA_ARGS__;scan(__VA_ARGS__) #define LL(...) ll __VA_ARGS__;scan(__VA_ARGS__) #define STR(...) string __VA_ARGS__;scan(__VA_ARGS__) #define CHR(...) char __VA_ARGS__;scan(__VA_ARGS__) #define DBL(...) double __VA_ARGS__;scan(__VA_ARGS__) #define LD(...) ld __VA_ARGS__;scan(__VA_ARGS__) #define pb push_back #define eb emplace_back #line 3 "library/template/alias.hpp" using ll=long long; using ull=unsigned long long; using ld=long double; using pi=std::pair; using pl=std::pair; using vi=std::vector; using vl=std::vector; using vs=std::vector; using vc=std::vector; using vvl=std::vector; using vd=std::vector; using vp=std::vector; using vb=std::vector; template struct infinity{ static constexpr T max=std::numeric_limits::max(); static constexpr T min=std::numeric_limits::min(); static constexpr T value=std::numeric_limits::max()/2; static constexpr T mvalue=std::numeric_limits::min()/2; }; templateconstexpr T INF=infinity::value; constexpr ll inf=INF; constexpr ld EPS=1e-8; constexpr ld PI=3.1415926535897932384626; constexpr int dx[8]={1,0,-1,0,1,-1,-1,1}; constexpr int dy[8]={0,1,0,-1,1,1,-1,-1}; #line 5 "library/template/func.hpp" inline constexpr int msb(ull x){ int res=x?0:-1; if(x&0xffffffff00000000)x&=0xffffffff00000000,res+=32; if(x&0xffff0000ffff0000)x&=0xffff0000ffff0000,res+=16; if(x&0xff00ff00ff00ff00)x&=0xff00ff00ff00ff00,res+=8; if(x&0xf0f0f0f0f0f0f0f0)x&=0xf0f0f0f0f0f0f0f0,res+=4; if(x&0xcccccccccccccccc)x&=0xcccccccccccccccc,res+=2; return res+(x&0xaaaaaaaaaaaaaaaa?1:0); } inline constexpr int ceil_log2(ull x){return x?msb(x-1)+1:0;} inline constexpr ull reverse(ull x){ x=((x&0x5555555555555555)<<1)|((x&0xaaaaaaaaaaaaaaaa)>>1); x=((x&0x3333333333333333)<<2)|((x&0xcccccccccccccccc)>>2); x=((x&0x0f0f0f0f0f0f0f0f)<<4)|((x&0xf0f0f0f0f0f0f0f0)>>4); x=((x&0x00ff00ff00ff00ff)<<8)|((x&0xff00ff00ff00ff00)>>8); x=((x&0x0000ffff0000ffff)<<16)|((x&0xffff0000ffff0000)>>16); return (x<<32)|(x>>32); } inline constexpr ull reverse(ull x,int len){return reverse(x)>>(64-len);} inline constexpr int popcnt(ull x){ #if __cplusplus>=202002L return std::popcount(x); #endif x=(x&0x5555555555555555)+((x>>1)&0x5555555555555555); x=(x&0x3333333333333333)+((x>>2)&0x3333333333333333); x=(x&0x0f0f0f0f0f0f0f0f)+((x>>4)&0x0f0f0f0f0f0f0f0f); x=(x&0x00ff00ff00ff00ff)+((x>>8)&0x00ff00ff00ff00ff); x=(x&0x0000ffff0000ffff)+((x>>16)&0x0000ffff0000ffff); return (x&0x00000000ffffffff)+((x>>32)&0x00000000ffffffff); } template inline constexpr bool chmin(T&a,U b){return a>b&&(a=b,true);} template inline constexpr bool chmax(T&a,U b){return a>=1; } return res; } inline constexpr ll mod_pow(ll a,ll b,const ll&mod){ if(mod==1)return 0; a%=mod; ll res=1; while(b){ if(b&1)(res*=a)%=mod; (a*=a)%=mod; b>>=1; } return res; } inline ll mod_inv(ll a,const ll&mod){ ll b=mod,x=1,u=0,t; while(b){ t=a/b; std::swap(a-=t*b,b); std::swap(x-=t*u,u); } if(x<0)x+=mod; return x; } template std::ostream &operator<<(std::ostream&os,const std::pair&p){os< std::istream &operator>>(std::istream&is,std::pair&p){is>>p.first>>p.second;return is;} template std::ostream &operator<<(std::ostream&os,const std::vector&v){for(auto it=std::begin(v);it!=std::end(v);){os<<*it<<((++it)!=std::end(v)?" ":"");}return os;} template std::istream &operator>>(std::istream&is,std::vector&v){for(T &in:v){is>>in;}return is;} inline void scan(){} template inline void scan(Head&head,Tail&... tail){std::cin>>head;scan(tail...);} template inline void print(const T &t){std::cout< inline void print(const Head &head, const Tail &... tail){std::cout< inline void fin(const T &... a){print(a...);exit(0);} #line 5 "library/template/util.hpp" struct IOSetup{ IOSetup(){ std::cin.tie(nullptr); std::ios::sync_with_stdio(false); std::cout.tie(0); std::cout< struct REC{ private: F f; public: explicit constexpr REC(F&&f_):f(std::forward(f_)){} template constexpr auto operator()(Args&&...args)const{ return f(*this, std::forward(args)...); } }; template> struct compressor{ private: std::vectordata; Comp cmp; bool sorted=false; public: compressor():compressor(Comp()){} compressor(const Comp&cmp):cmp(cmp){} compressor(const std::vector&dat,const Comp&cmp=Comp()):data(dat),cmp(cmp){} compressor(std::vector&&dat,const Comp&cmp=Comp()):data(move(dat)),cmp(cmp){} compressor(std::initializer_listli,const Comp&cmp=Comp()):data(li.begin(),li.end()),cmp(cmp){} void push_back(const T&v){assert(!sorted);data.push_back(v);} void push_back(T&&v){assert(!sorted);data.push_back(move(v));} templatevoid emplace_back(Args&&...args){assert(!sorted);data.emplace_back(std::forward(args)...);} void push(const std::vector&v){ assert(!sorted); const int n=data.size(); data.resize(v.size()+n); for(int i=0;i<(int)v.size();i++)data[i+n]=v[i]; } void build(){ assert(!sorted);sorted=1; std::sort(data.begin(),data.end(),cmp); data.erase(unique(data.begin(),data.end(),[&](const T&l,const T&r)->bool {return !cmp(l,r)&&!cmp(r,l);}),data.end()); } const T&operator[](int k)const& { assert(sorted); return data[k]; } int get_index(const T&v)const { assert(sorted); return int(lower_bound(data.begin(),data.end(),v,cmp)-data.begin()); } void press(std::vector&v)const { assert(sorted); for(auto&&i:v)i=get_index(i); } std::vectorpressed(const std::vector&v)const { assert(sorted); std::vectorret(v.size()); for(int i=0;i<(int)v.size();i++)ret[i]=get_index(v[i]); return ret; } int size()const { assert(sorted); return data.size(); } }; #line 4 "library/template/debug.hpp" template struct is_specialize:std::false_type{}; template struct is_specialize::type>:std::true_type{}; template struct is_specialize::type>:std::true_type{}; template struct is_specialize::value,void>>:std::true_type{}; inline void dump(const char&t){std::cerr<::value,std::nullptr_t> =nullptr> inline void dump(const T&t){std::cerr< inline void dump(const T&t,std::enable_if_t::value>* =nullptr){std::string tmp;if(t==infinity::value||t==infinity::max)tmp="inf";if(std::is_signed::value&&(t==infinity::mvalue||t==infinity::min))tmp="-inf";if(tmp.empty())tmp=std::to_string(t);std::cerr< inline void dump(const std::pair&); template inline void dump(const T&t,std::enable_if_t::value>* =nullptr){std::cerr<<"{";for(auto it=std::begin(t);it!=std::end(t);){dump(*it);std::cerr<<(++it==t.end()?"":",");}std::cerr<<"}";} template inline void dump(const std::pair&t){std::cerr<<"(";dump(t.first);std::cerr<<",";dump(t.second);std::cerr<<")";} inline void trace(){std::cerr< inline void trace(Head&&head,Tail&&... tail){dump(head);if(sizeof...(tail))std::cerr<<",";trace(std::forward(tail)...);} #ifdef ONLINE_JUDGE #define debug(...) (void(0)) #else #define debug(...) do{std::cerr<<#__VA_ARGS__<<"=";trace(__VA_ARGS__);}while(0) #endif #line 4 "library/template/type-traits.hpp" template struct int_least{ static_assert(size<=128,"size must be less than or equal to 128"); using type=typename std::conditional< size<=8,std::int_least8_t, typename std::conditional< size<=16,std::int_least16_t, typename std::conditional< size<=32,std::int_least32_t, typename std::conditional::type>::type>::type>::type; }; templateusing int_least_t=typename int_least::type; template struct uint_least{ static_assert(size<=128,"size must be less than or equal to 128"); using type=typename std::conditional< size<=8,std::uint_least8_t, typename std::conditional< size<=16,std::uint_least16_t, typename std::conditional< size<=32,std::uint_least32_t, typename std::conditional::type>::type>::type>::type; }; templateusing uint_least_t=typename uint_least::type; template using double_size_int=int_least::digits*2+1>; templateusing double_size_int_t=typename double_size_int::type; template using double_size_uint=uint_least::digits*2>; templateusing double_size_uint_t=typename double_size_uint::type; template using double_size=typename std::conditional::value,double_size_int,double_size_uint>::type; templateusing double_size_t=typename double_size::type; #line 9 "library/template/template.hpp" using namespace std; #line 3 "library/others/monoid.hpp" namespace Monoid{ templatestruct has_op:false_type{}; templatestruct has_op:true_type{}; templatestruct has_id:false_type{}; templatestruct has_id:true_type{}; templatestruct has_inv:false_type{}; templatestruct has_inv:true_type{}; templatestruct has_get_inv:false_type{}; templatestruct has_get_inv:true_type{}; templatestruct has_mul_op:false_type{}; templatestruct has_mul_op:true_type{}; templatestruct is_semigroup:false_type{}; templatestruct is_semigroup(),(void)T::op)>:true_type{}; templatestruct is_monoid:false_type{}; templatestruct is_monoid(),(void)T::op,(void)T::id)>:true_type{}; templatestruct is_group:false_type{}; templatestruct is_group(),(void)T::op,(void)T::id,(void)T::get_inv)>:true_type{}; templatestruct is_action:false_type{}; templatestruct is_action::value&&is_semigroup::value&&(has_op::value||has_mul_op::value)>::type>:true_type{}; templatestruct is_distributable_action:false_type{}; templatestruct is_distributable_action::value&&!has_mul_op::value>::type>:true_type{}; template struct Sum{ using value_type=T; static constexpr T op(const T&x,const T&y){return x+y;} static constexpr T id(){return T(0);} static constexpr T inv(const T&x,const T&y){return x-y;} static constexpr T get_inv(const T&x){return -x;} }; template::max> struct Min{ using value_type=T; static constexpr T op(const T&x,const T&y){return x::min> struct Max{ using value_type=T; static constexpr T op(const T&x,const T&y){return x struct Assign{ using value_type=T; static constexpr T op(const T&,const T&x){return x;} }; template::max> struct AssignMin{ using M=Min; using E=Assign; static constexpr T op(const T&x,const T&){return x;} }; template::min> struct AssignMax{ using M=Max; using E=Assign; static constexpr T op(const T&x,const T&){return x;} }; template struct AssignSum{ using M=Sum; using E=Assign; static constexpr T mul_op(const T&x,int sz,const T&){return x*sz;} }; template::max> struct AddMin{ using M=Min; using E=Sum; static constexpr T op(const T&a,const T&b){return b+a;} }; template::min> struct AddMax{ using M=Max; using E=Sum; static constexpr T op(const T&a,const T&b){return b+a;} }; template struct AddSum{ using M=Sum; using E=Sum; static constexpr T mul_op(const T&x,int sz,const T&y){return y+x*sz;} }; template::max> struct ChminMin{ using M=Min; using E=Min; static constexpr T op(const T&x,const T&y){return y::min> struct ChminMax{ using M=Max; using E=Min; static constexpr T op(const T&x,const T&y){return y::max> struct ChmaxMin{ using M=Min; using E=Max; static constexpr T op(const T&x,const T&y){return x::min> struct ChmaxMax{ using M=Max; using E=Max; static constexpr T op(const T&x,const T&y){return x struct AttachMonoid{ using M=E_; using E=E_; using T=typename E_::value_type; static T op(const T&x,const T&y){return E_::op(y,x);} }; }// namespace Monoid #line 4 "library/data-structure/segment-tree.hpp" template struct SegmentTree{ private: using T=typename M::value_type; int n,size; vectordata; void update(int k){data[k]=M::op(data[k<<1],data[k<<1^1]);} public: SegmentTree():SegmentTree(0){} SegmentTree(int n,const T&e=M::id()):SegmentTree(vector(n,e)){} SegmentTree(const vector&v){init(v);} void init(const vector&v){ n=v.size(); size=1< void update(int k,const Upd&upd){ k+=size; data[k]=upd(data[k]); while(k>>=1)update(k); } void set(int k,const T&x){ update(k,[&](T)->T {return x;}); } void apply(int k,const T&x){ update(k,[&](T y)->T {return M::op(y,x);}); } T operator[](int k)const{return data[size+k];} T prod(int l,int r)const{ l+=size,r+=size; T sml=M::id(),smr=M::id(); while(l!=r){ if(l&1)sml=M::op(sml,data[l++]); if(r&1)smr=M::op(data[--r],smr); l>>=1,r>>=1; } return M::op(sml,smr); } T all_prod()const{return data[1];} template int max_right(int l,const F&f)const{ if(l==n)return n; l+=size; T sum=M::id(); do{ while((l&1)==0)l>>=1; if(!f(M::op(sum,data[l]))){ while(l int min_left(int r,const F&f)const{ if(r==0)return 0; r+=size; T sum=M::id(); do{ --r; while((r&1)&&r>1)r>>=1; if(!f(M::op(data[r],sum))){ while(r::max> using RangeMinimumQuery=SegmentTree>; template::min> using RangeMaximumQuery=SegmentTree>; template using RangeSumQuery=SegmentTree>; /** * @brief Segment Tree(セグメント木) */ #line 4 "code.cpp" int main(){ struct Mmm{ struct value_type{ int m1,m2,M; }; using T=value_type; static T op(T a,T b){ vi v={a.m1,a.m2,b.m1,b.m2}; sort(all(v)); return {v[0],v[1],max(a.M,b.M)}; } static T id(){ return {infinity::value,infinity::value,infinity::mvalue}; } }; INT(n); vi a(n);cin>>a; vectorv(n); rep(i,n)v[i]={a[i],infinity::value,a[i]}; SegmentTreeseg(v); ll ans1=0,ans2=0; rep(i,n){ ll idx=seg.max_right(i,[](const auto&x){return x.m1+x.m2>=x.M;}); ans1+=idx-i-1; } rep(i,1,n+1){ ll idx=seg.min_left(i,[](const auto&x){return x.m1+x.m2>=x.M;}); ans2+=i-idx-1; } assert(ans1==ans2); print(ans1); }