結果
問題 | No.877 Range ReLU Query |
ユーザー |
![]() |
提出日時 | 2025-01-02 13:39:27 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 1,080 ms / 2,000 ms |
コード長 | 4,098 bytes |
コンパイル時間 | 707 ms |
コンパイル使用メモリ | 82,048 KB |
実行使用メモリ | 123,916 KB |
最終ジャッジ日時 | 2025-01-02 13:39:44 |
合計ジャッジ時間 | 13,298 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 1 |
other | AC * 20 |
ソースコード
import typingdef _ceil_pow2(n: int) -> int:x = 0while (1 << x) < n:x += 1return xdef _bsf(n: int) -> int:x = 0while n % 2 == 0:x += 1n //= 2return xclass SegTree:def __init__(self,op: typing.Callable[[typing.Any, typing.Any], typing.Any],e: typing.Any,v: typing.Union[int, typing.List[typing.Any]]) -> None:self._op = opself._e = eif isinstance(v, int):v = [e] * vself._n = len(v)self._log = _ceil_pow2(self._n)self._size = 1 << self._logself._d = [e] * (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: int, x: typing.Any) -> None:assert 0 <= p < self._np += self._sizeself._d[p] = xfor i in range(1, self._log + 1):self._update(p >> i)def get(self, p: int) -> typing.Any:assert 0 <= p < self._nreturn self._d[p + self._size]def prod(self, left: int, right: int) -> typing.Any:assert 0 <= left <= right <= self._nsml = self._esmr = self._eleft += self._sizeright += self._sizewhile left < right:if left & 1:sml = self._op(sml, self._d[left])left += 1if right & 1:right -= 1smr = self._op(self._d[right], smr)left >>= 1right >>= 1return self._op(sml, smr)def all_prod(self) -> typing.Any:return self._d[1]def max_right(self, left: int,f: typing.Callable[[typing.Any], bool]) -> int:assert 0 <= left <= self._nassert f(self._e)if left == self._n:return self._nleft += self._sizesm = self._efirst = Truewhile first or (left & -left) != left:first = Falsewhile left % 2 == 0:left >>= 1if not f(self._op(sm, self._d[left])):while left < self._size:left *= 2if f(self._op(sm, self._d[left])):sm = self._op(sm, self._d[left])left += 1return left - self._sizesm = self._op(sm, self._d[left])left += 1return self._ndef min_left(self, right: int,f: typing.Callable[[typing.Any], bool]) -> int:assert 0 <= right <= self._nassert f(self._e)if right == 0:return 0right += self._sizesm = self._efirst = Truewhile first or (right & -right) != right:first = Falseright -= 1while right > 1 and right % 2:right >>= 1if not f(self._op(self._d[right], sm)):while right < self._size:right = 2 * right + 1if f(self._op(self._d[right], sm)):sm = self._op(self._d[right], sm)right -= 1return right + 1 - self._sizesm = self._op(self._d[right], sm)return 0def _update(self, k: int) -> None:self._d[k] = self._op(self._d[2 * k], self._d[2 * k + 1])N, Q = map(int, input().split())A = list(map(int, input().split()))ST1 = SegTree(lambda x, y: x + y, 0, [0] * N)ST2 = SegTree(lambda x, y: x + y, 0, [0] * N)A2 = []for i, a in enumerate(A):A2.append((a, 0, i))for i in range(Q):_, l, r, x = map(int, input().split())A2.append((x, 1, i, l, r))A2.sort(reverse=True)ans = [0] * Qfor i in range(len(A2)):if A2[i][1] == 0:a, _, id = A2[i]ST1.set(id, a)ST2.set(id, 1)else:x, _, id, l, r = A2[i]ans[id] = ST1.prod(l-1,r) - x * ST2.prod(l-1,r)for a in ans:print(a)