// 提出時にassertはオフ #ifndef DEBUG #ifndef NDEBUG #define NDEBUG #endif #endif #include using namespace std; using ll = long long; #define ALL(x) (x).begin(), (x).end() template using vec = vector; int N, K; // i番目を最小値にすることがK回以下の操作で可能ならtrue bool canMakeMin(vector &A, int index, ll &ans){ ll cur_up = 0; ll sousa = 0; ans = A[index]; for(int i = index + 1; i <= N; i++){ ll cur_num = A[i] + cur_up; if(cur_num >= A[index]) continue; ll cur_sousa = (A[index] - cur_num - 1) / i + 1; cur_up += cur_sousa * i; sousa += cur_sousa; // K回では足りない if(sousa > K) return false; } // この時の答も求めておく ans += (K - sousa) * index; return true; } int main() { ios_base::sync_with_stdio(false); cin.tie(nullptr); cin >> N >> K; vec A(N + 1); for(int i = 1; i <= N; i++) cin >> A[i]; // 最小値にするindexの候補 [1, i)のminよりA[i]が小さければOK vec min_kouho = {1}; { int cur_min = A[1]; for(int i = 2; i <= N; i++) { if(A[i] < cur_min){ min_kouho.push_back(i); cur_min = A[i]; } } } // min_kouhoのうち、操作K回で実際に最小値にできる最小のindexを二分探索で求める ll ans = 0; if(canMakeMin(A, 1, ans)){ cout << ans << "\n"; return 0; } { // l_indexはNG, r_indexはOK int l_index = 0; int r_index = min_kouho.size() - 1; while(r_index - l_index > 1){ int m_index = (l_index + r_index) / 2; if(canMakeMin(A, m_index, ans)) r_index = m_index; else l_index = m_index; } canMakeMin(A, r_index, ans); cout << ans << "\n"; } }