C - Reach
解説を見る- 実行時間制限:2000 ms
- メモリ制限:1073741824 Bytes
- 配点:100 点
- ジャッジ:Batch
- 使用可能言語:All Batch Languages (dc (GNU dc), C++ (gcc), C (gcc), Python3 (CPython), Text (cat), Bash, Brainfuck, codon)
ストーリー
ある日,TyrannoくんとGyaosくんは最近Atsuo国で有名な AtsuoReacher というゲームをしていました.
Gyaosくん「リーチ!」
Tyrannoくん「うわぁ~」
Imosちゃん「ただいま~.なにやってるの?」
Gyaosくん「 AtsuoReacher っていうゲームだよ.いまちょうど自分がリーチしたところ」
Imosちゃん「?これって本当にリーチできる?」
Tyrannoくん,Gyaosくん「えっ」
問題文
正整数 と長さが の数列 が与えられます.
ここで,数列 を つの長さ の数列 と つの数字 に分けることを考えます.
数列 の要素のうち,ちょうど つを 以上 以下の整数に変えることで以下の条件をすべて満たすように分けることのできる数列 が作れるとき,Gyaosくんはリーチができます.
- つの数字 が等しい
- 以上 以下の整数 について、 か が成立する
Gyaosくんはリーチできるかどうかを出力してください.
制約
- 入力はすべて整数
入力
入力は以下の形式で標準入力から与えられる.
出力
Gyaosくんがリーチできるならば Yes を,そうでないならば No を出力せよ.
入力例1
4 1 1 1 2 2 3 4 4 5 5 5 6 6 6
出力例1
Yes
例えば, を から に変更することで, とすれば条件を満たします.
入力例2
4 12345 67890 200000 99999 1 2 3 4 5 6 7 8 9 10
出力例2
No
入力は昇順に与えられるとは限りません.