結果
| 問題 | 
                            No.801 エレベーター
                             | 
                    
| コンテスト | |
| ユーザー | 
                             | 
                    
| 提出日時 | 2022-12-11 01:17:32 | 
| 言語 | Rust  (1.83.0 + proconio)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 89 ms / 2,000 ms | 
| コード長 | 1,237 bytes | 
| コンパイル時間 | 13,042 ms | 
| コンパイル使用メモリ | 386,320 KB | 
| 実行使用メモリ | 5,248 KB | 
| 最終ジャッジ日時 | 2024-10-15 01:18:33 | 
| 合計ジャッジ時間 | 15,810 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge3 / judge4 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 26 | 
ソースコード
const MOD: isize = 1e9 as isize + 7;
fn main() {
    let mut nmk = String::new();
    std::io::stdin().read_line(&mut nmk).ok();
    let nmk: Vec<usize> = nmk.trim().split_whitespace().map(|s| s.parse().unwrap()).collect();
    let n = nmk[0];
    let m = nmk[1];
    let k = nmk[2];
    let lines = (0..m).map(|_| {
            let mut temp = String::new();
            std::io::stdin().read_line(&mut temp).ok();
            let temp: Vec<usize> = temp.trim().split_whitespace().map(|s| s.parse().unwrap()).collect();
            (temp[0]-1, temp[1]-1)
        })
        .collect::<Vec<_>>();
    let mut dp = vec![0isize; n];
    dp[0] = 1;
    for _ in 0..k {
        let mut current_sum = vec![0isize; n+1];
        for i in 0..n {
            current_sum[i+1] = current_sum[i] + dp[i];
            current_sum[i+1] %= MOD;
        }
        let mut next_sum = vec![0isize; n+1];
        for &(l, r) in lines.iter() {
            let summary = (MOD + current_sum[r+1] - current_sum[l]) % MOD;
            next_sum[l] += summary;
            next_sum[r+1] -= summary;
        }
        for i in 0..n {
            next_sum[i+1] += next_sum[i];
            dp[i] = next_sum[i] % MOD;
        }
    }
    println!("{}", dp[n-1]);
}