#abc241b. [abc241_b]Pasta
[abc241_b]Pasta
問題文
高橋君の家には 本の麺からなるパスタがあり、 本目の麺の長さは です。
高橋君はこれから 日間の食事計画を立てており、 日目にはパスタの麺のうち長さがちょうど であるようなものを 本選び、食べようと考えています。 もし、 日目から 日目の間に 日でもそのような麺が無い日があれば、食事計画は失敗となります。 また、同じ麺を複数の日に食べることはできません。
高橋君が食事計画を最後まで実行することは可能ですか?
制約
- 入力はすべて整数である。
入力
入力は以下の形式で標準入力から与えられる。
出力
高橋君が食事計画を最後まで実行できる場合は Yes
を、そうでない場合は No
を出力せよ。
入力例 1
3 2
1 1 3
3 1
出力例 1
Yes
日目に 本目の麺を、 日目に 本目の麺を食べれば良いので、高橋君の食事計画は実行可能です。
入力例 2
1 1
1000000000
1
出力例 2
No
長さがちょうど の麺が存在する必要があります。
入力例 3
5 2
1 2 3 4 5
5 5
出力例 3
No
長さが の麺は 本しか存在しないため、 日目に食事をとる事が出来ません。