import java.io.PrintWriter
import java.util.NoSuchElementException

fun main(args: Array<String>) = IO().exec {
    val n = int()
    val k = int()
    val a = LongArray(n){long()}
    val preCond = LongArray(n)
    for (i in 0 until n-1) preCond[i+1] = Math.max(preCond[i], a[i])
    var minCost = 1L.shl(60)
    for (mask in bitFixedSizeSubsets(k, n)) {
        val bits = bitCollect(mask, n)
        var cost = 0L
        var pre = 0L
        for (b in bits) {
            pre = Math.max(pre, preCond[b])
            if (pre >= a[b]) {
                cost += pre + 1 - a[b]
                pre++
            } else {
                pre = a[b]
            }
        }
        minCost = Math.min(minCost, cost)
    }
    println(minCost)
}

fun bitFixedSizeSubsets(k: Int, n: Int): MutableList<Int> {
    val ret = mutableListOf<Int>()
    var x = 1.shl(k) - 1
    while (x < 1.shl(n)) {
        ret.add(x)
        if (k == 0) {
            break
        }
        val t = x.or(x - 1)
        x = (t + 1).or( (t.inv().and(-t.inv()) - 1).shr(Integer.numberOfTrailingZeros(x) + 1) )
    }
    return ret
}

fun bitCollect(mask: Int, n: Int): MutableList<Int> {
    val ret = mutableListOf<Int>()
    for (i in 0 until n) if (mask.and(1.shl(i)) > 0) ret.add(i)
    return ret
}

class IO {
    val printable = 33..126
    val buffer = ByteArray(1024)
    var ptr = 0
    var buflen = 0
    val out = PrintWriter(System.out)
    fun hasNextByte(): Boolean {
        if (ptr < buflen) {
            return true
        } else {
            ptr = 0
            buflen = System.`in`.read(buffer)
            if (buflen <= 0) {
                return false
            }
        }
        return true
    }
    fun readByte(): Byte {
        return if (hasNextByte()) buffer[ptr++] else return -1
    }
    fun hasNext(): Boolean {
        while (hasNextByte() && buffer[ptr] !in printable) ptr++
        return hasNextByte()
    }
    fun string(): String {
        if (!hasNext()) throw NoSuchElementException()
        val sb = StringBuilder()
        var b = readByte()
        while (b in printable) {
            sb.appendCodePoint(b.toInt())
            b = readByte()
        }
        return sb.toString()
    }
    fun long(): Long {
        if (!hasNext()) throw NoSuchElementException()
        var n = 0L
        var minus = false
        var b = readByte()
        if (b == '-'.toByte()) {
            minus = true
            b = readByte()
        }
        if (b !in '0'.toByte()..'9'.toByte()) {
            throw NumberFormatException()
        }
        while (true) {
            if (b in '0'.toByte()..'9'.toByte()) {
                n *= 10
                n += b - '0'.toByte()
            } else if (b == (-1).toByte() || b !in printable) {
                return if (minus) -n else n
            } else {
                throw NumberFormatException()
            }
            b = readByte()
        }
    }
    fun int(): Int {
        val nl = long()
        if (nl !in Integer.MIN_VALUE..Integer.MAX_VALUE) throw NumberFormatException()
        return nl.toInt()
    }
    fun double(): Double {
        return string().toDouble()
    }
    fun print(obj: Any) = out.print(obj)
    fun print(i: Int) = out.print(i)
    fun print(l: Long) = out.print(l)
    fun println(obj: Any) = out.println(obj)
    fun println(i: Int) = out.println(i)
    fun println(l: Long) = out.println(l)
    inline fun exec(block: IO.() -> Unit) {
        block()
        out.flush()
    }
}

Measured memory_bytes: 31648