AT_yahoo_procon2018_qual_e グラフの問題

[problemUrl]: https://atcoder.jp/contests/yahoo-procon2018-qual/tasks/yahoo_procon2018_qual_e $ N $ 頂点の無向単純グラフであって、各頂点の次数が順に $ D_1,...,D_N $ であるようなものが存在するかどうか判定してください。 存在しない場合、ある $ i $ に対して $ D_i $ を $ 1 $ だけ増やすことで、そのようなグラフが存在するようにできるかどうかも判定してください。

入力は以下の形式で標準入力から与えられる。 > $ N $ $ D_1 $ : $ D_N $

各頂点の次数が順に $ D_1,...,D_N $ であるようなものが存在する場合、`YES` を出力せよ。 そうでない場合、ある $ i $ に対して $ D_i $ を $ 1 $ だけ増やすことで、そのようなグラフが存在するようにできるなら、`NO` を出力せよ。 そうでない場合、`ABSOLUTELY NO` を出力せよ。

### 制約 - $ 1\ \leq\ N\ \leq\ 10^5 $ - $ 0\ \leq\ D_i\ \leq\ N-1(1\leq\ i\leq\ N) $ - $ D_i\ \leq\ D_{i+1}(1\leq\ i\leq\ N-1) $ - 入力はすべて整数である ### Sample Explanation 1 辺集合が $ {(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)} $ であるようなグラフが条件を満たします。