AT_abc203_f [ABC203F] Weed
Description
[problemUrl]: https://atcoder.jp/contests/abc203/tasks/abc203_f
高橋君と青木君の家の庭には草 $ 1 $, 草 $ 2 $, $ \ldots $, 草 $ N $ の $ N $ 本の草が生えており、草 $ i $ の高さは $ A_i $ です。 高橋君と青木君は次の方法で庭の草抜きを行う事にしました。
- まず、青木君が高々 $ K $ 本の草を選んで抜く。
- その後、高橋君が次の操作を庭の草がすべて抜けるまで繰り返す。
- 残っている草のうち高さが最大のものの高さを $ H $ とする。残っている草のうち、高さが $ \frac{H}{2} $ より高いものを一斉に抜く。
青木君は、高橋君の操作回数が最小となるようにした上で、自分の抜く本数を最小にしたいと考えています。 このときの高橋君の操作回数と青木君の抜く草の本数を求めてください。
Input Format
入力は以下の形式で標準入力から与えられる。
> $ N $ $ K $ $ A_1 $ $ A_2 $ $ \ldots $ $ A_N $
Output Format
高橋君の操作回数と青木君の抜く草の本数をこの順に空白区切りで出力せよ。
Explanation/Hint
### 制約
- $ 1\ \leq\ N\ \leq\ 2\times\ 10^5 $
- $ 0\ \leq\ K\ \leq\ N $
- $ 1\ \leq\ A_i\ \leq\ 10^9 $
- 入力は全て整数である。
### Sample Explanation 1
例えば青木君が草 $ 4 $ (高さ $ 9 $) を選んで抜いたとき、残りの草の中で最も高いものは草 $ 3 $ であり、その高さは $ 4 $ です。 $ \frac{4}{2}=2 $ であり、$ 2\