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$ 題,Bessie 知道真題數為0或3。FJ 可保證至少3題正確:全部答假,若真題數0,6題全對;若3,答對3題。因此不知答案也只要全部標假便保證至少3題正確。
反之考慮較差策略:猜3題真、其餘3題假。若沒有真答案,猜假的3題正確;若3題真,可能0題正確:猜真的3題全錯,猜假的另外3題都真,則全錯。此時全猜假本可答對3題,但猜3題真連1題正確也不能保證,故無法保證答對任何題。FJ 應用上一段策略。
給定 Bessie 的內部消息,假設 FJ 最佳地利用資訊,求始終保證答對的題數。
輸入格式
- 第1行:兩個空格分隔整數 $N$ 和 $K$。
- 第 $2..K+1$ 行:第 $i+1$ 行含一個整數 $t_{i}$。
輸出格式
- 第1行:一個整數,FJ 能保證的最高分。
範例
輸入格式 1
6 2 0 3
輸出格式 1
3
題目作者:Tom Conerly, 2010