結果
問題 | No.1675 Strange Minimum Query |
ユーザー | stng |
提出日時 | 2021-09-11 15:31:28 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 1,545 ms / 2,000 ms |
コード長 | 9,310 bytes |
コンパイル時間 | 774 ms |
コンパイル使用メモリ | 82,260 KB |
実行使用メモリ | 114,432 KB |
最終ジャッジ日時 | 2024-06-22 23:39:26 |
合計ジャッジ時間 | 33,552 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge1 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 40 ms
53,888 KB |
testcase_01 | AC | 40 ms
53,888 KB |
testcase_02 | AC | 45 ms
53,760 KB |
testcase_03 | AC | 783 ms
103,680 KB |
testcase_04 | AC | 702 ms
95,744 KB |
testcase_05 | AC | 198 ms
83,840 KB |
testcase_06 | AC | 860 ms
98,768 KB |
testcase_07 | AC | 910 ms
101,384 KB |
testcase_08 | AC | 60 ms
68,992 KB |
testcase_09 | AC | 152 ms
78,496 KB |
testcase_10 | AC | 622 ms
98,804 KB |
testcase_11 | AC | 349 ms
91,744 KB |
testcase_12 | AC | 703 ms
103,152 KB |
testcase_13 | AC | 756 ms
111,092 KB |
testcase_14 | AC | 942 ms
114,432 KB |
testcase_15 | AC | 834 ms
114,396 KB |
testcase_16 | AC | 39 ms
54,228 KB |
testcase_17 | AC | 436 ms
86,196 KB |
testcase_18 | AC | 504 ms
87,704 KB |
testcase_19 | AC | 703 ms
97,224 KB |
testcase_20 | AC | 1,079 ms
103,936 KB |
testcase_21 | AC | 984 ms
105,316 KB |
testcase_22 | AC | 1,217 ms
114,384 KB |
testcase_23 | AC | 905 ms
97,352 KB |
testcase_24 | AC | 853 ms
98,688 KB |
testcase_25 | AC | 713 ms
92,108 KB |
testcase_26 | AC | 491 ms
91,164 KB |
testcase_27 | AC | 908 ms
102,336 KB |
testcase_28 | AC | 633 ms
95,488 KB |
testcase_29 | AC | 582 ms
94,392 KB |
testcase_30 | AC | 481 ms
89,260 KB |
testcase_31 | AC | 1,111 ms
102,832 KB |
testcase_32 | AC | 1,545 ms
112,580 KB |
testcase_33 | AC | 1,466 ms
113,408 KB |
testcase_34 | AC | 1,479 ms
113,388 KB |
testcase_35 | AC | 1,337 ms
113,484 KB |
testcase_36 | AC | 1,479 ms
113,280 KB |
ソースコード
import sys input = sys.stdin.buffer.readline sys.setrecursionlimit(10 ** 7) class SegTree(object): def __init__(self, N, op_data, u_data): self._n = N self.log = (N-1).bit_length() self.size = 1 << self.log self.op = op_data self.e = u_data self.data = [u_data] * (2 * self.size) # self.len = [1] * (2 * self.size) def _update(self, i): self.data[i] = self.op(self.data[i << 1], self.data[i << 1 | 1]) def initialize(self, arr=None): """ segtreeをarrで初期化する。len(arr) == Nにすること """ if arr: for i, a in enumerate(arr, self.size): self.data[i] = a for i in reversed(range(1, self.size)): self._update(i) # self.len[i] = self.len[i << 1] + self.len[i << 1 | 1] def update(self, p, x): """ data[p] = x とする (0-indexed)""" p += self.size self.data[p] = x for i in range(1, self.log + 1): self._update(p >> i) def get(self, p): """ data[p]を返す """ return self.data[p + self.size] def prod(self, l, r): """ op_data(data[l], data[l+1], ..., data[r-1])を返す (0-indexed) """ sml = self.e smr = self.e l += self.size r += self.size while l < r: if l & 1: sml = self.op(sml, self.data[l]) l += 1 if r & 1: r -= 1 smr = self.op(self.data[r], smr) l >>= 1 r >>= 1 return self.op(sml, smr) def all_prod(self): """ op(data[0], data[1], ... data[N-1])を返す """ return self.data[1] def max_right(self, l, func): """ func(l, l+1, ..., r-1) = True, func(l, l+1, ..., r-1, r) = Falseとなる r を返す """ if l == self._n: return self._n l += self.size sm = self.e while True: while l % 2 == 0: l >>= 1 if not func(self.op(sm, self.data[l])): while l < self.size: l <<= 1 if func(self.op(sm, self.data[l])): sm = self.op(sm, self.data[l]) l += 1 return l - self.size sm = self.op(sm, self.data[l]) l += 1 if (l & -l) == l: break return self._n def min_left(self, r, func): """ func( l, l+1, ..., r-1) = True, func(l-1, l, l+1, ..., r-1) = Falseとなる l を返す """ if r == 0: return 0 r += self.size sm = self.e while True: r -= 1 while r > 1 and r & 1: r >>= 1 if not func(self.op(self.data[r], sm)): while r < self.size: r = r << 1 | 1 if func(self.op(self.data[r], sm)): sm = self.op(self.data[r], sm) r -= 1 return r + 1 - self.size sm = self.op(self.data[r], sm) if (r & -r) == r: break return 0 class LazySegTree(SegTree): def __init__(self, N, op_data, u_data, op_lazy, u_lazy, op_merge): super().__init__(N, op_data, u_data) self.composition = op_lazy self.mapping = op_merge self.id = u_lazy self.lazy = [u_lazy] * self.size def _all_apply(self, i, F): # self.data[i] = self.mapping(F, self.data[i], self.len[i]) self.data[i] = self.mapping(F, self.data[i]) if i < self.size: self.lazy[i] = self.composition(F, self.lazy[i]) def _push(self, i): self._all_apply(i << 1, self.lazy[i]) self._all_apply(i << 1 | 1, self.lazy[i]) self.lazy[i] = self.id def update(self, p, x): """ data[p] = x とする (0-indexed)""" p += self.size for i in reversed(range(1, self.log + 1)): self._push(p >> i) self.data[p] = x for i in range(1, self.log + 1): self._update(p >> i) def apply(self, p, F): """ data[p]にFを作用させる(data[p] = op_merge(F, data[p])とする, 0-indexed) """ p += self.size for i in reversed(range(1, self.log + 1)): self._push(p >> i) # self.data[p] = self.mapping(F, self.data[p], self.len[p]) self.data[p] = self.mapping(F, self.data[p]) for i in range(1, self.log + 1): self._update(p >> i) def range_apply(self, l, r, F): """ i = l, l+1, ..., r-1 について、Fを作用させる(op_merge(F, data[i]), 0-indexed) """ if l == r: return l += self.size r += self.size for i in reversed(range(1, self.log + 1)): # too->down if ((l >> i) << i) != l: self._push(l >> i) if ((r >> i) << i) != r: self._push((r - 1) >> i) l2, r2 = l, r while l < r: if l & 1: self._all_apply(l, F) l += 1 if r & 1: r -= 1 self._all_apply(r, F) l >>= 1 r >>= 1 l, r = l2, r2 for i in range(1, self.log + 1): if ((l >> i) << i) != l: self._update(l >> i) if ((r >> i) << i) != r: self._update((r - 1) >> i) def get(self, p): """ data[p]を返す """ p += self.size for i in reversed(range(1, self.log + 1)): self._push(p >> i) return self.data[p] def prod(self, l, r): """ op_data(data[l], data[l+1], ..., data[r-1])を返す (0-indexed) l == rの時は単位元u_dataを返す """ if l == r: return self.e l += self.size r += self.size for i in reversed(range(1, self.log + 1)): if ((l >> i) << i) != l: self._push(l >> i) if ((r >> i) << i) != r: self._push(r >> i) sml = self.e smr = self.e while l < r: if l & 1: sml = self.op(sml, self.data[l]) l += 1 if r & 1: r -= 1 smr = self.op(self.data[r], smr) l >>= 1 r >>= 1 return self.op(sml, smr) def max_right(self, l, func): """ func(l, l+1, ..., r-1) = True, func(l, l+1, ..., r-1, r) = Falseとなる r を返す """ if l == self._n: return self._n l += self.size for i in reversed(range(1, self.log + 1)): self._push(l >> i) sm = self.e while True: while l % 2 == 0: l >>= 1 if not func(self.op(sm, self.data[[l]])): while l < self.size: self._push(l) l <<= 1 if func(self.op(sm, self.data[l])): sm = self.op(sm, self.data[l]) l += 1 return l - self.size sm = self.op(sm, self.data[l]) l += 1 if (l & -l) == l: break return self._n def min_left(self, r, func): """ func( l, l+1, ..., r-1) = True, func(l-1, l, l+1, ..., r-1) = Falseとなる l を返す """ if r == 0: return 0 r += self.size for i in reversed(range(1, self.log + 1)): self._push((r - 1) >> i) sm = self.e while True: r -= 1 while r > 1 and r & 1: r >>= 1 if not func(self.op(self.data[r], sm)): while r < self.size: self._push(r) r = r << 1 | 1 if func(self.op(self.data[r], sm)): sm = self.op(self.data[r], sm) r -= 1 return r + 1 - self.size sm = self.op(self.data[r], sm) if (r & -r) == r: break return 0 """ 遅延セグ木(ac-library移植) op_data(d_L, d_R) : d_Lとd_Rの二項演算, dataを返す op_lazy(lz_new, lz_orig) : lz_origにlz_newを作用させる, lazyを返す op_merge(lz, d) : dにlzを作用させる, dataを返す """ u_data = 10**9 op_data = min u_lazy = -1 """ self.composition = op_lazy self.mapping = op_merge self.id = u_lazy """ def op_lazy(nw, od): if nw == -1: return od return nw def op_merge(lz, d): if lz == -1: return d return lz n,q = map(int,input().split()) lr = [[int(i)-1 for i in input().split()] for j in range(q)] lr.sort(key = lambda x:x[2]) a = [10**9]*n seg = LazySegTree(n, op_data, u_data, op_lazy, u_lazy, op_merge) seg.initialize() for i in range(q): seg.range_apply(lr[i][0],lr[i][1]+1,lr[i][2]+1) for i in range(q): b = seg.prod(lr[i][0],lr[i][1]+1) if b != lr[i][2]+1: print(-1) exit() b = [10**9]*n for i in range(n): b[i] = seg.prod(i,i+1) print(*b)