观察到 \(10^{20}\) 一定大于最小公倍数,如果按最小公倍数内的决策搞能拓展到 \(\infty\)。
先除以最大公约数搞成互质,这一步对判断不影响。
不妨令 \(p_1<p_2\),现在一定存在某个 \(d\) 满足 \(p_2|d\times p_1-1\)。
这样相当于两个相同颜色中间拉满另一种颜色,是一定会取到的最坏的情况,判断即可。