#include <iostream>
#include <string>
#include <vector>
#include <algorithm>
#include <cstring>
#include <cmath>
#include <limits>
#include <stack>
#include <queue>
#include <map>
#include <set>
#include <functional>
#include <iomanip>

using namespace std;

#ifdef LOCAL
#define eprintf(...) fprintf(stderr, __VA_ARGS__)
#else
#define eprintf(...) 42
#endif
using ll = long long;
using vll = std::vector<ll>;
using vvll = std::vector<vll>;
using vvvll = std::vector<vvll>;
#define reps(i, S, E) for (ll i = (S); i <= (E); i++)
#define rep(i, N) reps(i, 0, N-1)
#define deps(i, E, S) for (ll i = (E); i >= (S); i--)
#define dep(i, N) deps(i, N-1, 0)
const ll INF = 1LL << 60;
const int INF_INT = 1 << 30;

template<class T> inline bool chmax(T &a, T b) { if (a < b) { a = b; return true; }return false; }
template<class T> inline bool chmin(T &a, T b) { if (a > b) { a = b; return true; }return false; }
struct mll {
	static ll MOD;
	ll val;
	mll(ll v = 0) : val(v % MOD) { if (val < 0) val += MOD; }
	mll operator - () const { return -val; }
	mll operator + (const mll &b) const { return val + b.val; }
	mll operator - (const mll &b) const { return val - b.val; }
	mll operator * (const mll &b) const { return val * b.val; }
	mll operator / (const mll &b) const { return mll(*this) /= b; }
	mll operator + (ll b) const { return *this + mll(b); }
	mll operator - (ll b) const { return *this - mll(b); }
	mll operator * (ll b) const { return *this * mll(b); }
	friend mll operator + (ll a, const mll &b) { return b + a; }
	friend mll operator - (ll a, const mll &b) { return -b + a; }
	friend mll operator * (ll a, const mll &b) { return b * a; }
	mll &operator += (const mll &b) { val = (val + b.val) % MOD; return *this; }
	mll &operator -= (const mll &b) { val = (val + MOD - b.val) % MOD; return *this; }
	mll &operator *= (const mll &b) { val = (val*b.val) % MOD; return *this; }
	mll &operator /= (const mll &b) {
		ll c = b.val, d = MOD, u = 1, v = 0;
		while (d) {
			ll t = c / d;
			c -= t * d; swap(c, d);
			u -= t * v; swap(u, v);
		}
		val = val * u % MOD;
		if (val < 0) val += MOD;
		return *this;
	}
	mll &operator += (ll b) { return *this += mll(b); }
	mll &operator -= (ll b) { return *this -= mll(b); }
	mll &operator *= (ll b) { return *this *= mll(b); }
	mll &operator /= (ll b) { return *this /= mll(b); }
	bool operator == (const mll &b) { return val == b.val; }
	bool operator != (const mll &b) { return val != b.val; }
	bool operator == (ll b) { return *this == mll(b); }
	bool operator != (ll b) { return *this != mll(b); }
	friend bool operator == (ll a, const mll &b) { return mll(a) == b.val; }
	friend bool operator != (ll a, const mll &b) { return mll(a) != b.val; }
	friend ostream &operator << (ostream &os, const mll &a) { return os << a.val; }
	friend istream &operator >> (istream &is, mll &a) { return is >> a.val; }
	static mll Combination(ll a, ll b) {
		chmin(b, a - b);
		if (b < 0) return mll(0);
		mll c = 1;
		rep(i, b) c *= a - i;
		rep(i, b) c /= i + 1;
		return c;
	}
};
using vmll = std::vector<mll>;
using vvmll = std::vector<vmll>;
using vvvmll = std::vector<vvmll>;
using vvvvmll = std::vector<vvvmll>;

struct Fast {
	Fast() {
		cin.tie(0);
		ios::sync_with_stdio(false);
		cout << fixed << setprecision(std::numeric_limits<double>::max_digits10);
	}
} fast; //cin,cout高速化のおまじない＋桁数指定

ll mll::MOD = (ll)(1e9 + 7);// 998244353ll;


int main() {
	ll N;
	cin >> N;
	ll K;
	cin >> K;
	vector<ll> A(N);
	rep(i, N) {
		cin >> A[i];
	}

	ll result = INF;

	vector<bool> flag(N, false);
	rep(i, (1 << (N - 1))) {
		ll k = i;
		ll count = 0;
		rep(j, N - 1) {
			if ((k & 1) > 0) {
				flag[j + 1] = true;
				count++;
			}
			else {
				flag[j + 1] = false;
			}
			k >>= 1;
		}

		ll see = 1;
		ll highest = A[0];
		ll cost = 0;

		reps(j, 1, N - 1) {
			if (highest < A[j]) {
				highest = A[j];
				see++;
			}
			else {
				if (flag[j]) {
					highest++;
					cost += highest - A[j];
					see++;
				}
			}
		}

		if (see >= K) {
			chmin(result, cost);
		}
	}

	cout << result << endl;

	return 0;
}



