結果
問題 |
No.3208 Parse AND OR Affection
|
ユーザー |
|
提出日時 | 2025-07-19 13:42:06 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 725 ms / 5,000 ms |
コード長 | 3,382 bytes |
コンパイル時間 | 447 ms |
コンパイル使用メモリ | 82,376 KB |
実行使用メモリ | 113,256 KB |
最終ジャッジ日時 | 2025-07-19 13:42:18 |
合計ジャッジ時間 | 11,350 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge4 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 1 |
other | AC * 20 |
ソースコード
import sys input = lambda :sys.stdin.readline()[:-1] ni = lambda :int(input()) na = lambda :list(map(int,input().split())) yes = lambda :print("yes");Yes = lambda :print("Yes");YES = lambda : print("YES") no = lambda :print("no");No = lambda :print("No");NO = lambda : print("NO") ####################################################################### inf = 10**18 class SegmentTree: # 初期化処理 # f : SegmentTreeにのせるモノイド # default : fに対する単位元 def __init__(self, size, f=lambda x,y : min(x,y), default=inf): self.size = 2**(size-1).bit_length() # 簡単のため要素数Nを2冪にする self.default = default self.dat = [default]*(self.size*2) # 要素を単位元で初期化 self.f = f def update(self, i, x): i += self.size self.dat[i] = x while i > 1: i >>= 1 self.dat[i] = self.f(self.dat[i*2], self.dat[i*2+1]) def updatef(self, i, x): i += self.size self.dat[i] = self.f(self.dat[i],x) while i > 1: i >>= 1 self.dat[i] = self.f(self.dat[i*2], self.dat[i*2+1]) def query(self, l, r): l += self.size r += self.size lres, rres = self.default, self.default while l < r: if l & 1: lres = self.f(lres, self.dat[l]) l += 1 if r & 1: r -= 1 rres = self.f(self.dat[r], rres) # モノイドでは可換律は保証されていないので演算の方向に注意 l >>= 1 r >>= 1 res = self.f(lres, rres) return res def query2(self): s = 1 #print(self.size) while s<self.size: #print(s) if self.dat[s*2]>self.dat[s*2+1]: s = s*2 else: s = s*2+1 return s-self.size n, q = na() x = input() def get(OP, VAL): z = [0, 0, 0, 0, 0, 0, 0] if VAL == "T": z[3] += 1 z[4] += 1 else: z[2] += 1 if OP == "*": for i in range(2): z[i] = i * (VAL == "T") z[5 + i] += i * (VAL == "T") elif OP == "+": for i in range(2): z[i] = i | (VAL == "T") z[5 + i] += i |(VAL == "T") else: for i in range(2): z[i] = i ^ (VAL == "T") z[5 + i] += i ^ (VAL == "T") return z # [1, 3] # [0, 1) # (op)(val) の列の評価値 # 一番左に(T/F)が来た時の値 # valからスタートして(T/F)になるやつの個数 # valからスタートしたやつの答えの総和 # 一番左に(T/F)が来た時にどれだけ答えが増えるか def op(x, y): if x == None: return y elif y == None: return x z = [y[x[0]], y[x[1]], y[2], y[3], x[4] + y[4] + y[5] * x[2] + y[6] * x[3], x[5] + y[5 + x[0]], x[6] + y[5 + x[1]]] z[2 + y[0]] += x[2] z[2 + y[1]] += x[3] return z e = None def f(x, v): return x[4] + x[5 + (v == "T")] + (v == "T") st = SegmentTree(n//2, op, e) for i in range(n//2): # print(i, get(x[i*2+1], x[i*2+2])) st.update(i, get(x[i*2+1], x[i*2+2])) for _ in range(q): l, r = na() if l == r: print(int(x[l-1] == "T")) else: res = st.query(l//2, r//2) # print(res) print(f(res, x[l-1]))