結果

問題 No.1557 Binary Variable
ユーザー ygd.
提出日時 2021-06-29 19:58:15
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 1,009 ms / 2,000 ms
コード長 1,940 bytes
コンパイル時間 330 ms
コンパイル使用メモリ 82,304 KB
実行使用メモリ 215,848 KB
最終ジャッジ日時 2024-06-25 22:23:45
合計ジャッジ時間 28,092 ms
ジャッジサーバーID
(参考情報)
judge1 / judge4
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 3
other AC * 34
権限があれば一括ダウンロードができます

ソースコード

diff #
プレゼンテーションモードにする

class SegmentTree(object):
def __init__(self, A, dot, unit):
n = 1 << (len(A) - 1).bit_length()
tree = [unit] * (2 * n)
for i, v in enumerate(A):
tree[i + n] = v
for i in range(n - 1, 0, -1):
tree[i] = dot(tree[i << 1], tree[i << 1 | 1])
self._n = n
self._tree = tree
self._dot = dot
self._unit = unit
def __getitem__(self, i):
return self._tree[i + self._n]
def update(self, i, v):
i += self._n
self._tree[i] = v
while i != 1:
i >>= 1
self._tree[i] = self._dot(self._tree[i << 1], self._tree[i << 1 | 1])
def add(self, i, v):
self.update(i, self[i] + v)
def sum(self, l, r): #[l,r)
l += self._n
r += self._n
l_val = r_val = self._unit
while l < r:
if l & 1:
l_val = self._dot(l_val, self._tree[l])
l += 1
if r & 1:
r -= 1
r_val = self._dot(self._tree[r], r_val)
l >>= 1
r >>= 1
return self._dot(l_val, r_val)
def segfunc(x,y):
return x*y
def main():
N,M = map(int,input().split())
Z = []
S = set([])
for _ in range(M):
l,r = map(int,input().split())
l-=1;r-=1 #0-index
Z.append((l,r))
S.add(l)
S.add(r)
Z.sort(key = lambda x: x[1])
val = 0
dic = {}
S = list(S); S.sort()
for s in S:
dic[s] = val
val += 1
NN = len(S)
A = [1]*NN
Tree = SegmentTree(A,segfunc,1)
for i in range(M):
l,r = Z[i]
nl = dic[l]
nr = dic[r]
if Tree.sum(nl,nr+1) == 1:
Tree.update(nr,0)
ans = N
for i in range(NN):
if Tree.__getitem__(i) == 0:
ans -= 1
#print(dic)
print(ans)
if __name__ == '__main__':
main()
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0