这道题很难……不看题解做不出……(实际上看了题解也不是很懂……)
我觉得CLJ和JZP都没有说清楚……
这道题是容斥,但做的时候实际上是莫比乌斯反演(话说莫比乌斯反演也就是容斥)
他要求gcd(x,y)=d,x<=a,y<=b的x,y的对数
实际上就是求gcd(x,y)=1,x<=a/d,y<=b/d的对数
设f(k)为gcd=k的,F(k)为gcd为k的倍数的
显然F(k)=sigma(f(d)) (k|d)
f(k)不好求,但是F(k)比较好求,它等于(a/k)*(b/k)
那么我们可以通过F来反解出f
f(k)=sigma(F(d/k)*μ(d)) (k|d)
现在要求f(1),那么我们可以通过F(k)反解出F(1)
因为1可以整除所有数
f(1)=sigma(F(d)*μ(d))(1<=d<=min(a,b))
这样复杂度并没有变,还是n*(min(a,b))
但是可以证明对于连续的一段k,F(k)的值是一样的
那么我们把它分成一段,不同的段最多只有2sqrt(n),也就是√n级别
同时用前缀和维护一下μ,因为是sigma,所以可以用这一段的μ的前缀和乘上这一段的F(k)
对于一个F(k),和它一样的值所对应的长度为min(a/(a/k),b/(b/k))
话说这种题考场上绝对写不出来的……Orz JZP,现在这种题可以在考场上写出来了……
数论就是蛋疼……
//Lib #include<cstdio> #include<cstring> #include<cstdlib> #include<cmath> #include<ctime> #include<iostream> #include<algorithm> #include<vector> #include<string> #include<queue> #include<set> #include<map> using namespace std; //Macro #define rep(i,a,b) for(int i=a,tt=b;i<=tt;++i) #define drep(i,a,b) for(int i=a,tt=b;i>=tt;--i) #define erep(i,e,x) for(int i=x;i;i=e[i].next) #define irep(i,x) for(__typedef(x.begin()) i=x.begin();i!=x.end();i++) #define read() (strtol(ipos,&ipos,10)) #define sqr(x) ((x)*(x)) #define pb push_back #define PS system("pause"); typedef long long ll; typedef pair<int,int> pii; const int oo=~0U>>1; const double inf=1e100; const double eps=1e-6; string name="", in=".in", out=".out"; //Var int u[50008],n,ans; int calc(int x) { int ret=1; for(int i=2;i*i<=x;i++) if(x%i==0) { x/=i,ret*=-1; if(x%i==0)return 0; } if(x!=1)ret*=-1; return ret; } void Work() { rep(i,1,50000) u[i]=u[i-1]+calc(i); scanf("%d",&n);int len,a,b,d; rep(i,1,n) { scanf("%d%d%d",&a,&b,&d); if(a>b)swap(a,b); a/=d;b/=d;ans=0; rep(pos,1,a) { len=min(a/(a/pos),b/(b/pos))-pos; ans+=(a/pos)*(b/pos)*(u[pos+len]-u[pos-1]); pos+=len; } cout<<ans<<endl; } } int main() { // freopen((name+in).c_str(),"r",stdin); // freopen((name+out).c_str(),"w",stdout); // Init(); Work(); return 0; }