結果
| 問題 | 
                            No.801 エレベーター
                             | 
                    
| コンテスト | |
| ユーザー | 
                             | 
                    
| 提出日時 | 2021-06-29 15:19:30 | 
| 言語 | PyPy3  (7.3.15)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 572 ms / 2,000 ms | 
| コード長 | 521 bytes | 
| コンパイル時間 | 156 ms | 
| コンパイル使用メモリ | 82,436 KB | 
| 実行使用メモリ | 78,520 KB | 
| 最終ジャッジ日時 | 2024-06-25 18:03:24 | 
| 合計ジャッジ時間 | 10,841 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge5 / judge3 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 26 | 
ソースコード
import sys
input=sys.stdin.readline
def main3(n,m,k,lr):
  mod=10**9+7
  dp=[0]*(n+1)
  dp[1]=1
  for _ in range(k):
    sdp=[0]
    for x in dp:sdp.append((sdp[-1]+x)%mod)
    ndp=[0]*(n+1)
    for l,r in lr:
      tmp=sdp[r+1]-sdp[l]
      ndp[l]+=tmp
      if r!=n:
        ndp[r+1]-=tmp
    for i in range(n):ndp[i+1]=(ndp[i+1]+ndp[i])%mod
    dp=ndp
  return dp[n]
if __name__=='__main__':
  n,m,k=map(int,input().split())
  lr=[list(map(int,input().split())) for _ in range(m)]
  ret=main3(n,m,k,lr)
  print(ret)