結果
| 問題 | 
                            No.801 エレベーター
                             | 
                    
| コンテスト | |
| ユーザー | 
                             双六
                         | 
                    
| 提出日時 | 2020-08-11 03:35:15 | 
| 言語 | PyPy3  (7.3.15)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 421 ms / 2,000 ms | 
| コード長 | 846 bytes | 
| コンパイル時間 | 308 ms | 
| コンパイル使用メモリ | 82,152 KB | 
| 実行使用メモリ | 147,960 KB | 
| 最終ジャッジ日時 | 2024-10-09 10:53:37 | 
| 合計ジャッジ時間 | 8,996 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge3 / judge2 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 26 | 
ソースコード
import sys; input = sys.stdin.buffer.readline
sys.setrecursionlimit(10**7)
from collections import defaultdict
con = 10 ** 9 + 7; INF = float("inf")
import copy
def getlist():
	return list(map(int, input().split()))
#処理内容
def main():
	N, M, K = getlist()
	ele = []
	for i in range(M):
		L, R = getlist()
		L -= 1; R -= 1
		ele.append([L, R])
	
	DP = [[0] * (N + 1) for i in range(K + 1)]
	DP[0][1] = 1
	for i in range(K):
		# 累積和
		for j in range(N):
			DP[i][j + 1] += DP[i][j]
			DP[i][j + 1] %= con
		imos = [0] * (N + 1)
		for j in range(M):
			l, r = ele[j]
			val = DP[i][r + 1] - DP[i][l]
			imos[l] += val; imos[r + 1] -= val
		for j in range(N):
			imos[j + 1] += imos[j]
			imos[j + 1] %= con
		for j in range(N):
			DP[i + 1][j + 1] = imos[j]
	ans = DP[-1][-1]
	print(ans % con)
if __name__ == '__main__':
	main()
            
            
            
        
            
双六