結果
| 問題 | 
                            No.801 エレベーター
                             | 
                    
| コンテスト | |
| ユーザー | 
                             | 
                    
| 提出日時 | 2025-05-04 04:36:09 | 
| 言語 | PyPy3  (7.3.15)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 294 ms / 2,000 ms | 
| コード長 | 998 bytes | 
| コンパイル時間 | 585 ms | 
| コンパイル使用メモリ | 82,284 KB | 
| 実行使用メモリ | 77,052 KB | 
| 最終ジャッジ日時 | 2025-05-04 04:36:16 | 
| 合計ジャッジ時間 | 7,082 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge2 / judge3 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 26 | 
ソースコード
# https://yukicoder.me/problems/no/801
MOD=  10 ** 9 + 7
def main():
    N, M, K = map(int, input().split())
    lr = []
    for _ in range(M):
        l, r = map(int, input().split())
        lr.append((l - 1, r - 1))
    dp = [0] * N
    dp[0] = 1
    cum_dp = [0] * N
    c = 0
    for i in range(N):
        c += dp[i]
        cum_dp[i] = c
    for _ in range(K):
        new_dp0 = [0] * (N + 1)
        for l,r in lr:
            if l == 0:
                x = cum_dp[r]
            else:
                x = (cum_dp[r] - cum_dp[l - 1]) % MOD
            new_dp0[l] += x
            new_dp0[l] %= MOD
            new_dp0[r + 1] -= x
            new_dp0[r +1] %= MOD
        
        c = 0
        for j in range(N + 1):
            c += new_dp0[j]
            c %= MOD
            new_dp0[j] = c
        
        dp = new_dp0
        c = 0
        for i in range(N):
            c += dp[i]
            cum_dp[i] = c
    
    print(dp[N - 1])
if __name__ == "__main__":
    main()