結果
問題 | No.801 エレベーター |
ユーザー |
![]() |
提出日時 | 2020-03-17 15:44:34 |
言語 | Python3 (3.13.1 + numpy 2.2.1 + scipy 1.14.1) |
結果 |
AC
|
実行時間 | 1,046 ms / 2,000 ms |
コード長 | 649 bytes |
コンパイル時間 | 114 ms |
コンパイル使用メモリ | 12,672 KB |
実行使用メモリ | 44,732 KB |
最終ジャッジ日時 | 2024-11-30 22:44:38 |
合計ジャッジ時間 | 25,944 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge1 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 26 |
ソースコード
#!/usr/bin/env python3.8 # %% import sys read = sys.stdin.buffer.read readline = sys.stdin.buffer.readline readlines = sys.stdin.buffer.readlines import numpy as np MOD = 10 ** 9 + 7 # %% N, M, K = map(int, readline().split()) LR = np.array(read().split(), np.int32) L = LR[::2] R = LR[1::2] L.flags.writeable = False R.flags.writeable = False # %% dp = np.zeros(N + 2, np.int64) dp[1] = 1 for _ in range(K): newdp = np.zeros_like(dp) np.cumsum(dp, out=dp) dp %= MOD x = dp[R] - dp[L - 1] np.add.at(newdp, L, x) np.add.at(newdp, R + 1, -x) np.cumsum(newdp, out=newdp) newdp %= MOD dp = newdp # %% print(dp[N])