B. Factorial Divisibility #829 div1

Problem - 1753B - Codeforces

题意是给你一个n长的序列和数字m

n长度的序列里面所有的数都小于m，问你a1!+a2!+a3!...an！是否能整除x！

这个题其实不是特别难，遇到能有公式的，比如什么最大公约数 最小公约数什么的首先要想想是不是可以进行把公式❀成你想要的东西

这个是阶乘 

比如5！=5*4！很合理是吧，往往越合理越容易被忽略

5*4！的意思是4！+4！+4！+4！+4！=5！就是5个4！相乘

这样的话，可以从i一步一步的往i+1上面合并，一直到最后合并不了

然后在中途如果mp[i]不能被（i+1）整除，那必不能整除直接no

到最后即使不能合并到m，那也是可以被整除的

我一开始还在想这个的合理性，感觉有没有可能+的部分是可以被整除的，但是没可能啊。因为我需要的数都被合并了，合并的方法只有那一种，所以可以就是可以，不可以就是不可以

看代码

#pragma GCC optimize(1)//A
#pragma GCC optimize(2)
#pragma GCC optimize(3,"Ofast","inline")
#define IOS ios::sync_with_stdio(false), cin.tie(0);
#include<iostream>
#include<map>
#include<set> 
#include<cstdio>
#include<cstring>
#include<vector>
#include<stack>
#include<algorithm>
#include<cmath>
#include<queue>
#include<deque>
using namespace std;
#define int long long
typedef long long ll;
typedef pair<int,int> PAII;
const int N=2e6+10,M=5050,INF=1e18,mod=998244353;
map<int,int> mp; 
signed main(){
    //IOS;
    int T;
    T=1;
    //cin>>T;
    while(T--)
    {
    	mp.clear();
		int n,m;
		cin>>n>>m;
		for(int i=1;i<=n;i++)
		{
			int x;
			cin>>x;
			mp[x]++;
		} 
		int f=1;
		for(int i=1;i<m;i++)
		{
			if(mp[i]%(i+1)!=0)
			{
				f=0;
				break;
			}
			mp[i+1]+=mp[i]/(i+1);
		}
		if(f) cout<<"YES\n";
		else cout<<"NO\n";
	}
    return 0;
} 
/* 

*/