結果
| 問題 | 
                            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