結果
問題 | No.2230 Good Omen of White Lotus |
ユーザー |
![]() |
提出日時 | 2023-02-24 22:25:01 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 934 ms / 2,000 ms |
コード長 | 3,010 bytes |
コンパイル時間 | 359 ms |
コンパイル使用メモリ | 82,264 KB |
実行使用メモリ | 163,596 KB |
最終ジャッジ日時 | 2024-09-13 05:41:49 |
合計ジャッジ時間 | 15,300 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge4 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 44 |
ソースコード
mod = 998244353def main():import sysinput = sys.stdin.readlineclass SegmentTree:def __init__(self, A, initialize=True, segfunc=max, ident=-2000000000):self.N = len(A)self.LV = (self.N - 1).bit_length()self.N0 = 1 << self.LVself.segfunc = segfuncself.ident = identif initialize:self.data = [self.ident] * self.N0 + A + [self.ident] * (self.N0 - self.N)for i in range(self.N0 - 1, 0, -1):self.data[i] = segfunc(self.data[i * 2], self.data[i * 2 + 1])else:self.data = [self.ident] * (self.N0 * 2)def update(self, i, x):i += self.N0 - 1self.data[i] = xfor _ in range(self.LV):i >>= 1self.data[i] = self.segfunc(self.data[i * 2], self.data[i * 2 + 1])def get(self, i):return self.data[i + self.N0 - 1]# open interval [l, r)def query(self, l, r):l += self.N0 - 1r += self.N0 - 1ret_l = self.identret_r = self.identwhile l < r:if l & 1:ret_l = self.segfunc(ret_l, self.data[l])l += 1if r & 1:ret_r = self.segfunc(self.data[r - 1], ret_r)r -= 1l >>= 1r >>= 1return self.segfunc(ret_l, ret_r)# return smallest i(l <= i < r) s.t. check(A[i]) == Truedef binsearch(self, l, r, check):if not check(self.query(l, r)):return rl += self.N0 - 1val = self.identwhile True:if check(self.segfunc(val, self.data[l])):breakif l & 1:val = self.segfunc(val, self.data[l])l += 1l >>= 1while l < self.N0:newval = self.segfunc(val, self.data[l * 2])if not check(newval):val = newvall = (l << 1) + 1else:l <<= 1return l - self.N0 + 1H, W, N, P = map(int, input().split())XY = []X_set = set()for _ in range(N):x, y = map(int, input().split())XY.append((x, y))X_set.add(x)X_sorted = sorted(list(X_set))x2i = {x: i+1 for i, x in enumerate(X_sorted)}L = len(X_sorted)ST = SegmentTree([0] * L)XY.sort(key=lambda z: z[0])XY.sort(key=lambda z: z[1])for x, y in XY:i = x2i[x]ST.update(i, ST.query(1, i+1) + 1)ma = ST.query(1, L+1)ma = max(ma, 0)invP = pow(P, mod - 2, mod)ans = (1 - (pow(P - 2, ma, mod) * pow(P - 1, H + W - 3 - ma, mod) * pow(invP, H + W - 3, mod)) % mod) % modprint(ans)if __name__ == '__main__':main()