Farmer John は毎年の農業免許試験を受けます。$N$ 問($1 \le N \le 1,000,000$)の正誤問題です。昨年 FJ の成績が悪く、Bessie は手伝いたいと思います。
Bessie は、答えが真の問題数が $t_{1}$、$t_{2}$、$t_{3}$、……、$t_{K}$ のいずれか($0 \le t_i \le N; 0 \le K \le 10,000$)という内部情報を持ちますが、個々の問題の答えは何も知りません。FJ が実際の答えを知らず、この情報を慎重に利用して保証できる最高点を知りたいのです。
例として $N=6$ 問で真の数が0か3とします。FJ は最低3問を保証できます。すべて偽と答えれば、真が0問なら6問すべて正解、3問なら3問正解です。したがって答えを知らなくてもすべて偽なら最低3問正解を保証します。
一方、悪い戦略として3問を真、他3問を偽と推測します。真が0問なら偽と答えた3問正解ですが、真が3問なら0問正解の可能性があります。真と答えた3問がすべて偽で、偽と答えた他3問が真なら全問不正解です。この場合もすべて偽なら3問正解なのに、3問を真とすると1問さえ保証できず、何問も保証できません。前段落の戦略を使うべきです。
内部情報を最適に使うと仮定し、FJ が常に正解を保証できる問題数を求めてください。
入力
- 1行目:空白区切りの2整数 $N$ と $K$。
- $2..K+1$ 行目:$i+1$ 行目は整数一つ $t_{i}$。
出力
- 1行目:FJ が保証できる最高点を整数一つで。
入出力例
入力 1
6 2 0 3
出力 1
3
問題作成者:Tom Conerly, 2010