結果

問題 No.1095 Smallest Kadomatsu Subsequence
ユーザー 👑 Kazun
提出日時 2020-11-28 15:31:43
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 1,059 ms / 2,000 ms
コード長 3,553 bytes
コンパイル時間 305 ms
コンパイル使用メモリ 82,388 KB
実行使用メモリ 180,524 KB
最終ジャッジ日時 2024-09-12 23:02:38
合計ジャッジ時間 12,788 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 30
権限があれば一括ダウンロードができます

ソースコード

diff #
プレゼンテーションモードにする

class Segment_Tree():
    """
    このプログラム内は1-index
    """
    def __init__(self,L,calc,unit):
        """calcを演算とするリストLのSegment Treeを作成
        calc:演算(2変数関数,モノイド)
        unit:モノイドcalcの単位元 (xe=ex=xを満たすe)
        """
        self.calc=calc
        self.unit=unit
        N=len(L)
        d=max(1,(N-1).bit_length())
        k=1<<d
        self.data=[unit]*k+L+[unit]*(k-len(L))
        self.N=k
        self.depth=d
        for i in range(k-1,0,-1):
            self.data[i]=calc(self.data[i<<1],self.data[i<<1|1])
    def get(self,k,index=1):
        """第k要素を取得
        """
        assert 0<=k-index<self.N,"添字が範囲外"
        return self.data[k-index+self.N]
    def update(self,k,x,index=1):
        """第k要素をxに変え,更新を行う.
        k:数列の要素
        x:更新後の値
        """
        assert 0<=k-index<self.N,"添字が範囲外"
        m=(k-index)+self.N
        self.data[m]=x
        while m>1:
            m>>=1
            self.data[m]=self.calc(self.data[m<<1],self.data[m<<1|1])
    def product(self,From,To,index=1,left_closed=True,right_closed=True):
        L=(From-index)+self.N+(not left_closed)
        R=(To-index)+self.N+(right_closed)
        vL=self.unit
        vR=self.unit
        while L<R:
            if L&1:
                vL=self.calc(vL,self.data[L])
                L+=1
            if R&1:
                R-=1
                vR=self.calc(self.data[R],vR)
            L>>=1
            R>>=1
        return self.calc(vL,vR)
    def all_product(self):
        return self.data[1]
    def max_right(self,l,r,cond,index=0):
        """以下の2つをともに満たすxの1つを返す.\n
        (1) r=l or cond(data[l]*data[l+1]*...*d[r-1]):True
        (2) r=x or cond(data[l]*data[l+1]*...*data[r]):False
        ※fが単調減少の時,cond(data[l]*...*data[r-1])を満たす最大のrとなる.
        cond:関数(引数が同じならば結果も同じ)
        cond(unit):True
        0<=l<=r<=n
        """
        l-=index
        assert 0<=l<=r<=self.num,"添字が範囲外"
        assert cond(self.unit),"単位元が条件を満たさない."
        if l==r:
            return r+index
        l+=(self.num-1)
        sm=self.unit
        calc=self.calc
        while True:
            while l%2:
                l=(l-1)>>1
            if not cond(calc(sm,self.data[l])):
                while l<self.num-1:
                    l=2*l+1
                    if cond(calc(sm,self.data[l])):
                        sm=calc(sm,self.data[l])
                        l+=1
                return min(l-(self.num-1)+index,r)
            sm=calc(sm,self.data[l])
            l+=1
            m=l+1
            if not (m&(-m) !=m):
                break
        return r+index
#================================================
import sys
input=sys.stdin.readline
N=int(input())
A=list(map(int,input().split()))
B=sorted(A)
inf=float("inf")
D={x:i for i,x in enumerate(B)}
S=Segment_Tree([inf]*N,min, inf)
T=Segment_Tree(B.copy(),min, inf)
X=inf
for i in range(N):
    m=D[A[i]]
    T.update(m, inf,0)
    if m>0:
        x=S.product(0,m-1,0)
        y=T.product(0,m-1,0)
        if x<A[i] and y<A[i]:
            X=min(X,x+y+A[i])
    if m<N-1:
        x=S.product(m+1,N-1,0)
        y=T.product(m+1,N-1,0)
        if x>A[i] and y>A[i]:
            X=min(X,x+y+A[i])
    S.update(m,A[i],0)
if X==inf:
    print(-1)
else:
    print(X)
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0