結果

問題 No.1435 Mmm......
ユーザー kept1994kept1994
提出日時 2022-05-01 18:07:37
言語 PyPy3
(7.3.15)
結果
TLE  
実行時間 -
コード長 4,462 bytes
コンパイル時間 314 ms
コンパイル使用メモリ 82,076 KB
実行使用メモリ 130,328 KB
最終ジャッジ日時 2024-06-30 20:06:51
合計ジャッジ時間 33,846 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 39 ms
54,568 KB
testcase_01 AC 38 ms
53,292 KB
testcase_02 AC 41 ms
53,704 KB
testcase_03 AC 38 ms
53,140 KB
testcase_04 AC 38 ms
53,080 KB
testcase_05 AC 39 ms
54,668 KB
testcase_06 TLE -
testcase_07 TLE -
testcase_08 TLE -
testcase_09 TLE -
testcase_10 TLE -
testcase_11 TLE -
testcase_12 TLE -
testcase_13 TLE -
testcase_14 AC 1,573 ms
106,012 KB
testcase_15 TLE -
testcase_16 TLE -
testcase_17 AC 1,969 ms
111,488 KB
testcase_18 TLE -
testcase_19 TLE -
testcase_20 TLE -
testcase_21 TLE -
testcase_22 TLE -
testcase_23 TLE -
testcase_24 TLE -
testcase_25 TLE -
testcase_26 TLE -
testcase_27 TLE -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#!/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()
0