atcoder#ABC241B. [ABC241B] Pasta
[ABC241B] Pasta
题目描述
高橋君の家には 本の麺からなるパスタがあり、 本目の麺の長さは です。
高橋君はこれから 日間の食事計画を立てており、 日目にはパスタの麺のうち長さがちょうど であるようなものを 本選び、食べようと考えています。 もし、 日目から 日目の間に 日でもそのような麺が無い日があれば、食事計画は失敗となります。 また、同じ麺を複数の日に食べることはできません。
高橋君が食事計画を最後まで実行することは可能ですか?
输入格式
入力は以下の形式で標準入力から与えられる。
输出格式
高橋君が食事計画を最後まで実行できる場合は Yes
を、そうでない場合は No
を出力せよ。
题目大意
小A有个数字,第 个数字是 。
他制定了今后 天的计划,第 天他想要的数字是。每天他想选 个这样的数。如果从第 天到 天之间有任何 天没有那样的数字,计划就会失败。另外,一个数字只能选一次。
判断小A是否可以完成他的计划。
3 2
1 1 3
3 1
Yes
1 1
1000000000
1
No
5 2
1 2 3 4 5
5 5
No
提示
制約
- 入力はすべて整数である。
Sample Explanation 1
日目に 本目の麺を、 日目に 本目の麺を食べれば良いので、高橋君の食事計画は実行可能です。
Sample Explanation 2
長さがちょうど の麺が存在する必要があります。
Sample Explanation 3
長さが の麺は 本しか存在しないため、 日目に食事をとる事が出来ません。