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<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>=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 l0: x=S.product(0,m-1,0) y=T.product(0,m-1,0) if xA[i] and y>A[i]: X=min(X,x+y+A[i]) S.update(i,A[i],0) if X==inf: print(-1) else: print(X)