#include <bits/stdc++.h>
using namespace std;
#define ll long long
typedef vector<int> vi;
typedef pair <int, int> ii;
typedef pair <ll, int> li;
#define mk make_pair
const int N = 2e5 + 5;
int n, k;
int a[1005];
int dp[1005][1005];
/*
80 10 5 7 100 20 35
0
1
2
MAI YEU ANH J97 AKA TRINH TRAN PHUONG TUAN AKA JACK 3.5MM
*/
int main()
{
ios_base::sync_with_stdio(false); cin.tie(0); cout.tie(0);
// #define file "VNOJ"
// freopen(file".INP", "r", stdin);
// freopen(file".OUT", "w", stdout);
cin >> n >> k;
for (int i = 1; i <= n; i++) cin >> a[i];
fill (&dp[0][0], &dp[0][0] + (1005 * 1005), INT_MAX);
int mx = a[1], s = a[1];
dp[0][0] = dp[0][1] = 0;
for (int i = 2; i <= n; i++)
{
s += a[i];
mx = max(mx, a[i]);
dp[0][i] = mx * i - s;
}
for (int i = 1; i <= k; i++)
{
for (int j = 1; j <= n; j++)
{
if (j < i + 1)
{
dp[i][j] = 0;
}
{
int r = j;
s = 0; mx = 0;
while (r > i)
{
s += a[r]; mx = max(a[r], mx);
dp[i][j] = min(dp[i][j], mx * (j - r + 1) - s + dp[i - 1][r - 1]);
// cout << a[r] << ' ' << mx * (j - r + 1) - s + dp[i - 1][j - 1] << '\n';
r--;
}
// cout << "__________\n";
}
}
}
// for (int i = 0; i <= k; i++)
// {
// for (int j = 1; j <= n; j++)
// {
// cout << dp[i][j] << ' ';
// }
// cout << '\n';
// }
cout << dp[k][n];
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CiNkZWZpbmUgbGwgbG9uZyBsb25nCnR5cGVkZWYgdmVjdG9yPGludD4gdmk7CnR5cGVkZWYgcGFpciA8aW50LCBpbnQ+IGlpOwp0eXBlZGVmIHBhaXIgPGxsLCBpbnQ+IGxpOwojZGVmaW5lIG1rIG1ha2VfcGFpcgoKY29uc3QgaW50IE4gPSAyZTUgKyA1OwoKaW50IG4sIGs7CmludCBhWzEwMDVdOwppbnQgZHBbMTAwNV1bMTAwNV07Ci8qCiAgICA4MCAgMTAgIDUgICA3ICAgMTAwIDIwICAzNQowICAgCjEKMgoJTUFJIFlFVSBBTkggSjk3IEFLQSBUUklOSCBUUkFOIFBIVU9ORyBUVUFOIEFLQSBKQUNLIDMuNU1NCgoqLwoKaW50IG1haW4oKQp7CiAgICBpb3NfYmFzZTo6c3luY193aXRoX3N0ZGlvKGZhbHNlKTsgY2luLnRpZSgwKTsgY291dC50aWUoMCk7CiAgICAvLyAjZGVmaW5lIGZpbGUgIlZOT0oiCiAgICAvLyBmcmVvcGVuKGZpbGUiLklOUCIsICJyIiwgc3RkaW4pOwogICAgLy8gZnJlb3BlbihmaWxlIi5PVVQiLCAidyIsIHN0ZG91dCk7CgoKICAgIGNpbiA+PiBuID4+IGs7CgogICAgZm9yIChpbnQgaSA9IDE7IGkgPD0gbjsgaSsrKSBjaW4gPj4gYVtpXTsKCiAgICBmaWxsICgmZHBbMF1bMF0sICZkcFswXVswXSArICgxMDA1ICogMTAwNSksIElOVF9NQVgpOwoKICAgIAogICAgaW50IG14ID0gYVsxXSwgcyA9IGFbMV07CgoKICAgIGRwWzBdWzBdID0gZHBbMF1bMV0gPSAwOwogICAgZm9yIChpbnQgaSA9IDI7IGkgPD0gbjsgaSsrKQogICAgewogICAgICAgIHMgKz0gYVtpXTsKICAgICAgICBteCA9IG1heChteCwgYVtpXSk7CiAgICAgICAgZHBbMF1baV0gPSBteCAqIGkgLSBzOwogICAgfQoKICAgIGZvciAoaW50IGkgPSAxOyBpIDw9IGs7IGkrKykKICAgIHsKICAgICAgICBmb3IgKGludCBqID0gMTsgaiA8PSBuOyBqKyspCiAgICAgICAgewogICAgICAgICAgICBpZiAoaiA8IGkgKyAxKQogICAgICAgICAgICB7CiAgICAgICAgICAgICAgICBkcFtpXVtqXSA9IDA7CiAgICAgICAgICAgIH0KICAgICAgICAgICAgewogICAgICAgICAgICAgICAgaW50IHIgPSBqOwogICAgICAgICAgICAgICAgcyA9IDA7IG14ID0gMDsKICAgICAgICAgICAgICAgIHdoaWxlIChyID4gaSkKICAgICAgICAgICAgICAgIHsKICAgICAgICAgICAgICAgICAgICBzICs9IGFbcl07IG14ID0gbWF4KGFbcl0sIG14KTsKICAgICAgICAgICAgICAgICAgICBkcFtpXVtqXSA9IG1pbihkcFtpXVtqXSwgbXggKiAoaiAtIHIgKyAxKSAtIHMgKyBkcFtpIC0gMV1bciAtIDFdKTsKICAgICAgICAgICAgICAgICAgICAvLyBjb3V0IDw8IGFbcl0gPDwgJyAnIDw8IG14ICogKGogLSByICsgMSkgLSBzICsgZHBbaSAtIDFdW2ogLSAxXSA8PCAnXG4nOwogICAgICAgICAgICAgICAgICAgIHItLTsKICAgICAgICAgICAgICAgIH0KICAgICAgICAgICAgICAgIC8vIGNvdXQgPDwgIl9fX19fX19fX19cbiI7CiAgICAgICAgICAgIH0KICAgICAgICB9CiAgICB9CgoKICAgIC8vIGZvciAoaW50IGkgPSAwOyBpIDw9IGs7IGkrKykKICAgIC8vIHsKICAgIC8vICAgICBmb3IgKGludCBqID0gMTsgaiA8PSBuOyBqKyspCiAgICAvLyAgICAgewogICAgLy8gICAgICAgICBjb3V0IDw8IGRwW2ldW2pdIDw8ICcgJzsKICAgIC8vICAgICB9CiAgICAvLyAgICAgY291dCA8PCAnXG4nOwogICAgLy8gfQoKICAgIGNvdXQgPDwgZHBba11bbl07CgoKICAgIAoKICAgIHJldHVybiAwOwp9Cg==