結果
問題 | No.1995 CHIKA Road |
ユーザー |
👑 |
提出日時 | 2022-07-01 21:45:30 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 483 ms / 2,000 ms |
コード長 | 2,030 bytes |
コンパイル時間 | 294 ms |
コンパイル使用メモリ | 82,048 KB |
実行使用メモリ | 167,228 KB |
最終ジャッジ日時 | 2024-11-26 04:35:19 |
合計ジャッジ時間 | 10,368 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 37 |
ソースコード
class SegTree:def __init__(self, n, e, ope, lst=[]):self.N0 = 2 ** (n - 1).bit_length()self.e = eself.ope = opeself.data = [e] * (2 * self.N0)if lst:for i in range(n):self.data[self.N0 + i] = lst[i]for i in range(self.N0 - 1, 0, -1):self.data[i] = self.ope(self.data[2 * i], self.data[2 * i + 1])def build(self):for i in range(self.N0 - 1, 0, -1):self.data[i] = self.ope(self.data[2 * i], self.data[2 * i + 1])def update(self, i, x): #a_iの値をxに更新i += self.N0self.data[i] = xwhile i > 1:i >>= 1self.data[i] = self.ope(self.data[2 * i], self.data[2 * i + 1])def add(self, i, x):self.update(i, x + self.get(i))def set(self, i, x):self.data[self.N0 + i] = xdef query(self, l, r): #区間[l, r)での演算結果if r <= l:return self.elres = self.erres = self.el += self.N0r += self.N0while l < r:if l & 1:lres = self.ope(lres, self.data[l])l += 1if r & 1:r -= 1rres = self.ope(self.data[r], rres)l >>= 1r >>= 1return self.ope(lres, rres)def get(self, i): #a_iの値を返すreturn self.data[self.N0 + i]n, m = map(int, input().split())se = set()ab = [list(map(int, input().split())) for _ in range(m)]for a, b in ab:se.add(a)se.add(b)se.add(1)le = len(se)lst = sorted(se)dic = {l:i for i, l in enumerate(lst)}R = [[] for _ in range(le)]for a, b in ab:a = dic[a]b = dic[b]R[b].append(a)seg = SegTree(le, -1 << 30, max)seg.update(0, 0)for r in range(le):for l in R[r]:tmp = seg.query(0, l + 1) + 1if seg.get(r) < tmp:seg.update(r, tmp)print(2 * (n - 1) - seg.query(0, le))