結果
| 問題 | No.801 エレベーター |
| コンテスト | |
| ユーザー |
maspy
|
| 提出日時 | 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])
maspy