如果所有的数的大小可接受，可以$O(n)$排序。
$sumlimits_{x | a, x | b} varphi(x) = gcd(a,b)$
如果一个题的答案的一个约数条件是一个已知数的倍数考虑单位根反演