結果
| 問題 | 
                            No.801 エレベーター
                             | 
                    
| コンテスト | |
| ユーザー | 
                             | 
                    
| 提出日時 | 2019-03-18 13:15:45 | 
| 言語 | C++11(廃止可能性あり)  (gcc 13.3.0)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 220 ms / 2,000 ms | 
| コード長 | 1,994 bytes | 
| コンパイル時間 | 1,077 ms | 
| コンパイル使用メモリ | 159,032 KB | 
| 実行使用メモリ | 73,984 KB | 
| 最終ジャッジ日時 | 2024-07-18 07:18:05 | 
| 合計ジャッジ時間 | 5,251 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge3 / judge1 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 26 | 
ソースコード
#include <bits/stdc++.h>
typedef long long ll;
#define rep(i,m,n) for(ll i = (m); i < (n); i++)
#define rrep(i,m,n) for(ll i = (m); i >= (n); i--)
#define print(x) cout << (x) << endl;
#define print2(x,y) cout << (x) << " " << (y) << endl;
#define printa(x,n) for(ll i = 0; i < n; i++){ cout << (x[i]) << " \n"[i == n-1];}
#define printp(x,n) for(ll i = 0; i < n; i++){ cout << "(" << x[i].first << ", " << x[i].second << ") "; } cout << endl;
#define INF (1e18 + 7)
using namespace std;
const ll MOD = 1e9 + 7;
typedef pair<ll, ll> lpair;
ll dp[3010][3010] = {};// dp[i][j]: i回の移動の後、j階にいるような乗り方の総数
int main(){
    cin.tie(0);
    ios::sync_with_stdio(false);
    ll N,M,K;
    ll L[3010], R[3010];
    cin >> N >> M >> K;
    rep(i,0,M) cin >> L[i] >> R[i];
    // ll dp_cur[3010] = {}, dp_next[3010] = {};
    // dp_cur[1] = 1;
    // rep(i,0,K){
    //     memset(dp_next, 0, sizeof(dp_next));
    //     ll sum[3010] = {};
    //     rep(i,0,N+1) sum[i+1] = (sum[i] + dp_cur[i]) % MOD;
    //     rep(i,0,M){
    //         ll v = (sum[R[i]+1] - sum[L[i]] + MOD) % MOD;
    //         dp_next[L[i]] += v % MOD;
    //         dp_next[L[i]] %= MOD;
    //         dp_next[R[i]+1] += (MOD - v) % MOD;
    //         dp_next[R[i]+1] %= MOD;
    //     }
    //     rep(i,0,N+1){
    //         dp_next[i+1] += dp_next[i];
    //         dp_next[i+1] %= MOD;
    //     }
    //     rep(i,0,N+1) dp_cur[i] = dp_next[i];
    // }
    // print(dp_cur[N]);
    dp[0][1] = 1;
    rep(i,0,K){
        ll val[3010] = {};
        rep(j,0,N+1) val[j+1] = (val[j] + dp[i][j]) % MOD;
        rep(j,0,M){
            ll v = (val[R[j]+1] - val[L[j]] + MOD) % MOD;
            dp[i+1][L[j]] += v;
            dp[i+1][L[j]] %= MOD;
            dp[i+1][R[j]+1] += (MOD - v) % MOD;
            dp[i+1][R[j]+1] %= MOD;
        }
        rep(j,0,N+1){
            dp[i+1][j+1] += dp[i+1][j];
            dp[i+1][j+1] %= MOD;
        }
    }
    print(dp[K][N]);
    
 }