#[allow(unused_imports)] use std::cmp::{max, min, Ordering}; #[allow(unused_imports)] use std::collections::{HashMap, HashSet, BinaryHeap}; #[allow(unused_imports)] use std::iter::FromIterator; #[allow(unused_imports)] use std::io::stdin; mod util { use std::io::stdin; use std::str::FromStr; use std::fmt::Debug; #[allow(dead_code)] pub fn line() -> String { let mut line: String = String::new(); stdin().read_line(&mut line).unwrap(); line.trim().to_string() } #[allow(dead_code)] pub fn gets() -> Vec where ::Err: Debug, { let mut line: String = String::new(); stdin().read_line(&mut line).unwrap(); line.split_whitespace() .map(|t| t.parse().unwrap()) .collect() } } #[allow(unused_macros)] macro_rules! get { ($t:ty) => { { let mut line: String = String::new(); stdin().read_line(&mut line).unwrap(); line.trim().parse::<$t>().unwrap() } }; ($($t:ty),*) => { { let mut line: String = String::new(); stdin().read_line(&mut line).unwrap(); let mut iter = line.split_whitespace(); ( $(iter.next().unwrap().parse::<$t>().unwrap(),)* ) } }; ($t:ty; $n:expr) => { (0..$n).map(|_| get!($t) ).collect::>() }; ($($t:ty),*; $n:expr) => { (0..$n).map(|_| get!($($t),*) ).collect::>() }; ($t:ty ;;) => { { let mut line: String = String::new(); stdin().read_line(&mut line).unwrap(); line.split_whitespace() .map(|t| t.parse::<$t>().unwrap()) .collect::>() } }; } #[allow(unused_macros)] macro_rules! debug { ($($a:expr),*) => { println!(concat!($(stringify!($a), " = {:?}, "),*), $($a),*); } } fn main() { let (n, p) = get!(usize, usize); let h = get!(usize;;); let mut dp = vec![vec![usize::max_value() / 4; 2]; n]; dp[0][0] = 0; dp[0][1] = 0; for i in 1..n { let d = if h[i] <= h[i - 1] { 0 } else { h[i] - h[i - 1] }; dp[i][0] = min(dp[i - 1][0] + d, dp[i - 1][0] + p); dp[i][0] = min(dp[i][0], dp[i - 1][1] + p); dp[i][1] = dp[i][0]; let mut k = i - 1; while h[k] <= h[k + 1] && k > 0 { dp[i][1] = min(dp[i][1], dp[k - 1][0] + p); dp[i][1] = min(dp[i][1], dp[k - 1][1] + p); k -= 1; } } println!("{}", dp[n - 1].iter().min().unwrap()); }