// // S i r o t a n w a t c h e s o v e r y o u . // // ...Jggg+J+JJJg@NQmgJa....., // ....gH@@@@HHB""""7"YYYYHMMMMMMM@@@@@@@Hma,. // ...JH@@MMHY"! ? __""YH@@@@N&... // ..JH@@HY"~ _TW@@@Mme. // .Jg@@#"= _TTM@@N.. // .Jg@@MY! ?T@@@h,. // .-@@@B! (TM@@@L // .(H@MY ?W@@@+ // .W@@@ .T@@@[ // .d@@M! .T@@N, // .d@M@' -W@@o. // (@@M\ ?M@N, // -d@M% .., .., j@@b // d@@M= TM9 ?MD W@@[ // .H@M: .W@H, // H@Ht ,@@# // (@@M~ .@@h. // .@@M% ..gmHHJ. .JdHga. .H@@e // j@@#_ .@@@@@@@b J@@@@@@@h. .H@@\ // d@@@ .4@@@@@@MF (@@@@@@@@ H@@b // d@@[ ?"BMY"= .d@@@@H, ?TWHHY"! d@@e // J@@b .JJJ-.., ,@@@@@@M% ......... -@@@M. // ?@@M\ ?YHHM@@@@b .. .W@@HP X@@HMWY"= d@@@# // ,@@@L. ?H@Ng&+gd@@#H@@NHaJ+gH@[ J@@@] // X@@@[ ...... ?"YYYYY"" ?"YHHHB"^ ..... (@@@# // WH@N+. .W@@@@MHB= .TWH@M@Hmc .H@@M~ // .H@@@@N, _!~ .d@@@N, // .J@@#T@@@N, .d@@@@@@@b. // (@@@@! .T@@@n, .(H@@@H>.W@@@x // (@@@F 4@@@@MaJ. .d@@@@Y77 4@@@r //.H@@P ?TM@@@@N... .-JH@HMY= d@@N, //(@@@F ?"WM@@@MQa-,. .(J(JN@@M#" Z@@@L // d@@H, (M@@@@@@@Ng&maJ.... .. ...J.J+W@@@@@@HY! .dH@b // ?M@@@N&. ..(JW@@@MM"?7""TYHMH@@HH@@@@@HHHgkHagHa(mggdmmagH@H@@Q@@HMMMHY"7!TMM@@@HaJ,. ..H@@@M^ // ?"W@@@@MN@@@@@H@@MMY" _???!"= ?WMMBYYTMH=7""Y@""?"~^ _"YM@@@@@@@@MH@@@@@#"^ // ?77WMMMYB""! _7"WWMMMY"7= // need #include #include // data structure #include #include #include #include #include #include #include #include #include //#include #include #include #include #include // etc #include #include #include #include #include #include #include #include // input #define INIT std::ios::sync_with_stdio(false);std::cin.tie(0); #define VAR(type, ...)type __VA_ARGS__;MACRO_VAR_Scan(__VA_ARGS__); template void MACRO_VAR_Scan(T& t) { std::cin >> t; } templatevoid MACRO_VAR_Scan(First& first, Rest& ...rest) { std::cin >> first; MACRO_VAR_Scan(rest...); } #define VEC_ROW(type, n, ...)std::vector __VA_ARGS__;MACRO_VEC_ROW_Init(n, __VA_ARGS__); for(int w_=0; w_ void MACRO_VEC_ROW_Init(int n, T& t) { t.resize(n); } templatevoid MACRO_VEC_ROW_Init(int n, First& first, Rest& ...rest) { first.resize(n); MACRO_VEC_ROW_Init(n, rest...); } template void MACRO_VEC_ROW_Scan(int p, T& t) { std::cin >> t[p]; } templatevoid MACRO_VEC_ROW_Scan(int p, First& first, Rest& ...rest) { std::cin >> first[p]; MACRO_VEC_ROW_Scan(p, rest...); } #define VEC(type, c, n) std::vector c(n);for(auto& i:c)std::cin>>i; #define MAT(type, c, m, n) std::vector> c(m, std::vector(n));for(auto& R:c)for(auto& w:R)std::cin>>w; // output templatevoid MACRO_OUT(const T t) { std::cout << t; } templatevoid MACRO_OUT(const First first, const Rest...rest) { std::cout << first << " "; MACRO_OUT(rest...); } #define OUT(...) MACRO_OUT(__VA_ARGS__); #define FOUT(n, dist) std::cout<=(a);--w) #define RREP(w, n) RFOR(w, 0, n) template bool IN(S a, T x, U b) { return a <= x && x < b; } //#define IN(a, x, b) (a<=x && x inline T CHMAX(T& a, const T b) { return a = (a < b) ? b : a; } template inline T CHMIN(T& a, const T b) { return a = (a > b) ? b : a; } // test template using V = std::vector; template using VV = V>; template std::ostream& operator<<(std::ostream& os, std::pair p) { os << "(" << p.first << ", " << p.second << ")"; return os; } // type/const using i64 = std::int_fast64_t; using ll = long long; using ull = unsigned long long; using ld = long double; using PAIR = std::pair; using PAIRLL = std::pair; constexpr i64 INFINT = (1 << 30) - 1; // 1.07x10^ 9 constexpr i64 INFINT_LIM = (1LL << 31) - 1; // 2.15x10^ 9 constexpr ll INFLL = 1LL << 60; // 1.15x10^18 constexpr ll INFLL_LIM = (1LL << 62) - 1 + (1LL << 62); // 9.22x10^18 constexpr double eps = 1e-6; constexpr i64 MOD = 1000000007; constexpr double PI = 3.141592653589793238462643383279; template void FILL(T(&a)[N], const T & val) { for (auto& x : a) x = val; } template void FILL(ARY(&a)[N][M], const T & val) { for (auto& b : a) FILL(b, val); } template void FILL(std::vector & a, const T & val) { for (auto& x : a) x = val; } template void FILL(std::vector> & a, const T & val) { for (auto& b : a) FILL(b, val); } // ------------>8--------- // USE i64 ! // ------------>8------------ SegmentTree ------------>8------------ namespace Monoid { template class sum { public: using value_type = T; inline static T operation(const T& a, const T& b) { return a + b; } inline static T identity() { return T(0); } }; template class max { public: using value_type = T; inline static T operation(const T& a, const T& b) { return (a < b) ? b : a; } inline static T identity() { return std::numeric_limits::lowest(); } }; template class min { public: using value_type = T; inline static T operation(const T& a, const T& b) { return (a < b) ? a : b; } inline static T identity() { return std::numeric_limits::max(); } }; class MONOID { public: struct S { int x; }; using value_type = S; inline static S operation(const S& l, const S& r) { return S{ l.x + r.x }; } inline static S identity() { return S{ 0 }; } }; } template class SegmentTree { private: using T = typename Monoid::value_type; int ARY_SIZE; std::vector ary; void init(int n) { while (ARY_SIZE < n) ARY_SIZE <<= 1; ary.resize(ARY_SIZE << 1, Monoid::identity()); } public: SegmentTree(int n) : ARY_SIZE(1) { init(n); } SegmentTree(std::vector& a) : ARY_SIZE(1) { init(a.size()); std::copy(a.begin(), a.end(), ary.begin() + ARY_SIZE); for (int i = ARY_SIZE - 1; i >= 1; --i) { ary[i] = Monoid::operation(ary[i << 1], ary[(i << 1) + 1]); } } // -- a[i] = val; inline void update(int i, T val) { i += ARY_SIZE; ary[i] = val; while (i > 1) { i >>= 1; ary[i] = Monoid::operation(ary[i << 1], ary[(i << 1) + 1]); } } // -- a[i] += val; inline void add(int i, T val) { update(i, ary[i + ARY_SIZE] + val); } // -- [l, r) inline T query(int l, int r) { if (l >= r) return Monoid::identity(); T vl = Monoid::identity(), vr = Monoid::identity(); for (l += ARY_SIZE, r += ARY_SIZE; l != r; l >>= 1, r >>= 1) { if (l & 1) vl = Monoid::operation(vl, ary[l++]); if (r & 1) vr = Monoid::operation(ary[--r], vr); } return Monoid::operation(vl, vr); } T operator[](int i) { return ary[i + ARY_SIZE]; } void debugShow() { for (int i = ARY_SIZE; i < ARY_SIZE << 1; ++i) std::cerr << ary[i] << " "; std::cerr << "\n"; } }; // ------------8<------------ SegmentTree ------------8<------------ signed main() { INIT; VAR(int, n); VEC(int, p, n); V p2(n); REP(i, n) p2[i] = { p[i], i }; SegmentTree> st(p2); SegmentTree> st2(p); const int LOG = 17; VV neL(LOG, V(n, -1)), neR(LOG, V(n, INFINT)); REP(i, n) { if (i > 0) { if (st2.query(0, i) <= p[i]) { int l = 0, r = i; while (r - l > 1) { int me = (l + r) / 2; if (st2.query(me, i) < p[i]) l = me; else r = me; } neL[0][i] = l; } } if (i + 1 < n) { if (st2.query(i + 1, n) <= p[i]) { int l = i + 1, r = n; while (r - l > 1) { int me = (l + r) / 2; if (st2.query(i + 1, me) < p[i]) r = me; else l = me; } neR[0][i] = r - 1; } } } FOR(k, 1, LOG) REP(i, n) { if (neL[k - 1][i] == -1) neL[k][i] = -1; else neL[k][i] = neL[k - 1][neL[k - 1][i]]; } FOR(k, 1, LOG) REP(i, n) { if (neR[k - 1][i] == INFINT) neR[k][i] = INFINT; else neR[k][i] = neR[k - 1][neR[k - 1][i]]; } i64 ans = 0; auto rec = [&](auto && f, int l, int r) -> void { // [l, r) if (l >= r) return; PAIR ma = st.query(l, r); { int now = ma.second; RREP(i, LOG) { if (neL[i][now] < l) continue; now = neL[i][now]; ans += 1 << i; } } { int now = ma.second; RREP(i, LOG) { if (neR[i][now] >= r) continue; now = neR[i][now]; ans += 1 << i; } } f(f, l, ma.second); f(f, ma.second + 1, r); }; rec(rec, 0, n); OUT(ans)BR; return 0; }