結果
問題 |
No.3075 Mex Recurrence Formula
|
ユーザー |
|
提出日時 | 2025-03-28 21:23:42 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 666 ms / 2,000 ms |
コード長 | 2,953 bytes |
コンパイル時間 | 391 ms |
コンパイル使用メモリ | 82,040 KB |
実行使用メモリ | 127,028 KB |
最終ジャッジ日時 | 2025-03-28 21:24:07 |
合計ジャッジ時間 | 17,404 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 46 |
ソースコード
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 def mex(a): b = [0] * len(a) for i in range(len(a)): if a[i] < len(a): b[a[i]] = 1 for i in range(len(a)): if b[i] == 0: return i return len(a) def op(x, y): if x[0] == x[1]: return x[1] + y[0], x[1] + y[1] return x[0], x[1] + y[1] e = (0, 0) n, x = na() a = na() x -= 1 # print(*a) # for _ in range(10): # for i in range(n + 1): # a.append(mex(a[-n:])) # print(*a[-n-1:]) # n + 1 b = [0] * n for i in range(n): if a[i] < n: b[a[i]] += 1 st = SegmentTree(n, op, e) for i in range(n): if b[i]: st.update(i, (1, 1)) else: st.update(i, (0, 1)) for i in range(n + 1): a.append(st.query(0, n)[0]) if a[i] < n: b[a[i]] -= 1 if b[a[i]] == 0: st.update(a[i], (0, 1)) if a[-1] < n: b[a[-1]] += 1 if b[a[-1]] == 1: st.update(a[-1], (1, 1)) # print(a) if x < n: print(a[x]) else: x -= n x %= (n + 1) print(a[x + n])