CF1152C Neko does Maths
Problem
Neko has two integers \(a\) and \(b\). His goal is to find a non-negative integer \(k\) such that the least common multiple of \(a+k\) and \(b+k\) is the smallest possible. If there are multiple optimal integers \(k\), he needs to choose the smallest one.
Given his mathematical talent, Neko had no trouble getting Wrong Answer on this problem. Can you help him solve it?
找 \(k\ge 0\) 使 \(\min\operatorname{lcm}(a+k,b+k)\),若有多个 \(k\),取最小的。
\(1\le a,b\le10^9\)
Solution
这道题还是挺妙的,用到了几个知识点。
- \(\operatorname{lcm}(a+k,b+k)=\frac{(a+k)(b+k)}{\gcd(a+k,b+k)}\)
- \(\frac{(a+k)(b+k)}{\gcd(a+k,b+k)}=\frac{(a+k)(b+k)}{\gcd(b+k,a-b)}\)
我们将最小公倍数转化为最大公因数,且利用辗转相除法得出了一个定值 \(a-b\)。
如果某个 \(k\) 会使得原式变小,那么肯定会使得 \(\gcd(b+k,a-b)>1\),也就是说 \(b+k\) 与 \(a-b\) 具有公因数。我们只需要枚举这样的 \(b+k\) 就好,缩小了枚举的范围。
具体地,我们枚举 \(a-b\) 的因数 \(x\);为了使 \(b+k\) 是 \(x\) 的(最小的)倍数:
- 若
b%k==0
则 \(k=0\) - 若
b%k!=0
\(k=(b-\lfloor \frac bx\rfloor\cdot x)\)
我们使用 \(O(\sqrt{a-b})\) 的时间枚举 \(a-b\) 的因数,计算满足条件的最小的 \(k\),并尝试用此时的 \(\operatorname{lcm}(a+k,b+k)\) 去更新答案即可。
需要注意特判 \(a=b\) 的情况,此时 \(a-b=0\),不会存在这样的 \(k\)。
Code
1 | LL gcd(LL a,LL b) |