//int main() {
//	ll R;
//	cin >> R;
//	ll C;
//	cin >> C;
//	vvll A(R, vll(C, 0));
//	rep(i, R) rep(j, C) {
//		cin >> A[i][j];
//	}
//
//	ll result = 0;
//
//	vector<bool> flag(R, false);
//	rep(i, (1 << R)) {
//		ll k = i;
//		rep(j, R) {
//			if ((k & 1) > 0) {
//				flag[j] = true;
//			}
//			else {
//				flag[j] = false;
//			}
//			k >>= 1;
//		}
//
//		ll temp = 0;
//		rep(j, C) {
//			ll front = 0;
//			rep(k, R) {
//				front += flag[k] ? 1 - A[k][j] : A[k][j];
//			}
//
//			temp += max(front, R - front);
//		}
//
//		chmax(result, temp);
//	}
//
//	cout << result << endl;
//
//	return 0;
//}


//int main() {
//	ll N;
//	cin >> N;
//	ll M;
//	cin >> M;
//	vector<ll> X(M);
//	vector<ll> Y(M);
//	vector<set<ll>> graph(N, set<ll>());
//	rep(i, M) {
//		cin >> X[i] >> Y[i];
//		graph[X[i] - 1].insert(Y[i] - 1);
//		graph[Y[i] - 1].insert(X[i] - 1);
//	}
//
//	ll result = 0;
//	vector<bool> flag(N, false);
//
//	rep(i, (1 << N)) {
//		ll k = i;
//		ll temp = 0;
//		rep(j, N) {
//			if ((k & 1) > 0) {
//				flag[j] = true;
//				temp++;
//			}
//			else {
//				flag[j] = false;
//			}
//			k >>= 1;
//		}
//
//		bool ok = true;
//		reps(j, 0, N - 2) {
//			if (flag[j] == false) {
//				continue;
//			}
//			reps(k, j + 1, N - 1) {
//				if (flag[k] == false) {
//					continue;
//				}
//				if (graph[j].find(k) == graph[j].end()) {
//					ok = false;
//					break;
//				}
//			}
//			if (!ok) {
//				break;
//			}
//		}
//
//		if (ok) {
//			chmax(result, temp);
//		}
//	}
//
//	cout << result << endl;
//
//	return 0;
//}


//int main() {
//	ll M;
//	cin >> M;
//	vector<ll> Mx(M);
//	vector<ll> My(M);
//	rep(i, M) {
//		cin >> Mx[i] >> My[i];
//	}
//	ll N;
//	cin >> N;
//	vector<ll> Nx(N);
//	vector<ll> Ny(N);
//	set<ll> s;
//	rep(i, N) {
//		cin >> Nx[i] >> Ny[i];
//		s.insert(Nx[i] * 1000001 + Ny[i]);
//	}
//
//	ll resultX = 0;
//	ll resultY = 0;
//
//	rep(i, N) {
//		//M[0]の星の座標がN[i]と仮定して整合するかチェック
//		ll biasX = Nx[i] - Mx[0];
//		ll biasY = Ny[i] - My[0];
//		bool ok = true;
//
//		reps(j, 1, M - 1) {
//			ll x = Mx[j] + biasX;
//			ll y = My[j] + biasY;
//
//			if (s.find(x * 1000001 + y) == s.end()) {
//				ok = false;
//				break;
//			}
//		}
//
//		if (ok) {
//			resultX = biasX;
//			resultY = biasY;
//			break;
//		}
//	}
//
//	cout << resultX << " " << resultY << endl;
//
//	return 0;
//}


//int main() {
//	ll N;
//	cin >> N;
//	vector<ll> A(N);
//	vector<ll> B(N);
//	vector<ll> C(N * 2);
//	rep(i, N) {
//		cin >> A[i] >> B[i];
//		C[i] = A[i];
//		C[i + N] = B[i];
//	}
//
//	ll result = INF;
//
//	//rep(i, N * 2) rep(j, N * 2) {
//	//	ll enter = C[i];
//	//	ll exit = C[j];
//	//	ll temp = 0;
//
//	//	rep(k, N) {
//	//		ll distEnterToA = abs(enter - A[k]);
//	//		ll distEnterToB = abs(enter - B[k]);
//
//	//		if (distEnterToA <= distEnterToB) {
//	//			//先にAから
//	//			temp += distEnterToA + (B[k] - A[k]);
//	//			temp += abs(exit - B[k]);
//	//		}
//	//		else {
//	//			//先にBから
//	//			temp += distEnterToB + (B[k] - A[k]);
//	//			temp += abs(exit - A[k]);
//	//		}
//	//	}
//	//	
//	//	chmin(result, temp);
//	//}
//
//	rep(i, N) rep(j, N) {
//		ll enter = A[i];
//		ll exit = B[j];
//		ll temp = 0;
//
//		rep(k, N) {
//			temp += abs(enter - A[k]);
//			temp += (B[k] - A[k]);
//			temp += abs(exit - B[k]);
//		}
//		
//		chmin(result, temp);
//	}
//
//	cout << result << endl;
//
//	return 0;
//}


