#include <iostream>
#include <cstdio>
#include <vector>
using namespace std;

typedef long long int lli;

const lli maxn = 16, inf = lli(1e17)+5;

lli A[maxn], maxi[maxn];

int main(void)
{
	lli n, k;
	scanf("%lld%lld", &n, &k);
	for(lli i = 0;i < n;i++) scanf("%lld", &A[i]);

	for(lli i = 0;i < n;i++)
	{
		maxi[i] = max(maxi[i], A[i]);
		if(i) maxi[i] = max(maxi[i], maxi[i-1]);
	}

	lli res = inf;
	for(lli mask = 0;mask < (1<<n);mask++)
	{
		if(__builtin_popcount(mask) == k)
		{
			lli cost = 0, maxiyet = -1;
			for(lli i = 0;i < n;i++)
			{
				if(mask&(1<<i))
				{
					lli newht = maxiyet+1;
					if(i) newht = max(maxi[i-1]+1, newht);
					cost += max(0ll, newht-A[i]);
					maxiyet = newht;
				}
			}
			res = min(res, cost);
		}
	}
	printf("%lld\n", res);
}