Buildings are Colorful!
题目描述
[problemUrl]: https://atcoder.jp/contests/s8pc-4/tasks/s8pc_4_b
输入输出格式
输入格式
> $ N $ $ K $ $ a_1 $ $ a_2 $ $ a_3 $ ... $ a_N $
输出格式
最小金額を $ 1 $ 行に出力しなさい。
また、最後には改行を入れること。
输入输出样例
输入样例 #1
5 5
3949 3774 3598 3469 3424输出样例 #1
1541输入样例 #2
5 3
7 4 2 6 4输出样例 #2
7说明
### 制約
- $ 1\ <\ =\ K\ <\ =\ N\ <\ =\ 15 $
- $ 1\ <\ =\ a_i\ <\ =\ 10^9 $
### 得点
小課題1 \[$ 120 $ 点\]
- $ N\ =\ K $
小課題2 \[$ 90 $ 点\]
- $ N\ <\ =\ 5 $
- $ a_i\ <\ =\ 7 $
小課題3 \[$ 140 $ 点\]
- 追加の制約はない。
### Sample Explanation 1
建物の高さを左から順に $ 3949,\ 3950,\ 3951,\ 3952,\ 3953 $ とすると高橋君はすべての建物を見ることができます。
### Sample Explanation 2
建物の高さを左から順に $ 7,\ 8,\ 2,\ 9,\ 4 $ とするとコスト $ 7 $ で目標を達成することができます。