結果

問題 No.1247 ブロック登り
ユーザー ngtkanangtkana
提出日時 2020-07-01 23:13:19
言語 Rust
(1.83.0 + proconio)
結果
AC  
実行時間 840 ms / 3,000 ms
コード長 2,678 bytes
コンパイル時間 15,331 ms
コンパイル使用メモリ 379,516 KB
実行使用メモリ 111,360 KB
最終ジャッジ日時 2024-10-08 12:44:05
合計ジャッジ時間 22,308 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 26
権限があれば一括ダウンロードができます

ソースコード

diff # 

use std::{convert::TryFrom, io::stdin};

trait OrdTools: Ord + Clone + Sized {
    fn chmin(&mut self, x: Self) {
        *self = std::cmp::min(self.clone(), x);
    }
    fn chmax(&mut self, x: Self) {
        *self = std::cmp::max(self.clone(), x);
    }
}

impl<T: Ord + Clone + Sized> OrdTools for T {}

fn main() {
    let (n, l) = {
        let mut s = String::new();
        stdin().read_line(&mut s).unwrap();
        let s = s.trim_end().to_owned();
        let mut s = s.split_whitespace();
        let n: usize = s.next().unwrap().parse().unwrap();
        let l: usize = s.next().unwrap().parse().unwrap();
        assert!(s.next().is_none());
        (n, l)
    };
    let a = {
        let mut s = String::new();
        stdin().read_line(&mut s).unwrap();
        let s = s.trim_end().to_owned();
        let mut s = s.split_whitespace();
        let mut a = vec![0; n];
        a.iter_mut()
            .for_each(|x| *x = s.next().unwrap().parse().unwrap());
        assert!(s.next().is_none());
        a
    };
    let mut ans = vec![std::i32::MIN; n];
    let mut dp = vec![vec![vec![std::i32::MIN; n]; n]; l + 1];

    (0..n).for_each(|j| dp[l][j][j] = l as i32 * a[j]);
    for i in (0..=l).rev() {
        if i + 3 <= l {
            let [crr, _, prv, _] = <&mut [_; 4]>::try_from(&mut dp[i..=i + 3]).unwrap();
            for j in 0..n {
                for k in 0..n {
                    crr[j][k].chmax(prv[j][k]);
                }
            }
        }
        let (first, last) = dp.split_at_mut(i);
        let crr = &last[0];
        for j in 0..n {
            let mut update = |ni: usize, nj: usize, nk: usize, k| {
                first[ni][nj][nk].chmax(crr[j][k] + ni as i32 * a[nj]);
            };
            for k in (0..=j).filter(|&k| crr[j][k] != std::i32::MIN) {
                let d = j - k;
                if d + 1 <= i && 0 < k {
                    update(i - d - 1, k - 1, j, k);
                }
                if 0 < i && j + 1 < n {
                    update(i - 1, j + 1, k, k);
                }
            }
            for k in (j..n).filter(|&k| crr[j][k] != std::i32::MIN) {
                let d = k - j;
                if 0 < i && 0 < j {
                    update(i - 1, j - 1, k, k);
                }
                if d + 1 <= i && k + 1 < n {
                    update(i - d - 1, k + 1, j, k);
                }
            }
        }
        (0..n.checked_sub(i).unwrap_or(0))
            .for_each(|j| (j + i..n).for_each(|k| ans[j + i].chmax(crr[j][k])));
        (i..n).for_each(|j| (0..=j - i).for_each(|k| ans[j - i].chmax(crr[j][k])));
    }

    ans.iter().for_each(|x| println!("{}", x));
}
0