CF1754D

题目

还是比较简单的。根据 $i!\times (i+1)=(i+1)!$，所以可以对于从 $1\sim x-1$ 的所有数进行判断，记 $cnt[i]$ 表示 $i!$ 的数量。如果 $cnt[i]\mathrm{mod}(i+1)$ 不是 $0$，那么肯定是无解的了，否则需要将 $cnt[i]÷(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;
}