LINK：回首过去
考试的时候没推出来 原因：状态真的很差 以及 数论方面的 我甚至连除数分块都给忘了.
手玩几个数据 可以发现 (frac{x}{y})满足题目中的条件当且仅当 这个是一个既约分数 且 y中只含2,5的因子.
枚举y考虑贡献 先除掉本身的2,5的倍数后变成w1 之后考虑x 1~n中x只要是w1的倍数那么都是不合法的。
把这些数给去掉即可.这样就得到了一个O(n)的做法。
观察数据范围 容易想到 考察的是一个根号的算法。
此时考虑枚举w1 那么可以发现w1要满足 不是2,5的倍数 此时贡献为n/w1 考虑这样的数字有多少个 容易发现可以暴力统计 强行乘上若干个2和若干个5.
推到这里我昨天卡住了 因为这还没有达到很好的效果 忘了整除分块了 直接分块 容易得到一个(sqrt{n}log_2log_5)的做法。
不过这样 只能信仰过题。考虑把两个log优化掉 可以发现求多少个的时候其实是求 1~n/w1中 只包含2,5质因子数的个数。
将这个东西预处理 然后从小到大排序 整除分块的时候 就可以单调的判断了 复杂度(sqrt{n}+log^3)
中间一个小步骤需要简单容斥一下.
const ll MAXN=10010;
ll n,ans,cnt;
ll a[MAXN];
inline ll calc(ll x)
{
return x-x/2-x/5+x/10;
}
signed main()
{
//freopen("1.in","r",stdin);
get(n);
for(ll i=1;i<=n;i=i*2)
for(ll j=1;i*j<=n;j=j*5)a[++cnt]=i*j;
sort(a+1,a+1+cnt);
ll w1,w2,flag=cnt;
for(ll i=1;i<=n;i=w2+1)
{
w1=n/i;w2=n/w1;
while(a[flag]>w1&&flag)--flag;
ans=ans+w1*(calc(w2)-calc(i-1))*flag;
}
putl(ans);
return 0;
}