結果
| 問題 | 
                            No.801 エレベーター
                             | 
                    
| コンテスト | |
| ユーザー | 
                             maspy
                         | 
                    
| 提出日時 | 2020-03-17 15:48:43 | 
| 言語 | PyPy3  (7.3.15)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 264 ms / 2,000 ms | 
| コード長 | 624 bytes | 
| コンパイル時間 | 152 ms | 
| コンパイル使用メモリ | 82,252 KB | 
| 実行使用メモリ | 76,800 KB | 
| 最終ジャッジ日時 | 2024-11-30 22:45:30 | 
| 合計ジャッジ時間 | 5,688 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge3 / judge5 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| 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
MOD = 10 ** 9 + 7
# %%
N, M, K = map(int, readline().split())
m = map(int, read().split())
L, R = zip(*zip(m, m))
# %%
dp = [0] * (N + 2)
dp[1] = 1
for _ in range(K):
    newdp = [0] * (N + 2)
    for i in range(1, N + 2):
        dp[i] += dp[i - 1]
    for l, r in zip(L, R):
        x = dp[r] - dp[l - 1]
        newdp[l] += x
        newdp[r + 1] -= x
    for i in range(1, N + 2):
        newdp[i] += newdp[i - 1]
        newdp[i] %= MOD
    dp = newdp
# %%
print(dp[N])
            
            
            
        
            
maspy