http://www.lydsy.com/JudgeOnline/problem.php?id=1101
无限膜拜数论和分块orz
首先莫比乌斯函数的一些性质可以看《初等数论》或《具体数学》或贾志鹏的《线性筛法和积性函数》
我写一些笔记啥的吧。。
首先莫比乌斯函数的定义及一些性质(免去证明):
$$
\mu (n) =
\begin{cases}
1 & n=1\\
(-1)^k & n=p_1p_2 \cdots p_k,质因子指数均为1且互不相同 \\
0 & 其余情况\\
\end{cases}
$$
按照定义线性筛的话很容易预处理出来,我就不阐述了。
然后是性质:
$$ \sum_{d|n} \mu (d) = [n=1]$$
反演的话暂时还没学orz
然后本题要求
$$\sum_{1<=x<=a} \sum_{1<=y<=b} [(x, y)=d]$$
那么我们化简,首先根据$(a, b)=x \Leftrightarrow (da, db)=dx$,那么本题就是要求
$$\sum_{1<=x<=a'} \sum_{1<=y<=b'} [(x, y)=1],其中a'=a/d, b'=b/d$$
继续化简,根据$\sum_{d|n} \mu (d) = [n=1]$
$$\sum_{1<=x<=a'} \sum_{1<=y<=b'} \sum_{d|(x, y)} \mu (d)$$
将和式提前且根据$a|(x, y) \Leftrightarrow a|x, a|y$,有
$$\sum_{1<=d<=min\{a', b'\}} \mu (d) \sum_{1<=x<=a'且d|x} \sum_{1<=y<=b'且d|y} 1$$
可以看出原式为:
$$\sum_{1<=d<=min\{a', b'\}} \mu (d) \lfloor \frac{a'}{d} \rfloor \times \lfloor \frac{b'}{d} \rfloor$$
而我们发现,$\lfloor \frac{a'}{d} \rfloor$只有$2\sqrt{a'}$种(即有那么多个商),b'同理,因此我们可以分块!
每一次计算同一个商的所有数。而因为是和式,我们可以维护个前缀和变成乘法!
而计算出当前商的下一个商很巧妙!
pos=min(a'/(a'/now), b'/(b'/now)),是当前除数,pos是当前商的最后一个除数,pos+1则是下一个除数(使得不同于现在的商)!
//其实不就是$\lfloor \frac{a'}{now} \rfloor = \lfloor \frac{a'}{pos} \rfloor$么。。
因为n/now得出当前商后,再除n,可以得到所有商为n/now的数的最后一个数,,,,,,很简单的小学题QAQorz
于是问题解决了
#include <cstdio> #include <cstring> #include <cmath> #include <string> #include <iostream> #include <algorithm> #include <queue> #include <set> #include <map> using namespace std; typedef long long ll; #define rep(i, n) for(int i=0; i<(n); ++i) #define for1(i,a,n) for(int i=(a);i<=(n);++i) #define for2(i,a,n) for(int i=(a);i<(n);++i) #define for3(i,a,n) for(int i=(a);i>=(n);--i) #define for4(i,a,n) for(int i=(a);i>(n);--i) #define CC(i,a) memset(i,a,sizeof(i)) #define read(a) a=getint() #define print(a) printf("%d", a) #define dbg(x) cout << (#x) << " = " << (x) << endl #define error(x) (!(x)?puts("error"):0) inline const int getint() { int r=0, k=1; char c=getchar(); for(; c<'0'||c>'9'; c=getchar()) if(c=='-') k=-1; for(; c>='0'&&c<='9'; c=getchar()) r=r*10+c-'0'; return k*r; } #define rdm(x, i) for(int i=ihead[x]; i; i=e[i].next) const int N=50015; int mu[N], p[N], np[N], cnt, sum[N]; void init() { mu[1]=1; for(int i=2; i<N; ++i) { if(!np[i]) p[++cnt]=i, mu[i]=-1; for(int j=1; j<=cnt && i*p[j]<N; ++j) { int t=i*p[j]; np[t]=1; if(i%p[j]==0) { mu[t]=0; break; } mu[t]=-mu[i]; } } for(int i=1; i<N; ++i) sum[i]=sum[i-1]+mu[i]; } int main() { int a, b, d, n=getint(); init(); while(n--) { read(a); read(b); read(d); a/=d, b/=d; int l=min(a, b), pos; ll ans=0; for(int i=1; i<=l; i=pos+1) { pos=min(a/(a/i), b/(b/i)); ans+=(ll)(sum[pos]-sum[i-1])*(a/i)*(b/i); } printf("%lld\n", ans); } return 0; }
FGD正在破解一段密码,他需要回答很多类似的问题:对于给定的整数a,b和d,有多少正整数对x,y,满足x<=a,y<=b,并且gcd(x,y)=d。作为FGD的同学,FGD希望得到你的帮助。
第一行包含一个正整数n,表示一共有n组询问。(1<=n<= 50000)接下来n行,每行表示一个询问,每行三个正整数,分别为a,b,d。(1<=d<=a,b<=50000)
对于每组询问,输出到输出文件zap.out一个正整数,表示满足条件的整数对数。
对于第一组询问,满足条件的整数对有(2,2),(2,4),(4,2)。对于第二组询问,满足条件的整数对有(6,3),(3,3)。