OnlyPersistVictory DayFive

E

题意：
$T$组数据，给定$c,d,x$，问有多少数对$(a,b)$满足$c\cdot lcm(a,b)-d\cdot gcd(a,b)=x$
数据范围：$1\le c,d,x\le 10^7$

题解：
对原式进行转换：
令$g=gcd(a,b)$，则$c\cdot \frac{a\times b}{g}-d\cdot g=x$
当然也可以得到：$c\cdot \frac{a\times b}{g\times g}-d=\frac{x}{g}$
转换一下可得到：$\frac{a\times b}{g\times g}=\frac{\frac{x}{g}+d}{c}$

到这可以看清楚我们可以枚举$x$的所有约数作为$gcd(a,b)$，然后可以得到一个值$v=\frac{a\times b}{g\times g}$，由于除去了$g$，故$\frac{a}{g}$和$\frac{b}{g}$是互质的。考虑将一个数$v$分解质因数，共有$n$个不同的质因子，故如果要保证对$v$分解成两个互质的数，则分解得到的两个数的质因子不能有交集，因此质因子有两种分配选择，故每个$v$对应的方案就是$2^n$。

因此预处理出每个数的质因子个数即可，考虑埃筛筛出所有质因子即可。

注意由于这里的$v$最大可能是两个$10^7$级别的数之和，故需要筛到$2\times 10^7$。

代码：

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


typedef long long ll;

const int N = 2e7;
int cnt[N + 1];
int c, d, x;
ll ans;

void init() {
	for(int i = 2; i <= N; ++i)
		if(!cnt[i]) for(int j = i; j <= N; j += i)
			cnt[j] += 1;
}

ll cal(int g) {
	int num = d + (x / g);
	if(num % c) return 0;
	return 1ll << cnt[num / c];
} 

void solve() {
	ans = 0;
	scanf("%d%d%d", &c, &d, &x);
	for(int i = 1; i * i <= x; ++i) 
		if(x % i == 0) {
			ans += cal(i);
			if(i * i != x) ans += cal(x / i);
		}
	printf("%lld\n", ans);
}

int main()
{
	init();
	int T; scanf("%d", &T);
	while(T--) solve();
	return 0;
}