atcoder#ABC227D. [ABC227D] Project Planning

[ABC227D] Project Planning

题目描述

キーエンスには N N 個の部署があり、i(1  i  N) i\,(1\ \leq\ i\ \leq\ N) 番目の部署には Ai A_i 人の社員が所属しています。異なる部署に同じ社員が所属していることはありません。

キーエンスは、部署をまたいだ全社横断プロジェクトを計画しています。1 1 つのプロジェクトは K K 個の相異なる部署から 1 1 人ずつ選出して作り、ちょうど K K 人から構成されるようにします。

プロジェクトは最大でいくつ作れますか?ただし、1 1 人が複数のプロジェクトに参加することはできません。

输入格式

入力は以下の形式で標準入力から与えられる。

N N K K A1 A_1 A2 A_2 \ldots AN A_N

输出格式

プロジェクトの個数の最大値を出力せよ。

题目大意

一个公司有 NN 个部门,第 ii 个部门有 AiA_i 名员工。不会有员工同时属于多个不同部门。 公司计划建立若干个横跨不同部门的项目,一个项目必须由来自不同部门的恰好 KK 名员工组成。 问最多可以同时建立多少个项目?

3 3
2 3 4
2
4 2
1 1 3 4
4
4 3
1 1 3 4
2

提示

制約

  • 1  K  N  2 × 105 1\ \leq\ K\ \leq\ N\ \leq\ 2\ \times\ 10^5
  • 1  Ai  1012 1\ \leq\ A_i\ \leq\ 10^{12}
  • 入力は全て整数

Sample Explanation 1

3 3 個の部署それぞれから 1 1 人ずつ選出したプロジェクトを 2 2 つ作ることができます。