結果

問題 No.801 エレベーター
ユーザー LyricalMaestro
提出日時 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
権限があれば一括ダウンロードができます

ソースコード

diff # 

# 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()
0