【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了。
P.S:好像令bi=1/ai即可。
#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;
}