【BZOJ5074】[Lydsy十月月賽]小B的數字

題解：題目是問你ai*bi>=sum，bi>=0這個不等式組有沒有解。因為a<=10，容易想到取ai的lcm，然後變成lcm*bi>=lcm/ai*sum，將所有不等式的左右兩邊相加，就變成$lcm*sum\ge \sum {lcm \over ai}$。

但其實挺不解的，這顯然滿足必要性但沒有證明其充分性，官方題解裏也沒寫，莫名其妙就A了。

#include <cstdio>
#include <cstring>
#include <iostream>
using namespace std;
typedef long long ll;
ll sum,jc;
int n,T;
inline int rd()
{
	int ret=0,f=1;	char gc=getchar();
	while(gc<‘0‘||gc>‘9‘)	{if(gc==‘-‘)	f=-f;	gc=getchar();}
	while(gc>=‘0‘&&gc<=‘9‘)	ret=ret*10+gc-‘0‘,gc=getchar();
	return ret*f;
}
void work()
{
	int i;
	n=rd(),sum=0;
	for(jc=i=1;i<=10;i++)	jc*=i;
	for(i=1;i<=n;i++)	sum+=jc/rd();
	if(sum>jc)	printf("NO\n");
	else	printf("YES\n");
}
int main()
{
	T=rd();
	while(T--)	work();
	return 0;
}

【BZOJ5074】[Lydsy十月月賽]小B的數字 數學