結果

問題 No.875 Range Mindex Query
ユーザー 👑 KazunKazun
提出日時 2021-02-10 16:52:26
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 359 ms / 2,000 ms
コード長 4,934 bytes
コンパイル時間 291 ms
コンパイル使用メモリ 87,352 KB
実行使用メモリ 105,524 KB
最終ジャッジ日時 2023-09-22 11:29:17
合計ジャッジ時間 6,266 ms
ジャッジサーバーID
（参考情報） 		judge13 / judge12
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 70 ms
71,436 KB
testcase_01 AC 91 ms
75,796 KB
testcase_02 AC 89 ms
76,112 KB
testcase_03 AC 76 ms
75,672 KB
testcase_04 AC 81 ms
75,916 KB
testcase_05 AC 73 ms
71,536 KB
testcase_06 AC 85 ms
76,072 KB
testcase_07 AC 87 ms
76,072 KB
testcase_08 AC 81 ms
75,996 KB
testcase_09 AC 80 ms
75,888 KB
testcase_10 AC 92 ms
76,116 KB
testcase_11 AC 359 ms
100,848 KB
testcase_12 AC 293 ms
91,516 KB
testcase_13 AC 295 ms
105,348 KB
testcase_14 AC 287 ms
103,012 KB
testcase_15 AC 341 ms
105,172 KB
testcase_16 AC 293 ms
105,256 KB
testcase_17 AC 303 ms
105,524 KB
testcase_18 AC 300 ms
105,516 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

class Segment_Tree():
    """
    このプログラム内は1-index
    """

    def __init__(self,L,calc,unit,index):
        """calcを演算とするリストLのSegment Treeを作成

        calc:演算(2変数関数,モノイド)
        unit:モノイドcalcの単位元 (xe=ex=xを満たすe)
        index:数列の第1要素のindex
        """
        self.calc=calc
        self.unit=unit
        self.index=index

        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]=self.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,left,cond,index=1):
        """以下の2つをともに満たすxの1つを返す.\n
        (1) r=left or cond(data[left]*data[left+1]*...*d[right-1]):True
        (2) r=N+index or cond(data[left]*data[left+1]*...*data[right]):False
        ※condが単調減少の時,cond(data[left]*...*data[right-1])を満たす最大のrightとなる.

        cond:関数(引数が同じならば結果も同じ)
        cond(unit):True
        index<=left<=r<n+index
        """
        left-=index

        assert 0<=left<=self.N,"添字が範囲外"
        assert cond(self.unit),"単位元が条件を満たさない."

        if left==self.N:
            return self.N+index

        left+=self.N-(index-1)
        sm=self.unit

        calc=self.calc
        first=True
        while first or (left & (-left))!=left:
            first=False
            while left%2==0:
                left>>=1
            if not cond(calc(sm,self.data[left])):
                while left<self.N:
                    left<<=1
                    if cond(self.calc(sm,self.data[left])):
                        sm=self.calc(sm,self.data[left])
                        left+=1
                return left-self.N+index
            sm=self.calc(sm,self.data[left])
            left+=1
        return self.N+index

    def min_left(self,right,cond,index=1):
        """以下の2つをともに満たすxの1つを返す.\n
        (1) l=right or cond(data[left]*data[left+1]*...*d[right]):True
        (2) l=index or cond(data[left-1]*data[left+1]*...*data[right]):False
        ※condが単調減少の時,cond(data[left]*...*data[right-1])を満たす最大のrightとなる.

        cond:関数(引数が同じならば結果も同じ)
        cond(unit):True
        index<=left<=r<n+index
        """
        right-=index

        assert 0<=right<=self.N,"添字が範囲外"
        assert cond(self.unit),"単位元が条件を満たさない."

        if right==0:
            return index

        right+=self.N
        sm=self.unit

        calc=self.calc
        first=1
        while first or (right & (-right))!=right:
            first=0
            right-=1
            while right>1 and right&1:
                right>>=1

            if not cond(calc(self.data[right],sm)):
                while right<self.N:
                    right=2*right+1
                    if cond(calc(self.data[right],sm)):
                        sm=calc(self.data[right],sm)
                        right-=1
                return right+1-self.N+index
            sm=calc(self.data[right],sm)
        return index
#================================================
import sys
input=sys.stdin.readline
write=sys.stdout.write

N,Q=map(int,input().split())
A=["*"]+list(map(int,input().split()))
A_inv=[0]*(N+1)
for i,a in enumerate(A[1:],1):
    A_inv[a]=i

X=[]
S=Segment_Tree(A[1:],min,N+1,1)
for _ in range(Q):
    t,l,r=map(int,input().split())
    if t==1:
        p,q=A[l],A[r]
        A_inv[p],A_inv[q]=r,l
        A[l],A[r]=q,p
        S.update(l,q,1)
        S.update(r,p,1)
    else:
        alpha=S.product(l,r)
        X.append(A_inv[alpha])

write("\n".join(map(str,X)))
0