結果
| 問題 | 
                            No.801 エレベーター
                             | 
                    
| コンテスト | |
| ユーザー | 
                             neterukun
                         | 
                    
| 提出日時 | 2019-06-18 23:30:29 | 
| 言語 | PyPy3  (7.3.15)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 535 ms / 2,000 ms | 
| コード長 | 954 bytes | 
| コンパイル時間 | 154 ms | 
| コンパイル使用メモリ | 82,232 KB | 
| 実行使用メモリ | 148,224 KB | 
| 最終ジャッジ日時 | 2024-11-30 07:55:26 | 
| 合計ジャッジ時間 | 10,387 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge1 / judge2 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 26 | 
ソースコード
n, m, k = map(int, input().split())
info = [list(map(int, input().split())) for i in range(m)]
MOD = 10**9 + 7
for i in range(m):
    info[i][0] = info[i][0] - 1
    info[i][1] = info[i][1] - 1
# dp[i][j] := i回乗った時点でj階にいるときの通り数
dp = [[0]*n for _ in range(k+1)]
dp_sum = [0]*(n+1)
dp[0][0] = 1
for move_times in range(k):
    for floor in range(n):
        dp_sum[floor + 1] = dp_sum[floor] + dp[move_times][floor]
        dp_sum[floor + 1] %= MOD
    imos = [0]*(n+1)
    for elev in range(m): 
        imos[info[elev][0]] +=  dp_sum[info[elev][1] + 1] - dp_sum[info[elev][0]]
        imos[info[elev][1] + 1] -=  dp_sum[info[elev][1] + 1] - dp_sum[info[elev][0]]
    for floor in range(n):
        imos[floor + 1] = imos[floor + 1] + imos[floor]
        imos[floor + 1] %= MOD
    for floor in range(n):
         dp[move_times + 1][floor] += imos[floor]
         dp[move_times + 1][floor] %= MOD
print(dp[k][n-1])
            
            
            
        
            
neterukun