// TranThienPhuc2657
#include <bits/stdc++.h>
using namespace std;
#define file "lehoi"
#define TIME 1.0 * clock() / CLOCKS_PER_SEC
#define ll long long
#define pb push_back
#define fi first
#define se second
#define pii pair <int, int>
#define pll pair <ll, ll>
#define ld long double
#define Sz(x) ((int) (x).size())
#define getBit(mask, i) (((mask) >> (i)) & 1)
template <typename T1, typename T2> bool mini(T1 &A, T2 B) {if (A > B) A = B; else return 0; return 1;}
template <typename T1, typename T2> bool maxi(T1 &A, T2 B) {if (A < B) A = B; else return 0; return 1;}
const int inf = 2e9 + 7;
const ll linf = 1e18l + 7;
const int mod = 1e9 + 7;
const int N = 2e5 + 5;
int n, k, a[N];
ll pref[N], dp[N];
int opt[N];
// init
void init() {
for (int i = 1; i <= n; i++) pref[i] = pref[i - 1] + a[i];
}
// inp
void inp() {
cin >> n >> k;
for (int i = 1; i <= n; i++) cin >> a[i];
}
// proc
ll cost(int l, int r) {
int mid = (l + r) / 2;
return 1ll * (mid - l + 1) * a[mid] - (pref[mid] - pref[l - 1]) + (pref[r] - pref[mid]) - 1ll * (r - (mid + 1) + 1) * a[mid] + k;
}
void proc() {
memset(dp, 0x3f, sizeof dp);
dp[0] = 0;
for (int i = 1; i <= n; i++) {
for (int j = 0; j < i; j++) {
if (mini(dp[i], dp[j] + cost(j + 1, i))) opt[i] = j;
}
}
cout << dp[n];
}
signed main() {
ios_base::sync_with_stdio(0); cin.tie(0); cout.tie(0);
if (fopen(file".inp", "r")) {
freopen(file".inp", "r", stdin);
freopen(file".ans", "w", stdout);
}
inp();
init();
proc();
cerr << "Time elapsed: " << TIME << "s.\n";
return 0;
}
Ly8gVHJhblRoaWVuUGh1YzI2NTcKI2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CiNkZWZpbmUgZmlsZSAibGVob2kiCiNkZWZpbmUgVElNRSAxLjAgKiBjbG9jaygpIC8gQ0xPQ0tTX1BFUl9TRUMKI2RlZmluZSBsbCBsb25nIGxvbmcKI2RlZmluZSBwYiBwdXNoX2JhY2sKI2RlZmluZSBmaSBmaXJzdAojZGVmaW5lIHNlIHNlY29uZAojZGVmaW5lIHBpaSBwYWlyIDxpbnQsIGludD4KI2RlZmluZSBwbGwgcGFpciA8bGwsIGxsPgojZGVmaW5lIGxkIGxvbmcgZG91YmxlCiNkZWZpbmUgU3ooeCkgKChpbnQpICh4KS5zaXplKCkpCiNkZWZpbmUgZ2V0Qml0KG1hc2ssIGkpICgoKG1hc2spID4+IChpKSkgJiAxKQp0ZW1wbGF0ZSA8dHlwZW5hbWUgVDEsIHR5cGVuYW1lIFQyPiBib29sIG1pbmkoVDEgJkEsIFQyIEIpIHtpZiAoQSA+IEIpIEEgPSBCOyBlbHNlIHJldHVybiAwOyByZXR1cm4gMTt9CnRlbXBsYXRlIDx0eXBlbmFtZSBUMSwgdHlwZW5hbWUgVDI+IGJvb2wgbWF4aShUMSAmQSwgVDIgQikge2lmIChBIDwgQikgQSA9IEI7IGVsc2UgcmV0dXJuIDA7IHJldHVybiAxO30KY29uc3QgaW50IGluZiA9IDJlOSArIDc7CmNvbnN0IGxsIGxpbmYgPSAxZTE4bCArIDc7CmNvbnN0IGludCBtb2QgPSAxZTkgKyA3Owpjb25zdCBpbnQgTiA9IDJlNSArIDU7CgppbnQgbiwgaywgYVtOXTsKbGwgcHJlZltOXSwgZHBbTl07CmludCBvcHRbTl07CgovLyBpbml0CnZvaWQgaW5pdCgpIHsKICAgIGZvciAoaW50IGkgPSAxOyBpIDw9IG47IGkrKykgcHJlZltpXSA9IHByZWZbaSAtIDFdICsgYVtpXTsKfQoKLy8gaW5wCnZvaWQgaW5wKCkgewogICAgY2luID4+IG4gPj4gazsKICAgIGZvciAoaW50IGkgPSAxOyBpIDw9IG47IGkrKykgY2luID4+IGFbaV07Cn0KCi8vIHByb2MKbGwgY29zdChpbnQgbCwgaW50IHIpIHsKICAgIGludCBtaWQgPSAobCArIHIpIC8gMjsKICAgIHJldHVybiAxbGwgKiAobWlkIC0gbCArIDEpICogYVttaWRdIC0gKHByZWZbbWlkXSAtIHByZWZbbCAtIDFdKSArIChwcmVmW3JdIC0gcHJlZlttaWRdKSAtIDFsbCAqIChyIC0gKG1pZCArIDEpICsgMSkgKiBhW21pZF0gKyBrOwp9Cgp2b2lkIHByb2MoKSB7CiAgICBtZW1zZXQoZHAsIDB4M2YsIHNpemVvZiBkcCk7CiAgICBkcFswXSA9IDA7CiAgICBmb3IgKGludCBpID0gMTsgaSA8PSBuOyBpKyspIHsKICAgICAgICBmb3IgKGludCBqID0gMDsgaiA8IGk7IGorKykgewogICAgICAgICAgICBpZiAobWluaShkcFtpXSwgZHBbal0gKyBjb3N0KGogKyAxLCBpKSkpIG9wdFtpXSA9IGo7CiAgICAgICAgfQogICAgfQogICAgY291dCA8PCBkcFtuXTsKfQoKc2lnbmVkIG1haW4oKSB7CiAgICBpb3NfYmFzZTo6c3luY193aXRoX3N0ZGlvKDApOyBjaW4udGllKDApOyBjb3V0LnRpZSgwKTsKICAgIGlmIChmb3BlbihmaWxlIi5pbnAiLCAiciIpKSB7CiAgICAgICAgZnJlb3BlbihmaWxlIi5pbnAiLCAiciIsIHN0ZGluKTsKICAgICAgICBmcmVvcGVuKGZpbGUiLmFucyIsICJ3Iiwgc3Rkb3V0KTsKICAgIH0KCiAgICBpbnAoKTsKICAgIGluaXQoKTsKICAgIHByb2MoKTsKICAgIGNlcnIgPDwgIlRpbWUgZWxhcHNlZDogIiA8PCBUSU1FIDw8ICJzLlxuIjsKICAgIHJldHVybiAwOwp9