题号：NC239760
时间限制：C/C++/Rust/Pascal 1秒，其他语言2秒
空间限制：C/C++/Rust/Pascal 256 M，其他语言512 M
64bit IO Format: %lld
时间限制：C/C++/Rust/Pascal 1秒，其他语言2秒
空间限制：C/C++/Rust/Pascal 256 M，其他语言512 M
64bit IO Format: %lld
题目描述
本题有easy和hard两个版本，两道题仅在数据范围上有差别。
“那些年错过的大雨，那些年错过的爱情……”七夕到了，单身汪温温又在思（fa）春。 “如果能回到那些年就好了……”
“给你机会！”月老降临，随即“砰”地一声，温温真的回到了那些年。
“怎么是机房？！这，这不对吧……我的那个TA呢？” 温温看着眼前的题目，愣了，然后他本能地开始做起题来。
题目是这么说的：
你现在有个序列
, 问是否存在一个
个节点的简单无向图（没有自环或者重边的无向图）， 使得每个结点的度（与这个节点有边相连的节点的个数）与序列
中的元素一一对应。
输入描述:
第一行输入, 表示序列的长度
第二行输入，为序列的元素。
输出描述:
如果这样的图是存在的， 输出 "YES"，否则输出"NO"（不包括双引号）。