#define _CRT_SECURE_NO_WARNINGS #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #define rep(i,n) for(int (i)=0;(i)<(int)(n);++(i)) #define rer(i,l,u) for(int (i)=(int)(l);(i)<=(int)(u);++(i)) #define reu(i,l,u) for(int (i)=(int)(l);(i)<(int)(u);++(i)) #if defined(_MSC_VER) || __cplusplus > 199711L #define aut(r,v) auto r = (v) #else #define aut(r,v) typeof(v) r = (v) #endif #define each(it,o) for(aut(it, (o).begin()); it != (o).end(); ++ it) #define all(o) (o).begin(), (o).end() #define pb(x) push_back(x) #define mp(x,y) make_pair((x),(y)) #define mset(m,v) memset(m,v,sizeof(m)) #define INF 0x3f3f3f3f #define INFL 0x3f3f3f3f3f3f3f3fLL using namespace std; typedef vector vi; typedef pair pii; typedef vector > vpii; typedef long long ll; typedef vector vl; typedef pair pll; typedef vector > vpll; typedef vector vs; typedef long double ld; template inline void amin(T &x, U y) { if(y < x) x = y; } template inline void amax(T &x, U y) { if(x < y) x = y; } int main() { int N, V; scanf("%d%d", &N, &V); vector C(N); rep(i, N) scanf("%d", &C[i]); reverse(all(C)); vector sum(N+1); rep(i, N) sum[i+1] = sum[i] + C[i]; long long base = sum[N]; int V2 = max(0, V - N); int M = -1; long long Mcost = INFL; rep(i, N) { long long cost = (N - i) * (sum[N] - sum[i]); if(Mcost > cost) { Mcost = cost; M = N - i; } } const int XXX = 11111, YYY = 11111; int t = max(0, V2 / M - XXX); V2 -= M * t; base += Mcost * t; vector dp(V2 + YYY + 1, INFL); dp[0] = 0; rep(i, N) { int x = N - i; long long y = sum[N] - sum[i]; rer(j, 0, V2 + YYY - x) amin(dp[j + x], dp[j] + y); } // rer(v, 0, V2 + 100) cerr << v << ": " << dp[v] << endl; long long ans = INFL; rer(v, V2, V2 + YYY) amin(ans, dp[v]); ans += base; printf("%lld\n", ans); //わかんねええええええええええええ //ナップサックにしかならない… //Dijkstraでやるやつ?いやでも重み付きだとできるのかな… //greedyに小さいやつ使えばいい気もするが… //もうわからないので嘘解法 //XXX増やして様子見 //あれーXXX増やしても時間も変わらない… //そもそもナップサックっていうのが間違ってるっぽいかな… return 0; }