atcoder#S8PC4B. Buildings are Colorful!

Buildings are Colorful!

题目描述

输入格式

N N K K a1 a_1 a2 a_2 a3 a_3 ... aN a_N

输出格式

最小金額を 1 1 行に出力しなさい。
また、最後には改行を入れること。

5 5
3949 3774 3598 3469 3424
1541
5 3
7 4 2 6 4
7

提示

制約

  • 1 < = K < = N < = 15 1\ <\ =\ K\ <\ =\ N\ <\ =\ 15
  • 1 < = ai < = 109 1\ <\ =\ a_i\ <\ =\ 10^9

得点

小課題1 [120 120 点]

  • N = K N\ =\ K

小課題2 [90 90 点]

  • N < = 5 N\ <\ =\ 5
  • ai < = 7 a_i\ <\ =\ 7

小課題3 [140 140 点]

  • 追加の制約はない。

Sample Explanation 1

建物の高さを左から順に 3949, 3950, 3951, 3952, 3953 3949,\ 3950,\ 3951,\ 3952,\ 3953 とすると高橋君はすべての建物を見ることができます。

Sample Explanation 2

建物の高さを左から順に 7, 8, 2, 9, 4 7,\ 8,\ 2,\ 9,\ 4 とするとコスト 7 7 で目標を達成することができます。