#define LOCAL #include using namespace std; #pragma region Macros typedef long long ll; typedef __int128_t i128; typedef unsigned int uint; typedef unsigned long long ull; #define ALL(x) (x).begin(), (x).end() template istream& operator>>(istream& is, vector& v) { for (T& x : v) is >> x; return is; } template ostream& operator<<(ostream& os, const vector& v) { for (int i = 0; i < (int)v.size(); i++) { os << v[i] << (i + 1 == (int)v.size() ? "" : " "); } return os; } template ostream& operator<<(ostream& os, const pair& p) { os << '(' << p.first << ',' << p.second << ')'; return os; } template ostream& operator<<(ostream& os, const tuple& t) { os << '(' << get<0>(t) << ',' << get<1>(t) << ',' << get<2>(t) << ')'; return os; } template ostream& operator<<(ostream& os, const tuple& t) { os << '(' << get<0>(t) << ',' << get<1>(t) << ',' << get<2>(t) << ',' << get<3>(t) << ')'; return os; } template ostream& operator<<(ostream& os, const map& m) { os << '{'; for (auto itr = m.begin(); itr != m.end();) { os << '(' << itr->first << ',' << itr->second << ')'; if (++itr != m.end()) os << ','; } os << '}'; return os; } template ostream& operator<<(ostream& os, const unordered_map& m) { os << '{'; for (auto itr = m.begin(); itr != m.end();) { os << '(' << itr->first << ',' << itr->second << ')'; if (++itr != m.end()) os << ','; } os << '}'; return os; } template ostream& operator<<(ostream& os, const set& s) { os << '{'; for (auto itr = s.begin(); itr != s.end();) { os << *itr; if (++itr != s.end()) os << ','; } os << '}'; return os; } template ostream& operator<<(ostream& os, const multiset& s) { os << '{'; for (auto itr = s.begin(); itr != s.end();) { os << *itr; if (++itr != s.end()) os << ','; } os << '}'; return os; } template ostream& operator<<(ostream& os, const unordered_set& s) { os << '{'; for (auto itr = s.begin(); itr != s.end();) { os << *itr; if (++itr != s.end()) os << ','; } os << '}'; return os; } template ostream& operator<<(ostream& os, const deque& v) { for (int i = 0; i < (int)v.size(); i++) { os << v[i] << (i + 1 == (int)v.size() ? "" : " "); } return os; } void debug_out() { cerr << '\n'; } template void debug_out(Head&& head, Tail&&... tail) { cerr << head; if (sizeof...(Tail) > 0) cerr << ", "; debug_out(move(tail)...); } #ifdef LOCAL #define debug(...) \ cerr << " "; \ cerr << #__VA_ARGS__ << " :[" << __LINE__ << ":" << __FUNCTION__ << "]" << '\n'; \ cerr << " "; \ debug_out(__VA_ARGS__) #else #define debug(...) 42 #endif template T gcd(T x, T y) { return y != 0 ? gcd(y, x % y) : x; } template T lcm(T x, T y) { return x / gcd(x, y) * y; } template inline bool chmin(T1& a, T2 b) { if (a > b) { a = b; return true; } return false; } template inline bool chmax(T1& a, T2 b) { if (a < b) { a = b; return true; } return false; } #pragma endregion /** * @brief Binary Indexed Tree * @docs docs/datastructure/BinaryIndexedTree.md */ template class BinaryIndexedTree { T sum(int i) { T res = T(); for (; i > 0; i -= (i & -i)) res += dat[i]; return res; } public: int n; vector dat; BinaryIndexedTree(int n_) : n(n_ + 1), dat(n + 1, 0) {} void add(int i, const T& x) { for (++i; i <= n; i += (i & -i)) dat[i] += x; } T query(int l, int r) { return sum(r) - sum(l); } int lower_bound(T x) const { if (x <= 0) return 0; int pos = 0, k = 1; while (k < n) k <<= 1; for (; k > 0; k >>= 1) { if (pos + k <= n && dat[pos + k] < x) { x -= dat[pos + k]; pos += k; } } return pos; } int upper_bound(T x) const { return lower_bound(x + 1); } T operator[](int i) { return query(i, i + 1); } }; const int INF = 1e9; const long long IINF = 1e18; const int dx[4] = {1, 0, -1, 0}, dy[4] = {0, 1, 0, -1}; const char dir[4] = {'D', 'R', 'U', 'L'}; const long long MOD = 1000000007; // const long long MOD = 998244353; int main() { cin.tie(0); ios::sync_with_stdio(false); int N; cin >> N; vector A(N); cin >> A; vector group(N); // 1:両隣より大きい 0:両隣より小さい for (int i = 0; i < N; i++) group[i] = ((i & 1) ^ (A[0] > A[1])); // 入れ替えは1及び0同士でしか発生し得ない // 隣接での交換は許されえない(元々門松列) // 各場所での有効範囲を求めて、お互いにその範囲に入っているような2数の数え上げ // 自分同士が入れ替え可能の判定になってしまうことに注意 vector Min(N), Max(N); for (int i = 0; i < N; i++) { if (group[i]) { Min[i] = max((i - 1 >= 0 ? A[i - 1] : 1), (i + 1 < N ? A[i + 1] : 1)); Max[i] = N + 1; } else { Min[i] = 1; Max[i] = min((i - 1 >= 0 ? A[i - 1] : N + 1), (i + 1 < N ? A[i + 1] : N + 1)); } } vector> u, v; for (int i = 0; i < N; i++) { u.emplace_back(A[i], Min[i], Max[i]); v.emplace_back(Min[i], A[i], Max[i]); } sort(ALL(u)); sort(ALL(v)); priority_queue, vector>, greater>> pq; BinaryIndexedTree BIT(N + 1); ll ans = 0; auto PUSH = [&](int i) { int val, l, r; tie(l, val, r) = v[i]; pq.emplace(r, val); BIT.add(val, 1); }; auto POP = [&]() { auto p = pq.top(); pq.pop(); int val = p.second; BIT.add(val, -1); }; for (int i = 0, j = 0; i < N; i++) { int val, l, r; tie(val, l, r) = u[i]; while (j < N && get<0>(v[j]) <= val) PUSH(j++); while (!pq.empty() && pq.top().first <= val) POP(); ans += BIT.query(l, r) - 1; } cout << ans / 2 << '\n'; return 0; }