//struct LLPair {
//	ll a = 0;
//	ll b = 0;
//	LLPair() {}
//	LLPair(ll a, ll b) {
//		this->a = a;
//		this->b = b;
//	}
//	//Pqueueに入れるときに必須
//	bool operator<(const LLPair &c) const {
//		return a < c.a;
//	}
//};
//
//int main() {
//	ll N;
//	cin >> N;
//	set<ll> s;
//	vector<LLPair> p(N);
//	rep(i, N) {
//		ll a;
//		cin >> a;
//		ll b;
//		cin >> b;
//		p[i].a = a;
//		p[i].b = b;
//		s.insert(a * 3000 + b);
//	}
//
//	ll result = 0;
//
//	reps(i, 0, N - 2) reps(j, i + 1, N - 1) {
//		ll x1 = p[i].a;
//		ll y1 = p[i].b;
//		ll x2 = p[j].a;
//		ll y2 = p[j].b;
//
//		ll biasX = y1 + y2 + x1 + x2;
//		if (biasX % 2 > 0) {
//			continue;
//		}
//		biasX /= 2;
//
//		ll biasY = -x1 - x2 + y1 + y2;
//		if (biasY % 2 > 0) {
//			continue;
//		}
//		biasY /= 2;
//
//		ll newX1 = -y1 + biasX;
//		ll newY1 = x1 + biasY;
//		if (newX1 < 0 || newY1 < 0) {
//			continue;
//		}
//
//		if (s.find(newX1 * 3000 + newY1) == s.end()) {
//			continue;
//		}
//
//		ll newX2 = -y2 + biasX;
//		ll newY2 = x2 + biasY;
//		if (newX2 < 0 || newY2 < 0) {
//			continue;
//		}
//
//		if (s.find(newX2 * 3000 + newY2) == s.end()) {
//			continue;
//		}
//
//		ll area = ((x1 - x2) * (x1 - x2) + (y1 - y2) * (y1 - y2)) / 2;
//
//		chmax(result, area);
//	}
//
//	cout << result << endl;
//
//	return 0;
//}


//int main() {
//	ll N;
//	cin >> N;
//	string S;
//	cin >> S;
//	ll len_S = S.size();
//	
//	ll result = 0;
//	vll keta(3, 0);
//
//	reps(i, 0, 999) {
//		keta[0] = i / 100;
//		keta[1] = (i % 100) / 10;
//		keta[2] = i % 10;
//
//		ll check = 0;
//		rep(j, N) {
//			if (S[j] - '0' == keta[check]) {
//				check++;
//				if (check == 3) {
//					result++;
//					break;
//				}
//			}
//		}
//	}
//
//	cout << result << endl;
//
//	return 0;
//}

//int main() {
//	ll A;
//	cin >> A;
//	ll B;
//	cin >> B;
//	ll C;
//	cin >> C;
//	ll X;
//	cin >> X;
//	ll Y;
//	cin >> Y;
//
//	ll result = INF;
//	ll stop = max(X, Y);
//
//	reps(i, 0, stop) {
//		ll temp = i * C * 2;
//		temp += max(0ll, X - i) * A;
//		temp += max(0ll, Y - i) * B;
//		chmin(result, temp);
//	}
//
//	cout << result << endl;
//
//	return 0;
//}


////約数の列挙：√N
//vector<ll> Divisor(ll n) {
//	vector<ll> ret;
//	for (ll i = 1; i * i <= n; i++) {
//		if (n % i == 0) {
//			ret.push_back(i);
//			if (i * i != n) {
//				ret.push_back(n / i);
//			}
//		}
//	}
//	std::sort(ret.begin(), ret.end());
//	return (ret);
//}
//
//int main() {
//	ll N;
//	cin >> N;
//
//	ll result = 0;
//
//	reps(i, 1, N) {
//		if (i % 2 == 0) {
//			continue;
//		}
//
//		auto ret = Divisor(i);
//
//		if (ret.size() == 8) {
//			result++;
//		}
//	}
//
//	cout << result << endl;
//
//	return 0;
//}

//int main() {
//	ll N;
//	cin >> N;
//	ll M;
//	cin >> M;
//	vvll A(N, vll(M, 0));
//	rep(i, N) rep(j, M) {
//		cin >> A[i][j];
//	}
//
//	ll result = 0;
//
//	reps(i, 0, M - 2) reps(j, i + 1, M - 1) {
//		ll temp = 0;
//
//		rep(k, N) {
//			temp += max(A[k][i], A[k][j]);
//		}
//
//		chmax(result, temp);
//	}
//
//	cout << result << endl;
//
//	return 0;
//}


Measured memory_bytes: 256