結果

問題 No.2080 Simple Nim Query
ユーザー FromBooskaFromBooska
提出日時 2023-10-11 16:21:42
言語 PyPy3
(7.3.15)
結果
WA  
実行時間 -
コード長 3,681 bytes
コンパイル時間 267 ms
コンパイル使用メモリ 87,000 KB
実行使用メモリ 122,792 KB
最終ジャッジ日時 2023-10-11 16:21:53
合計ジャッジ時間 7,877 ms
ジャッジサーバーID
（参考情報） 		judge13 / judge14
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 79 ms
71,072 KB
testcase_01 AC 74 ms
71,104 KB
testcase_02 AC 75 ms
71,076 KB
testcase_03 WA -
testcase_04 AC 614 ms
79,544 KB
testcase_05 AC 818 ms
120,448 KB
testcase_06 WA -
testcase_07 WA -
testcase_08 WA -
testcase_09 WA -
testcase_10 WA -
権限があれば一括ダウンロードができます

ソースコード

diff # 

# 1山のとき、手番が勝ち
# 2山以上のとき、右端の山に石が2個以上なら手番勝ち、1個なら手番負け
# そこまで簡単じゃない、211なら先手勝ち、2111なら先手負け
# つまり右端から2以上までに1が何個かということ
# セグメントツリーに、要素が2以上ならばインデックス番号を入れる
# そうすれば最大値がインデックス番号となる

class segtree():
    n=1
    size=1
    log=2
    d=[0]
    op=None
    e=10**15
    def __init__(self,V,OP,E):
        self.n=len(V)
        self.op=OP
        self.e=E
        self.log=(self.n-1).bit_length()
        self.size=1<<self.log
        self.d=[E for i in range(2*self.size)]
        for i in range(self.n):
            self.d[self.size+i]=V[i]
        for i in range(self.size-1,0,-1):
            self.update(i)
    def set(self,p,x):
        assert 0<=p and p<self.n
        p+=self.size
        self.d[p]=x
        for i in range(1,self.log+1):
            self.update(p>>i)
    def get(self,p):
        assert 0<=p and p<self.n
        return self.d[p+self.size]
    def prod(self,l,r):
        assert 0<=l and l<=r and r<=self.n
        sml=self.e
        smr=self.e
        l+=self.size
        r+=self.size
        while(l<r):
            if (l&1):
                sml=self.op(sml,self.d[l])
                l+=1
            if (r&1):
                smr=self.op(self.d[r-1],smr)
                r-=1
            l>>=1
            r>>=1
        return self.op(sml,smr)
    def all_prod(self):
        return self.d[1]
    def max_right(self,l,f):
        assert 0<=l and l<=self.n
        assert f(self.e)
        if l==self.n:
            return self.n
        l+=self.size
        sm=self.e
        while(1):
            while(l%2==0):
                l>>=1
            if not(f(self.op(sm,self.d[l]))):
                while(l<self.size):
                    l=2*l
                    if f(self.op(sm,self.d[l])):
                        sm=self.op(sm,self.d[l])
                        l+=1
                return l-self.size
            sm=self.op(sm,self.d[l])
            l+=1
            if (l&-l)==l:
                break
        return self.n
    def min_left(self,r,f):
        assert 0<=r and r<self.n
        assert f(self.e)
        if r==0:
            return 0
        r+=self.size
        sm=self.e
        while(1):
            r-=1
            while(r>1 & (r%2)):
                r>>=1
            if not(f(self.op(self.d[r],sm))):
                while(r<self.size):
                    r=(2*r+1)
                    if f(self.op(self.d[r],sm)):
                        sm=self.op(self.d[r],sm)
                        r-=1
                return r+1-self.size
            sm=self.op(self.d[r],sm)
            if (r& -r)==r:
                break
        return 0
    def update(self,k):
        self.d[k]=self.op(self.d[2*k],self.d[2*k+1])
    def __str__(self):
        return str([self.get(i) for i in range(self.n)])

def segfunc(x, y):
    return max(x, y)

N, Q = map(int, input().split())
A = list(map(int, input().split()))
B = []
for i in range(N):
    a = A[i]
    if a >= 2:
        B.append(i+1)
    else:
        B.append(0)
ST = segtree(B, segfunc, 0)

for i in range(Q):
    t, x, y = map(int, input().split())
    if t == 1:
        if y >= 1:
            ST.set(x-1, x)
        else:
            ST.set(x-1, 0)
    elif t == 2:
        if x == y:
            print('F')
        else:
            mx_idx = ST.prod(x-1, y)-1
            #print('mx_idx', mx_idx, 'ST', ST)
            if (y-1-mx_idx)%2 == 0:
                print('F')
            else:
                print('S')
0