#!/usr/bin/env python3 import sys MOD = 998244353 class SegTree: def __init__(self, monoid, bottomList, func): self.monoid = monoid self.func = func self.bottomLen = len(bottomList) self.offset = self.bottomLen # セグ木の最下層の最初のインデックスに合わせるためのオフセット self.segLen = self.bottomLen * 2 self.tree = [monoid] * self.segLen self.build(bottomList) """ 初期化 O(self.segLen) """ def build(self, seq): # 最下段の初期化 for i, x in enumerate(seq, self.offset): self.tree[i] = x # ビルド for i in range(self.offset - 1, 0, -1): self.tree[i] = self.func(self.tree[i << 1], self.tree[i << 1 | 1]) """ 一点加算 他演算 O(log(self.bottomLen)) """ def pointAdd(self, i: int, val: int): i += self.offset self.tree[i] += val # self.tree[i] = self.func(self.tree[i], val) <- こっちの方が都度の修正は発生しない。再帰が遅くないか次第。 while i > 1: i >>= 1 # 2で割って頂点に達するまで下層から遡上 self.tree[i] = self.func(self.tree[i << 1], self.tree[i << 1 | 1]) # 必ず末尾0と1がペアになるのでor演算子 """ 一点更新 O(log(self.bottomLen)) """ def pointUpdate(self, i: int, val: int): i += self.offset self.tree[i] = val while i > 1: i >>= 1 # 2で割って頂点に達するまで下層から遡上 self.tree[i] = self.func(self.tree[i << 1], self.tree[i << 1 | 1]) # 必ず末尾0と1がペアになるのでor演算子 """ 区間取得 O(log(self.bottomLen)) """ def getRange(self, l: int, r: int): l += self.offset r += self.offset vL = ((10 ** 10, 0), (10 ** 10, 0), (0, 0)) vR = ((10 ** 10, 0), (10 ** 10, 0), (0, 0)) while l < r: if l & 1: vL = self.func(vL, self.tree[l]) l += 1 if r & 1: r -= 1 vR = self.func(self.tree[r], vR) l >>= 1 r >>= 1 return self.func(vL, vR) """ 一点取得 O(log(self.bottomLen)) """ def getPoint(self, i: int): i += self.offset return self.tree[i] def main(): N = int(input()) A = list(map(int, input().split())) def f(x, y): if x[0][0] < y[0][0]: m1 = x[0] if m1 == x[1]: m2 = y[0] else: if x[1][0] < y[0][0]: m2 = x[1] else: m2 = y[0] else: m1 = y[0] if m1 == y[1]: m2 = x[0] else: if y[1][0] < x[0][0]: m2 = y[1] else: m2 = x[0] if x[2][0] > y[2][0]: M = x[2] else: M = y[2] return (m1, m2, M) seg = SegTree(0, [((aa, i), (aa, i), (aa, i)) for i, aa in enumerate(A)], f) # print(seg.tree) # True ------ ok | ng ---- False def is_ok(l: int, r: int): # print("$", l, r) m1, m2, M = seg.getRange(l, r + 1) # print("$", m1, m2, M) return m1[0] + m2[0] >= M[0] def binSearch(l: int, ok: int, ng: int): # print(ok, ng) # はじめの2値の状態 while abs(ok - ng) > 1: # 終了条件(差が1となり境界を見つけた時) mid = (ok + ng) // 2 # print("target > ", mid) result = is_ok(l, mid) # print(result) if result: ok = mid # midが条件を満たすならmidまではokなのでokの方を真ん中まで持っていく else: ng = mid # midが条件を満たさないならmidまではngなのでngの方を真ん中まで持っていく # print(ok, ng) # 半分に切り分ける毎の2値の状態 return ok # 関数呼び出し時の引数のngは絶対評価されないのでngに書く値が答えになりうるならその数マイナス1を指定する。 ans = 0 for l in range(N): ans += binSearch(l, l, N) - l print(ans) return if __name__ == '__main__': main()