题目
还是比较简单的。根据 \(i!\times (i+1)=(i+1)!\)，所以可以对于从 \(1\sim x-1\) 的所有数进行判断，记 \(cnt[i]\) 表示 \(i!\) 的数量。如果 \(cnt[i]\mod (i+1)\) 不是 \(0\)，那么肯定是无解的了，否则需要将 \(cnt[i]\div(i+1)\) 进位到 \(cnt[i+1]\)。
#include<cstdio>
using namespace std;
#define Ls(i,l,r) for(int i=l;i<r;++i)
#define Rs(i,l,r) for(int i=l;i>r;--i)
#define L(i,l) for(int i=0;i<l;++i)
const int N=500010;
int n,x,cnt[N];
int main(){
// freopen("1.in","r",stdin);
// freopen("1.out","w",stdout);
// ios::sync_with_stdio(0);
// cin.tie(0);
// cout.tie(0);
scanf("%d%d",&n,&x);
L(i, n){
int x;
scanf("%d",&x);
++cnt[x];
}
Ls(i, 1, x){
if(cnt[i]%(i+1))return puts("No"),0;
else cnt[i+1]+=cnt[i]/(i+1);
}
puts("Yes");
return 0;
}