ABC 猜想(也称为 Oesterlé–Masser 猜想)是数论中一个著名的猜想,由 Joseph Oesterlé 和 David Masser 首次提出。其形式化表述如下:
对于每一个正实数 $\varepsilon$,仅存在有限多个正整数三元组 $(a, b, c)$ 满足: 1. $a$ 和 $b$ 互质; 2. $a + b = c$;以及 3. $c > \text{rad}(abc)^{1+\varepsilon}$,
其中 $$\text{rad}(n) = \prod_{\substack{p|n \\ p \in \text{Prime}}} p$$ 是 $n$ 的所有不同质因子的乘积。
望月新一(Shinichi Mochizuki)声称在 2012 年 8 月证明了该猜想。后来,望月新一的证明被宣布将在《数理解析研究所纪要》(Publications of the Research Institute for Mathematical Sciences,简称 RIMS)上发表,该期刊由望月新一担任主编。
图 1:望月新一
Spike 是一位数论爱好者,他也想证明 ABC 猜想。然而,由于能力有限,他转而研究 ABC 猜想的一个弱化版本,其形式化表述如下:
给定一个正整数 $c$,判断是否存在正整数 $a, b$,使得 $a + b = c$ 且 $\text{rad}(abc) < c$。
请注意,在原始的 ABC 猜想中,正整数 $a$ 和 $b$ 被要求互质。然而,由于 Spike 解决的是该问题的简化版本,这一要求已被移除。
输入格式
第一行包含一个整数 $T$ ($1 \le T \le 10$),表示测试用例的数量。 接下来的行包含 $t$ 个测试用例的描述。每个测试用例包含一行,其中包含一个整数 $c$ ($1 \le c \le 10^{18}$)。
输出格式
对于每个测试用例,如果存在两个正整数 $a, b$ 满足 $a + b = c$ 且 $\text{rad}(abc) < c$,则输出 yes,否则输出 no。
样例
样例输入 1
3 4 18 30
样例输出 1
yes yes no
说明
对于第一个测试用例,我们有 $2 + 2 = 4$ 且 $\text{rad}(2 \times 2 \times 4) = 2 < 4$。 对于第二个测试用例,我们有 $6 + 12 = 18$ 且 $\text{rad}(6 \times 12 \times 18) = 6 < 18$。 对于第三个测试用例,没有解。