結果

問題 No.2308 [Cherry 5th Tune B] もしかして、真?
ユーザー navel_tosnavel_tos
提出日時 2023-05-20 01:57:11
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 421 ms / 2,000 ms
コード長 2,421 bytes
コンパイル時間 264 ms
コンパイル使用メモリ 81,792 KB
実行使用メモリ 138,496 KB
最終ジャッジ日時 2024-12-21 04:29:54
合計ジャッジ時間 17,116 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 39
権限があれば一括ダウンロードができます

ソースコード

diff # 

#yukicoder389D もしかして、真？_AfterContest

'''
並行二分探索木が必要だよなと思っていましたが実際に必要ですね。
しかたないので実装しましょう。

でもnodeを直接覗けばいいのか。うん･･･
'''
#Segment Tree: O(logN)
class SegmentTree:
    def __init__(self,n,identity_e,combine_f):
        self._n=n;self._size=1
        while self._size<self._n:self._size<<=1
        self._identity_e=identity_e;self._combine_f=combine_f;self._node=[self._identity_e]*2*self._size
    def build(self,array):
        assert len(array)==self._n,'array too large'
        for i,v in enumerate(array,start=self._size):self._node[i]=v
        for i in range(self._size-1,0,-1):self._node[i]=self._combine_f(self._node[i<<1|0],self._node[i<<1|1])
    def update(self,index,value):  #一点更新
        i=self._size+index;self._node[i]=value
        while i-1:i>>=1;self._node[i]=self._combine_f(self._node[i<<1|0],self._node[i<<1|1])
    def fold(self,L,R):  #区間取得: [L,R)の区間値を得る
        L+=self._size;R+=self._size;vL,vR=[self._identity_e]*2
        while L<R:
            if L&1:vL=self._combine_f(vL,self._node[L]);L+=1
            if R&1:R-=1;vR=self._combine_f(self._node[R],vR)
            L>>=1;R>>=1
        return self._combine_f(vL,vR)

add =lambda x,y:x+y
oand=lambda x,y:x&y
oor =lambda x,y:x|y
oxor=lambda x,y:x^y
oimp=lambda x,y:y if x else True

for _ in range(int(input())):
    N=int(input()); X=list(map(lambda x:x=='True', input().split()))
    Y=input().split(); S=list(map(int,input().split()))
    ST=SegmentTree(N,0,add); ST.build([1]*N)

    #手動で平衡二分探索木　区間[0,x)がちょうどiとなる最大のiを求めよ
    for i in S:
        cntL,cntR=0,0; Lt,Rt=1,1; size=ST._size  #cnt: 現在の区間より左側にある値の数
        while Lt<size:
            if cntL+ST._node[Lt<<1|0]>=i:   Lt=Lt<<1|0
            else: cntL+=ST._node[Lt<<1|0];  Lt=Lt<<1|1
            if cntR+ST._node[Rt<<1|0]>=i+1: Rt=Rt<<1|0
            else: cntR+=ST._node[Rt<<1|0];  Rt=Rt<<1|1
        Lt-=size; Rt-=size; ST.update(Rt,0)  #演算子を使用したRt側を削除するよう変更
        if   Y[Rt-1]=='and': X[Lt]=oand(X[Lt],X[Rt])
        elif Y[Rt-1]=='or' : X[Lt]=oor (X[Lt],X[Rt])
        elif Y[Rt-1]=='xor': X[Lt]=oxor(X[Lt],X[Rt])
        elif Y[Rt-1]=='imp': X[Lt]=oimp(X[Lt],X[Rt])
    print(X[Lt])
0