【NOIP2009提高组】HK的趣味题

题目背景

NOIP2009提高组试题2。

题目描述

Hanks博士是 BT(Bio-Tech，生物技术)领域的知名专家，他的儿子名叫 Hankson。现在，刚刚放学回家的 Hankson 正在思考一个有趣的问题。
今天在课堂上，老师讲解了如何求两个正整数 c1 和 c2 的最大公约数和最小公倍数。现在 Hankson 认为自己已经熟练地掌握了这些知识，他开始思考一个“求公约数”和“求公倍数”之类问题的“逆问题”，这个问题是这样的：已知正整数 a0，a1，b0，b1，设某未知正整数 x 满足：
1．x 和 a0 的最大公约数是 a1；
2．x 和 b0 的最小公倍数是 b1。
Hankson 的“逆问题”就是求出满足条件的正整数 x。但稍加思索之后，他发现这样的 x 并不唯一，甚至可能不存在。因此他转而开始考虑如何求解满足条件的 x 的个数。请你帮助他编程求解这个问题。

输入格式

输入第一行为一个正整数 n，表示有 n 组输入数据。
接下来的 n 行每行一组输入数据，为四个正整数 a0，a1，b0，b1，每两个整数之间用一个空格隔开。输入数据保证 a0 能被 a1 整除， b1 能被 b0 整除。

输出格式

输出共 n 行。每组输入数据的输出结果占一行，为一个整数。
对于每组数据：若不存在这样的 x ，请输出 0 ；若存在这样的 x ，请输出满足条件的 x 的个数。
样例数据 1
输入

2
41 1 96 288
95 1 37 1776

输出

6
2

备注

【样例说明】
第一组输入数据，x 可以是 9、18、36、72、144、288，共有 6 个。
第二组输入数据，x 可以是 48、1776，共有 2 个。
【数据范围】
对于 50% 的数据，保证有 1≤a0，a1，b0，b1≤10000 且 n≤100。
对于 100% 的数据，保证有 1≤a0，a1，b0，b1≤2,000,000,000 且 n≤2000。

解析：

  数学推理题。
  $GCD：$
  若$gcd(a_0,x)=a_1$
  则有$gcd(\frac{a_0}{a_1},\frac{x}{a_1})=1$
  很好理解，因为如果不等与$1$，说明还有公约数，与$a_1$是最大公约数相悖。
  $LCM：$
  若$lcm(b_0,x)=b_1$
  则有$$lcm(b_0,x)=\frac{b_0\ast x}{gcd(b_0,x)}=>gcd(b_0,x)=\frac{b_0\ast x}{lcm(b_0,x)}=\frac{b_0\ast x}{b_1}$$
  由$GCD$推出以来的结论可得：$$gcd(\frac{b_1}{x},\frac{b_1}{b_0})=1$$
  我们将两式放在一起：
$$gcd(\frac{a_0}{a_1},\frac{x}{a_1})=1$$
$$gcd(\frac{b_1}{x},\frac{b_1}{b_0})=1$$
  容易发现合法的$x$满足既是$a_1$的倍数又是$b_1$的因数，并且满足以上二式。
  解法就很明显了，在$O(\sqrt{b_1})$的复杂度内枚举因数，验证合法性即可。

代码：

#include <bits/stdc++.h>
using namespace std;

int n,a0,a1,b0,b1,p,q,ans;

int main()
{
	scanf("%d",&n);
	while(n--)
	{
	  scanf("%d%d%d%d",&a0,&a1,&b0,&b1);
	  p=a0/a1,q=b1/b0,ans=0;
	  for(int i=1;i*i<=b1;i++)
	  {
	  	if(b1%i) continue;
	  	if(!(i%a1)&&__gcd(i/a1,p)==1&&__gcd(b1/i,q)==1) ans++;
	  	int j=b1/i;
	  	if(i==j) continue;
	  	if(!(j%a1)&&__gcd(j/a1,p)==1&&__gcd(b1/j,q)==1) ans++;
	  }
	  printf("%d\n",ans);
	}
	return 0;
}